Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap Class Reference

List of all members.

Classes
struct	Mapping
Public Types
typedef NodeMap::iterator	MapIt
typedef NodeMap::const_iterator	MapIt_c
typedef std::pair< MapIt_c, MapIt_c >	MapRange
typedef PodVector< Mapping >::type	NodeMap
typedef SharedDependencyGraph	SccGraph
Public Member Functions
void	addAtomConstraints (SharedContext &out)
void	addBodyConstraints (const Solver &generator, const SccGraph &dep, uint32 scc, SharedContext &out)
void	addVars (Solver &generator, const SccGraph &dep, const VarVec &atoms, const VarVec &bodies, SharedContext &out)
MapRange	atoms () const
MapRange	bodies () const
	ComponentMap ()
MapIt_c	findAtom (NodeId nodeId) const
void	mapGeneratorAssignment (const Solver &generator, const SccGraph &dep, LitVec &out) const
void	mapTesterModel (const Solver &tester, VarVec &out) const
Public Attributes
NodeMap	mapping
uint32	numAtoms

---

Detailed Description

Definition at line 342 of file dependency_graph.cpp.

---

Member Typedef Documentation

typedef NodeMap::iterator Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::MapIt

Definition at line 360 of file dependency_graph.cpp.

typedef NodeMap::const_iterator Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::MapIt_c

Definition at line 361 of file dependency_graph.cpp.

typedef std::pair<MapIt_c, MapIt_c> Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::MapRange

Definition at line 362 of file dependency_graph.cpp.

typedef PodVector<Mapping>::type Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::NodeMap

Definition at line 359 of file dependency_graph.cpp.

typedef SharedDependencyGraph Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::SccGraph

Definition at line 358 of file dependency_graph.cpp.

---

Constructor & Destructor Documentation

Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::ComponentMap

(

)

[inline]

Definition at line 344 of file dependency_graph.cpp.

---

Member Function Documentation

void Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::addAtomConstraints

(

SharedContext &

out

)

Definition at line 441 of file dependency_graph.cpp.

void Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::addBodyConstraints	(	const Solver &	generator,
		const SccGraph &	dep,
		uint32	scc,
		SharedContext &	out
	)

Definition at line 459 of file dependency_graph.cpp.

void Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::addVars	(	Solver &	generator,
		const SccGraph &	dep,
		const VarVec &	atoms,
		const VarVec &	bodies,
		SharedContext &	out
	)

Definition at line 382 of file dependency_graph.cpp.

MapRange Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::atoms

(

)

const [inline]

Definition at line 368 of file dependency_graph.cpp.

MapRange Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::bodies

(

)

const [inline]

Definition at line 369 of file dependency_graph.cpp.

MapIt_c Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::findAtom

(

NodeId

nodeId

)

const [inline]

Definition at line 370 of file dependency_graph.cpp.

void Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::mapGeneratorAssignment	(	const Solver &	generator,
		const SccGraph &	dep,
		LitVec &	out
	)		const

Definition at line 513 of file dependency_graph.cpp.

void Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::mapTesterModel	(	const Solver &	tester,
		VarVec &	out
	)		const

Definition at line 534 of file dependency_graph.cpp.

---

Member Data Documentation

NodeMap Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::mapping

Definition at line 371 of file dependency_graph.cpp.

uint32 Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::numAtoms

Definition at line 372 of file dependency_graph.cpp.

---

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

• dependency_graph.cpp