SBDDataGraphNode::GetFlags Class Reference

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

Public Member Functions
virtual GetFlags *	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 flags of the node.

See also

flags

getFlags

Node getters

Member Function Documentation

clone()

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

overridevirtual

Reimplemented from SBDDataGraphNodeGetter< unsigned int >.

operator()() [1/2]

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

overridevirtual

Implements SBDDataGraphNodeGetter< unsigned int >.

operator()() [2/2]

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

overridevirtual

Implements SBDDataGraphNodeGetter< unsigned int >.