The Constraint tab of the General Types dialog enables you to define constraints. These are picked up in a variety of places where constraints might fall into more categories than the basic (default) Pre-, Post- and Invariant conditions.
To access this dialog, select the Settings | General Types menu option. Click on the Constraint tab.
To add a new constraint, click on the New button and:
|·||In the Constraint field, type the name of the constraint; for example, Assumption|
|·||In the Description field, type a brief description of the constraint|
|·||In the Note field type any additional information required|
|·||Click on the Save button.|
The constraint displays in the Defined Constraint Types list.