Constraint Descriptor : optionsContainingLow (type: ERROR, kind: )

Constraint : optionsContainingLow

Constraint Name
optionsContainingLow (type: ERROR, kind: )
Constraint Class
IVLPQ
Package
datatypes
Description
In any interval representation only two of the three properties high, low, and width need to be stated and the third can be derived. (from the schema of datatypes)
OCL
not self.low.oclIsUndefined() implies self.center.oclIsUndefined() and (self.width.oclIsUndefined() or self.high.oclIsUndefined())