SBDDataGraphNode::IsSelected Class Reference

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

Public Member Functions
virtual IsSelected *	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 selected nodes. Note that a node may be selected because its selection flag is true, or because the selection flag of one of its ancestors is true.

See also

Node predicates

Member Function Documentation

clone()

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

overridevirtual

Reimplemented from SBCFunctor.