SBDDataGraphNode::IsVisible Class Reference

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

Public Member Functions

IsVisibleclone () const
 
bool operator() (SBDDataGraphNode const *node)
 
bool operator() (SBDDataGraphNode const *node) const
 

Detailed Description

This node predicate returns true for visible nodes. Note that a node is visible if and only if its
visibility flag is true and visibility flag of all its ancestors are true.

See also
Node predicates