SBDDataGraphNode::IsErased Class Reference
This node predicate returns true for erased nodes. More...
Public Member Functions | |
| IsErased * | clone () const |
| bool | operator() (SBDDataGraphNode const *node) |
| bool | operator() (SBDDataGraphNode const *node) const |
Detailed Description
This node predicate returns true for erased nodes.
- See also
- Node predicates