A constraint model artefact representing an enumeration set value space constraint.
Specializes
ModelArtefactPackage
Constraints
| Type | Name | Specification |
|---|---|---|
| Instance contains one ValueSpaceConstraint instance that specifies an enumeration set | LRA Invariant | inv: self.packagedElement->select(Element: e | e.oclAsType(ValueSpaceConstraint).specification.oclIsTypeOf(EnumerationSpecification))->size() = 1 |