This node predicate compares the node type with a given type. More...
Public Member Functions | |
IsType (SBDDataGraphNode::Type argument0) | |
IsType * | clone () const |
bool | operator() (SBDDataGraphNode const *node) |
bool | operator() (SBDDataGraphNode const *node) const |
This node predicate returns true when the node type is equal to the type passed to the constructor of the predicate: