Class SBDDataGraphNode::IsHighlighted#

ClassList > SBDDataGraphNode > IsHighlighted

This node predicate returns true for highlighted nodesMore...

Inherits the following classes: SBCFunctorPredicate1< SBDDataGraphNode const * >

Public Functions#

Type	Name
	IsHighlighted () Builds the node predicate.
virtual IsHighlighted *	clone () override const Clones the predicate.
virtual bool	operator() (SBDDataGraphNode const * node) override Performs the predicate's operation on the node `node` and returns the result.
virtual bool	operator() (SBDDataGraphNode const * node) override const Performs the predicate's operation on the node `node` and returns the result.
	~IsHighlighted () Destructor.

Detailed Description#

This node predicate returns true for highlighted nodes. Note that a node may be highlighted because its highlighting flag is true, or because the highlighting flag of one of its ancestors is true.

See also: Node predicates

Public Functions Documentation#

function IsHighlighted#

Builds the node predicate.

SBDDataGraphNode::IsHighlighted::IsHighlighted ()

function clone#

Clones the predicate.

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

Implements SBCFunctor::clone

function operator()#

Performs the predicate's operation on the node node and returns the result.

virtual bool SBDDataGraphNode::IsHighlighted::operator() (
    SBDDataGraphNode const * node
) override

function operator()#

Performs the predicate's operation on the node node and returns the result.

virtual bool SBDDataGraphNode::IsHighlighted::operator() (
    SBDDataGraphNode const * node
) override const

function ~IsHighlighted#

Destructor.

SBDDataGraphNode::IsHighlighted::~IsHighlighted ()