This node getter returns the flags of the node. More...
Public Member Functions | |
virtual GetFlags * | clone () const override |
virtual unsigned int | operator() (SBDDataGraphNode const *node) override |
virtual unsigned int | operator() (SBDDataGraphNode const *node) const override |
Public Member Functions inherited from SBDDataGraphNodeGetter< unsigned int > | |
SBDDataGraphNodeGetter () | |
SBDDataGraphNodeGetter (const SBDDataGraphNodeGetter< unsigned int > &) | |
virtual | ~SBDDataGraphNodeGetter () |
void | operator= (const SBDDataGraphNodeGetter< unsigned int > &) |
This node getter returns the flags of the node.
|
overridevirtual |
Reimplemented from SBDDataGraphNodeGetter< unsigned int >.
|
overridevirtual |
Implements SBDDataGraphNodeGetter< unsigned int >.
|
overridevirtual |
Implements SBDDataGraphNodeGetter< unsigned int >.