SBDDataGraphNode::GetElement Class Reference

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

Public Member Functions
GetElement *	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 > &)

Detailed Description

This node getter returns the SAMSON Extension defining the node.

See also

SAMSON Extensions

Node getters