Collaboration diagram for Clasp::CCMinRecursive:

Public Types
enum	State { state_open = 0, state_poison = 1, state_removable = 2 }

typedef PodVector< uint8 >::type	DfsState

Public Member Functions
void	init (uint32 numV)

State	state (Literal p) const

bool	checkRecursive (Literal p)

void	markVisited (Literal p, State st)

void	clear ()

Member Typedef Documentation

Member Enumeration Documentation

bool Clasp::CCMinRecursive::checkRecursive ( Literal p )

inline

Here is the call graph for this function:

void Clasp::CCMinRecursive::clear ( )

inline

void Clasp::CCMinRecursive::init ( uint32 numV )

inline

void Clasp::CCMinRecursive::markVisited	(	Literal	p,
		State	st
	)

inline

Here is the call graph for this function:

State Clasp::CCMinRecursive::state ( Literal p ) const

inline

Here is the call graph for this function:

LitVec Clasp::CCMinRecursive::dfsStack

DfsState Clasp::CCMinRecursive::extra

VarVec Clasp::CCMinRecursive::visited

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

/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/solver_types.h