SBDDataGraphNodeGetter< Output > Class Template Referenceabstract
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 const *node)=0 |
| virtual Output | operator() (SBDDataGraphNode const *node) const =0 |