Class SBDDataGraphNode::GetNodeIndex#
ClassList > SBDDataGraphNode > GetNodeIndex
This node getter returns the index of the node.More...
Inherits the following classes: SBDDataGraphNodeGetter
Public Functions#
| Type | Name |
|---|---|
| GetNodeIndex () |
|
| virtual GetNodeIndex * | clone () override const |
| virtual unsigned int | operator() (SBDDataGraphNode const * node) override |
| virtual unsigned int | operator() (SBDDataGraphNode const * node) override const |
| ~GetNodeIndex () |
Public Functions inherited from SBDDataGraphNodeGetter#
| Type | Name |
|---|---|
| SBDDataGraphNodeGetter () |
|
| SBDDataGraphNodeGetter (const SBDDataGraphNodeGetter< Output > &) |
|
| virtual SBDDataGraphNodeGetter * | clone () override const |
| virtual Output | operator() (SBDDataGraphNode const * node) override = 0 |
| virtual Output | operator() (SBDDataGraphNode const * node) override const = 0 |
| void | operator= (const SBDDataGraphNodeGetter< Output > &) |
| virtual | ~SBDDataGraphNodeGetter () |
Detailed Description#
This node getter returns the index of the node.
See also: getNodeIndex
See also: Node identity
See also: Node getters
Public Functions Documentation#
function GetNodeIndex#
function clone#
Implements SBDDataGraphNodeGetter::clone
function operator() [1/2]#
virtual unsigned int SBDDataGraphNode::GetNodeIndex::operator() (
SBDDataGraphNode const * node
) override
Implements SBDDataGraphNodeGetter::operator()
function operator() [2/2]#
virtual unsigned int SBDDataGraphNode::GetNodeIndex::operator() (
SBDDataGraphNode const * node
) override const
Implements SBDDataGraphNodeGetter::operator()