SBDDataGraphNode::GetElement Class Reference

This node getter returns the SAMSON Extension defining the node. More...

Public Member Functions

GetElementclone () 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 > &)
 
virtual SBDDataGraphNodeGetterclone () const
 

Detailed Description

This node getter returns the SAMSON Extension defining the node.

See also
SAMSON Extensions
Node getters