Loading...
Searching...
No Matches
SBDDataGraphNode::IsPropertyModel Class Reference

This node predicate is true when the node is a property model. More...

Public Member Functions

virtual IsPropertyModelclone () const override
 
virtual bool operator() (SBDDataGraphNode const *node) override
 
virtual bool operator() (SBDDataGraphNode const *node) const override
 

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

Member Function Documentation

◆ clone()

virtual IsPropertyModel * SBDDataGraphNode::IsPropertyModel::clone ( ) const
overridevirtual

Reimplemented from SBCFunctor.