| View: | Hide Browser | Browser on the left | Browser on the right | Dictionary |
| Report: | General Info |
Specifies a constraint that must be attached to an operation, and denotes that the conditions of the constraint must hold after the invocation of the operation.
| General Info | |
| Name | postcondition |
| Base Classes | Constraint |
| Abstract | false |
| Leaf | false |
| Root | false |