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

Public Member Functions
IsSelected *	clone () const

bool	operator() (SBDDataGraphNode const *node)

bool	operator() (SBDDataGraphNode const *node) const

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

Public Member Functions

Detailed Description