A type for storing ImpliedLiteral objects. More...

Public Types
typedef VecType::const_iterator	iterator
typedef PodVector < ImpliedLiteral >::type	VecType
Public Member Functions
bool	active (uint32 dl) const
	Returns true if list contains entries that must be reassigned on current dl.
void	add (uint32 dl, const ImpliedLiteral &n)
	Adds a new object to the list.
bool	assign (Solver &s)
	Reassigns all literals that are still implied.
iterator	begin () const
iterator	end () const
ImpliedLiteral *	find (Literal p)
	Searches for an entry.
	ImpliedList ()
Public Attributes
uint32	front
uint32	level
VecType	lits

Detailed Description

A type for storing ImpliedLiteral objects.

Definition at line 818 of file solver_types.h.

Member Typedef Documentation

typedef VecType::const_iterator Clasp::ImpliedList::iterator

Definition at line 820 of file solver_types.h.

Definition at line 819 of file solver_types.h.

Clasp::ImpliedList::ImpliedList ( ) [inline]

Definition at line 821 of file solver_types.h.

bool Clasp::ImpliedList::active ( uint32 dl ) const [inline]

Returns true if list contains entries that must be reassigned on current dl.

Definition at line 835 of file solver_types.h.

Adds a new object to the list.

Definition at line 830 of file solver_types.h.

bool Clasp::ImpliedList::assign ( Solver & s )

Reassigns all literals that are still implied.

Definition at line 794 of file solver.cpp.

iterator Clasp::ImpliedList::begin ( ) const [inline]

Definition at line 838 of file solver_types.h.

iterator Clasp::ImpliedList::end ( ) const [inline]

Definition at line 839 of file solver_types.h.

ImpliedLiteral* Clasp::ImpliedList::find ( Literal p ) [inline]

Searches for an entry.

in list. Returns 0 if none is found.

Definition at line 823 of file solver_types.h.

Definition at line 842 of file solver_types.h.

Definition at line 841 of file solver_types.h.

Definition at line 840 of file solver_types.h.

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