SBDDataGraphNode::IsHighlighted Class Reference

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

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