This node getter returns the previous node in the parent's children. More...
Public Member Functions | |
GetPreviousNode * | clone () const |
SBDDataGraphNode * | operator() (SBDDataGraphNode const *node) |
SBDDataGraphNode * | operator() (SBDDataGraphNode const *node) const |
Public Member Functions inherited from SBDDataGraphNodeGetter< SBDDataGraphNode * > | |
SBDDataGraphNodeGetter () | |
SBDDataGraphNodeGetter (const SBDDataGraphNodeGetter< SBDDataGraphNode * > &) | |
virtual | ~SBDDataGraphNodeGetter () |
void | operator= (const SBDDataGraphNodeGetter< SBDDataGraphNode * > &) |
This node getter returns the previous node in the parent's children.