This node predicate returns true for highlighted nodes. More...

Public Member Functions
IsHighlighted *	clone () const

bool	operator() (SBDDataGraphNode const *node)

bool	operator() (SBDDataGraphNode const *node) const

Detailed Description

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

See also: Node predicates

Public Member Functions

Detailed Description