SBDDataGraphNode::All Class Reference

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

Public Member Functions

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

Detailed Description