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