This node getter returns the type of the node. More...
Public Member Functions | |
virtual GetType * | clone () const override |
virtual SBDDataGraphNode::Type | operator() (SBDDataGraphNode const *node) override |
virtual SBDDataGraphNode::Type | operator() (SBDDataGraphNode const *node) const override |
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.
|
overridevirtual |
Reimplemented from SBDDataGraphNodeGetter< SBDDataGraphNode::Type >.
|
overridevirtual |
Implements SBDDataGraphNodeGetter< SBDDataGraphNode::Type >.
|
overridevirtual |
Implements SBDDataGraphNodeGetter< SBDDataGraphNode::Type >.