Many numerical values are associated with hypotheses. The most important of these are the property values described in Chapter 6, but there could also be other values such as the object position or joint angles. Constraints can be specified on these values and they must hold for the verification to succeed.
The constraints were mainly used for eliminating spurious SURFACE hypotheses and usually tested absolute surface area.
The constraints are specified as part of the model definition process, as a set of statements of the form:
|The must apply in the context of structure .|
The refers to a variable or a property (possibly of a substructure) in the context of the structure being constrained. Other constraint expressions could have been easily added. The verification of these constraints is trivial.
An example of such a constraint for the elbow joint angle jnt3 in the
robot armasm ASSEMBLY is: