SBDDataGraphNode::IsPropertyModel Class Reference
This node predicate is true when the node is a property model. More...
Public Member Functions | |
| IsPropertyModel * | clone () const |
| bool | operator() (SBDDataGraphNode const *node) |
| bool | operator() (SBDDataGraphNode const *node) const |
Detailed Description
This node predicate is true when the node is a property model, i.e. when the node type is SBNode::PropertyModel or SBNode::PropertyModelFunction.
- See also
- Node predicates