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

Constraint : optionsContainingHigh

Constraint Name
optionsContainingHigh (type: ERROR, kind: )
Constraint Class
IVLTS
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.high.oclIsUndefined() implies (self.low.oclIsUndefined() and self.center.oclIsUndefined() and self.width.oclIsUndefined()) or ((not self.low.oclIsUndefined()) and self.width.oclIsUndefined() and self.center.oclIsUndefined()) or ((not self.width.oclIsUndefined()) and self.low.oclIsUndefined() and self.center.oclIsUndefined())