DependencyGraph::NodeMappingInfo Struct Reference

See boost:graph. More...

#include <include/dlvhex2/DependencyGraph.h>

Collaboration diagram for DependencyGraph::NodeMappingInfo:

Public Member Functions
	NodeMappingInfo ()
	NodeMappingInfo (ID id, Node node)
Data Fields
ID	id
Node	node

---

Detailed Description

See boost:graph.

Definition at line 191 of file DependencyGraph.h.

---

Constructor & Destructor Documentation

DependencyGraph::NodeMappingInfo::NodeMappingInfo

(

)

[inline]

Definition at line 195 of file DependencyGraph.h.

DependencyGraph::NodeMappingInfo::NodeMappingInfo	(	ID	id,
		Node	node
	)		[inline]

Definition at line 196 of file DependencyGraph.h.

---

Field Documentation

ID DependencyGraph::NodeMappingInfo::id

Definition at line 193 of file DependencyGraph.h.

Referenced by DependencyGraph::createExternalPredicateInputDependenciesForInput().

Node DependencyGraph::NodeMappingInfo::node

Definition at line 194 of file DependencyGraph.h.

Referenced by DependencyGraph::createExternalPredicateInputDependenciesForInput().

---

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

• include/dlvhex2/DependencyGraph.h