Class SBDDataGraphNode::GetName

ClassList > SBDDataGraphNode > GetName

This node getter returns the name of the node.More...

Inherits the following classes: SBDDataGraphNodeGetter

Public Functions

Type	Name
	GetName ()
virtual GetName *	clone () override const
virtual std::string	operator() (SBDDataGraphNode const * node) override
virtual std::string	operator() (SBDDataGraphNode const * node) override const
	~GetName ()

Public Functions inherited from SBDDataGraphNodeGetter

See SBDDataGraphNodeGetter

Type	Name
	SBDDataGraphNodeGetter ()
	SBDDataGraphNodeGetter (const SBDDataGraphNodeGetter< Output > &)
virtual SBDDataGraphNodeGetter *	clone () override const
virtual Output	operator() (SBDDataGraphNode const * node) override = 0
virtual Output	operator() (SBDDataGraphNode const * node) override const = 0
void	operator= (const SBDDataGraphNodeGetter< Output > &)
virtual	~SBDDataGraphNodeGetter ()

Detailed Description

This node getter returns the name of the node.

See also: Node getters

Public Functions Documentation

function GetName

SBDDataGraphNode::GetName::GetName () 

---

function clone

virtual GetName * SBDDataGraphNode::GetName::clone () override const

Implements SBDDataGraphNodeGetter::clone

---

function operator() [1/2]

virtual std::string SBDDataGraphNode::GetName::operator() (
    SBDDataGraphNode const * node
) override

Implements SBDDataGraphNodeGetter::operator()

---

function operator() [2/2]

virtual std::string SBDDataGraphNode::GetName::operator() (
    SBDDataGraphNode const * node
) override const

Implements SBDDataGraphNodeGetter::operator()

---

function ~GetName

SBDDataGraphNode::GetName::~GetName () 

---