This node predicate is true when the node is a property model. More...
Public Member Functions | |
virtual IsPropertyModel * | clone () const override |
virtual bool | operator() (SBDDataGraphNode const *node) override |
virtual bool | operator() (SBDDataGraphNode const *node) const override |
This node predicate is true when the node is a property model, i.e. when the node type is SBNode::PropertyModel or SBNode::PropertyModelFunction.
|
overridevirtual |
Reimplemented from SBCFunctor.