This node predicate is true when the node is a model, i.e. is a structural, visual, dynamical, interaction or property model. More...
Public Member Functions | |
IsModel * | clone () const |
bool | operator() (SBDDataGraphNode const *node) |
bool | operator() (SBDDataGraphNode const *node) const |