SBDDataGraphNode::GetNodeIndex Class Reference

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

Public Member Functions
virtual GetNodeIndex *	clone () const override
virtual unsigned int	operator() (SBDDataGraphNode const *node) override
virtual unsigned int	operator() (SBDDataGraphNode const *node) const override
Public Member Functions inherited from SBDDataGraphNodeGetter< unsigned int >
	SBDDataGraphNodeGetter ()
	SBDDataGraphNodeGetter (const SBDDataGraphNodeGetter< unsigned int > &)
virtual	~SBDDataGraphNodeGetter ()
void	operator= (const SBDDataGraphNodeGetter< unsigned int > &)

Detailed Description

This node getter returns the index of the node.

See also

getNodeIndex

Node identity

Node getters

Member Function Documentation

clone()

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

overridevirtual

Reimplemented from SBDDataGraphNodeGetter< unsigned int >.

operator()() [1/2]

virtual unsigned int SBDDataGraphNode::GetNodeIndex::operator() ( SBDDataGraphNode const *  node ) const

overridevirtual

Implements SBDDataGraphNodeGetter< unsigned int >.

operator()() [2/2]

virtual unsigned int SBDDataGraphNode::GetNodeIndex::operator() ( SBDDataGraphNode const *  node )

overridevirtual

Implements SBDDataGraphNodeGetter< unsigned int >.