This node predicate returns true for created nodes. More...
Public Member Functions | |
IsCreated * | clone () const |
bool | operator() (SBDDataGraphNode const *node) |
bool | operator() (SBDDataGraphNode const *node) const |
This node predicate returns true for created nodes.