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

Constraint : optionsContainingCenter

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