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 |
Operation | |
virtual Output | operator() (SBDDataGraphNode *node)=0 |
virtual Output | operator() (SBDDataGraphNode *node) const =0 |