Type for storing a non head-cycle-free component of a disjunctive program. More...

Classes
class	ComponentMap
Public Member Functions
void	assumptionsFromAssignment (const Solver &generator, LitVec &assume) const
const SharedContext &	ctx () const
	NonHcfComponent (const SharedDependencyGraph &dep, SharedContext &generator, uint32 scc, const VarVec &atoms, const VarVec &bodies)
bool	test (uint32 scc, const Solver &generator, const LitVec &assumptions, VarVec &unfoundedOut) const
void	update (const SharedContext &generator)
	~NonHcfComponent ()
Private Member Functions
	NonHcfComponent (const NonHcfComponent &)
NonHcfComponent &	operator= (const NonHcfComponent &)
Private Attributes
ComponentMap *	comp_
SharedContext *	prg_
Friends
class	SharedDependencyGraph

Detailed Description

Type for storing a non head-cycle-free component of a disjunctive program.

Definition at line 72 of file dependency_graph.h.

Constructor & Destructor Documentation

Clasp::SharedDependencyGraph::NonHcfComponent::NonHcfComponent	(	const SharedDependencyGraph &	dep,
		SharedContext &	generator,
		uint32	scc,
		const VarVec &	atoms,
		const VarVec &	bodies
	)		`[explicit]`

Definition at line 560 of file dependency_graph.cpp.

Clasp::SharedDependencyGraph::NonHcfComponent::~NonHcfComponent ( )

Definition at line 574 of file dependency_graph.cpp.

Clasp::SharedDependencyGraph::NonHcfComponent::NonHcfComponent ( const NonHcfComponent & ) [private]

void Clasp::SharedDependencyGraph::NonHcfComponent::assumptionsFromAssignment	(	const Solver &	generator,
		LitVec &	assume
	)		const

Definition at line 587 of file dependency_graph.cpp.

const SharedContext& Clasp::SharedDependencyGraph::NonHcfComponent::ctx ( ) const [inline]

Definition at line 78 of file dependency_graph.h.

NonHcfComponent& Clasp::SharedDependencyGraph::NonHcfComponent::operator= ( const NonHcfComponent & ) [private]

bool Clasp::SharedDependencyGraph::NonHcfComponent::test	(	uint32	scc,
		const Solver &	generator,
		const LitVec &	assumptions,
		VarVec &	unfoundedOut
	)		const

Definition at line 592 of file dependency_graph.cpp.

void Clasp::SharedDependencyGraph::NonHcfComponent::update ( const SharedContext & generator )

Definition at line 579 of file dependency_graph.cpp.

friend class SharedDependencyGraph [friend]

Definition at line 81 of file dependency_graph.h.

Definition at line 86 of file dependency_graph.h.

Definition at line 84 of file dependency_graph.h.

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