Public Member Functions
PostPropagator *	active () const
void	add (PostPropagator *p, uint32 prio)
void	cancel () const
void	disable ()
void	enable ()
PostPropagator *	head () const
bool	isModel (Solver &s) const
	PPList ()
bool	propagate (Solver &s, PostPropagator *p) const
void	remove (PostPropagator *p)
void	simplify (Solver &s, bool shuf)
	~PPList ()
Public Attributes
PostPropagator **	act
PostPropagator *	list

Detailed Description

Definition at line 805 of file solver.h.

Constructor & Destructor Documentation

Clasp::Solver::PPList::PPList ( )

Definition at line 46 of file solver.cpp.

Clasp::Solver::PPList::~PPList ( )

Definition at line 47 of file solver.cpp.

PostPropagator* Clasp::Solver::PPList::active ( ) const [inline]

Definition at line 817 of file solver.h.

Definition at line 58 of file solver.cpp.

void Clasp::Solver::PPList::cancel ( ) const

Definition at line 101 of file solver.cpp.

void Clasp::Solver::PPList::disable ( )

Definition at line 55 of file solver.cpp.

void Clasp::Solver::PPList::enable ( )

Definition at line 56 of file solver.cpp.

PostPropagator* Clasp::Solver::PPList::head ( ) const [inline]

Definition at line 816 of file solver.h.

bool Clasp::Solver::PPList::isModel ( Solver & s ) const

Definition at line 102 of file solver.cpp.

bool Clasp::Solver::PPList::propagate	(	Solver &	s,
		PostPropagator *	p
	)		const

Definition at line 80 of file solver.cpp.

void Clasp::Solver::PPList::remove ( PostPropagator * p )

Definition at line 69 of file solver.cpp.

void Clasp::Solver::PPList::simplify	(	Solver &	s,
		bool	shuf
	)

Definition at line 91 of file solver.cpp.

Definition at line 819 of file solver.h.

Definition at line 818 of file solver.h.

The documentation for this struct was generated from the following files: