This class describes a getter functor of a data graph node.
Constructors and destructors | |
SBDDataGraphNodeGetter () | |
SBDDataGraphNodeGetter (const SBDDataGraphNodeGetter< Output > &) | |
virtual | ~SBDDataGraphNodeGetter () |
Cloning | |
void | operator= (const SBDDataGraphNodeGetter< Output > &) |
virtual SBDDataGraphNodeGetter * | clone () const override |
Operation | |
virtual Output | operator() (SBDDataGraphNode const *node) override=0 |
virtual Output | operator() (SBDDataGraphNode const *node) const override=0 |
|
inlineoverridevirtual |
Reimplemented from SBCFunctor.