This node getter returns the document the node belongs to. More...
Public Member Functions | |
| virtual GetDocument * | clone () const override |
| virtual SBDDocument * | operator() (SBDDataGraphNode const *node) override |
| virtual SBDDocument * | operator() (SBDDataGraphNode const *node) const override |
Public Member Functions inherited from SBDDataGraphNodeGetter< SBDDocument * > | |
| SBDDataGraphNodeGetter () | |
| SBDDataGraphNodeGetter (const SBDDataGraphNodeGetter< SBDDocument * > &) | |
| virtual | ~SBDDataGraphNodeGetter () |
| void | operator= (const SBDDataGraphNodeGetter< SBDDocument * > &) |
This node getter returns the document the node belongs to.
|
overridevirtual |
Reimplemented from SBDDataGraphNodeGetter< SBDDocument * >.
|
overridevirtual |
Implements SBDDataGraphNodeGetter< SBDDocument * >.
|
overridevirtual |
Implements SBDDataGraphNodeGetter< SBDDocument * >.