This node getter returns the type of the node. More...
Additional Inherited Members | |
Public Member Functions inherited from SBDDataGraphNodeGetter< SBDDataGraphNode::Type > | |
SBDDataGraphNodeGetter () | |
SBDDataGraphNodeGetter (const SBDDataGraphNodeGetter< SBDDataGraphNode::Type > &) | |
virtual | ~SBDDataGraphNodeGetter () |
void | operator= (const SBDDataGraphNodeGetter< SBDDataGraphNode::Type > &) |
This node getter returns the type of the node.