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.