Adding a state constraint
State constraints are used to associate an operator action with the state. To add a state constraint
perform the following steps:
- Select the state.
- Right-click and select .
- Enter the expression for the body of the new constraint.