| View: | Hide Browser | Browser on the left | Browser on the right | Dictionary |
| Report: | General Info | Relations | Constraints |
| Attributes from Associations | ||||
| Signature | Optionality | Multiplicity | Documentation | |
| value : STATE_MACHINE | 1 | -- | ||
| Constraints | ||
| Name | Expression | |
| c_value_exists | inv: value <> Void | |