Collaboration diagram for Clasp::Asp::SccChecker:

Public Member Functions
	SccChecker (LogicProgram &prg, AtomList &sccAtoms, uint32 startScc)

uint32	sccs () const

void	visit (PrgBody *body)

void	visit (PrgAtom *atom)

void	visit (PrgDisj *disj)

Constructor & Destructor Documentation

Clasp::Asp::SccChecker::SccChecker	(	LogicProgram &	prg,
		AtomList &	sccAtoms,
		uint32	startScc
	)

Here is the call graph for this function:

Member Function Documentation

uint32 Clasp::Asp::SccChecker::sccs ( ) const

inline

void Clasp::Asp::SccChecker::visit ( PrgBody * body )

inline

void Clasp::Asp::SccChecker::visit ( PrgAtom * atom )

inline

void Clasp::Asp::SccChecker::visit ( PrgDisj * disj )

inline

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

/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/logic_program_types.h
/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/src/logic_program_types.cpp