Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::Mapping Struct Reference

List of all members.

Public Member Functions
Literal	atAux () const
Literal	atPos () const
Literal	atUnf () const
Literal	bodyAux () const
	Mapping (NodeId id)
bool	operator< (const Mapping &other) const
Var	var () const
Public Attributes
uint32	isEq: 1
uint32	node
uint32	varOff: 30
uint32	varUsed: 1

---

Detailed Description

Definition at line 345 of file dependency_graph.cpp.

---

Constructor & Destructor Documentation

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

(

NodeId

id

)

[inline, explicit]

Definition at line 346 of file dependency_graph.cpp.

---

Member Function Documentation

Literal Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::Mapping::atAux

(

)

const [inline]

Definition at line 353 of file dependency_graph.cpp.

Literal Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::Mapping::atPos

(

)

const [inline]

Definition at line 352 of file dependency_graph.cpp.

Literal Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::Mapping::atUnf

(

)

const [inline]

Definition at line 354 of file dependency_graph.cpp.

Literal Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::Mapping::bodyAux

(

)

const [inline]

Definition at line 355 of file dependency_graph.cpp.

bool Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::Mapping::operator<

(

const Mapping &

other

)

const [inline]

Definition at line 356 of file dependency_graph.cpp.

Var Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::Mapping::var

(

)

const [inline]

Definition at line 351 of file dependency_graph.cpp.

---

Member Data Documentation

uint32 Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::Mapping::isEq

Definition at line 350 of file dependency_graph.cpp.

uint32 Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::Mapping::node

Definition at line 347 of file dependency_graph.cpp.

uint32 Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::Mapping::varOff

Definition at line 348 of file dependency_graph.cpp.

uint32 Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::Mapping::varUsed

Definition at line 349 of file dependency_graph.cpp.

---

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

• dependency_graph.cpp