Constraint Types

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.


You can transport these constraints between models, using the Export Reference Data and Import Reference Data options on the Tools menu.