Constraint Types

Return to Introduction  Previous page  Next page

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.