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

Constraint : optionsContainingWidth

Constraint Name
optionsContainingWidth (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.width.oclIsUndefined() implies ((not self.low.oclIsUndefined()) and self.center.oclIsUndefined() and self.high.oclIsUndefined()) or (self.low.oclIsUndefined() and self.center.oclIsUndefined()) or ((not self.center.oclIsUndefined()) and self.low.oclIsUndefined() and self.high.oclIsUndefined())