SBDDataGraphNode::IsStructuralModel Class Reference

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

Detailed Description