This node getter returns the class name of the node. More...
Public Member Functions | |
| GetClass * | clone () const |
| std::string | operator() (SBDDataGraphNode const *node) |
| std::string | operator() (SBDDataGraphNode const *node) const |
Public Member Functions inherited from SBDDataGraphNodeGetter< std::string > | |
| SBDDataGraphNodeGetter () | |
| SBDDataGraphNodeGetter (const SBDDataGraphNodeGetter< std::string > &) | |
| virtual | ~SBDDataGraphNodeGetter () |
| void | operator= (const SBDDataGraphNodeGetter< std::string > &) |
This node getter returns the class name of the node. For example, calling this function on an atom returns SBMStructuralModelNodeAtom.