SBDDataGraphNode::GetNodeIndex Class Reference
This node getter returns the index of the node. More...
Additional Inherited Members | |
 Public Member Functions inherited from SBDDataGraphNodeGetter< unsigned int > | |
| SBDDataGraphNodeGetter () | |
| SBDDataGraphNodeGetter (const SBDDataGraphNodeGetter< unsigned int > &) | |
| virtual | ~SBDDataGraphNodeGetter () |
| void | operator= (const SBDDataGraphNodeGetter< unsigned int > &) |
Detailed Description
This node getter returns the index of the node.
- See also
- getNodeIndex
- Node identity
- Node getters