SBDDataGraphNode::GetHighlightingFlag Class Reference

This node getter returns the highlighting flag of the node. More...

Public Member Functions

GetHighlightingFlagclone () const
 
bool operator() (SBDDataGraphNode const *node)
 
bool operator() (SBDDataGraphNode const *node) const
 
- Public Member Functions inherited from SBDDataGraphNodeGetter< bool >
 SBDDataGraphNodeGetter ()
 
 SBDDataGraphNodeGetter (const SBDDataGraphNodeGetter< bool > &)
 
virtual ~SBDDataGraphNodeGetter ()
 
void operator= (const SBDDataGraphNodeGetter< bool > &)
 
virtual SBDDataGraphNodeGetterclone () const
 

Detailed Description

This node getter returns the highlighting flag of the node.

See also
Node getters