Interface ConstraintDefinition

All Superinterfaces:
BaseElement, Behavior, Class, Classifier, Cloneable, Comparable, Definition, Element, org.eclipse.emf.ecore.EObject, Function, ModelElement, com.dassault_systemes.modeler.modelextension.model.modelextension.ModelExtensionObject, Namespace, org.eclipse.emf.common.notify.Notifier, OccurrenceDefinition, Predicate, Type
All Known Subinterfaces:
ConcernDefinition, RequirementDefinition, ViewpointDefinition

@OpenApiAll public interface ConstraintDefinition extends OccurrenceDefinition, Predicate

A ConstraintDefinition is an OccurrenceDefinition that is also a Predicate that defines a constraint that may be asserted to hold on a system or part of a system.

specializesFromLibrary('Constraints::ConstraintCheck')