SBDDataGraphNode::GetElement Class Reference

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

Public Member Functions
virtual GetElement *	clone () const override
virtual std::string	operator() (SBDDataGraphNode const *node) override
virtual std::string	operator() (SBDDataGraphNode const *node) const override
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

Member Function Documentation

clone()

virtual GetElement * SBDDataGraphNode::GetElement::clone ( ) const

overridevirtual

Reimplemented from SBDDataGraphNodeGetter< std::string >.

operator()() [1/2]

virtual std::string SBDDataGraphNode::GetElement::operator() ( SBDDataGraphNode const *  node ) const

overridevirtual

Implements SBDDataGraphNodeGetter< std::string >.

operator()() [2/2]

virtual std::string SBDDataGraphNode::GetElement::operator() ( SBDDataGraphNode const *  node )

overridevirtual

Implements SBDDataGraphNodeGetter< std::string >.