SBDDataGraphNode::IsHighlighted Class Reference

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

Public Member Functions
virtual IsHighlighted *	clone () const override
virtual bool	operator() (SBDDataGraphNode const *node) override
virtual bool	operator() (SBDDataGraphNode const *node) const override

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

Member Function Documentation

clone()

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

overridevirtual

Reimplemented from SBCFunctor.