| View: | Hide Browser | Browser on the left | Browser on the right | Dictionary |
| Report: | General Info | Relations | Constraints |
| Attributes from Associations | ||||
| Signature | Optionality | Multiplicity | Documentation | |
| list : Set<DV_ORDINAL> | 0..1 | * | Set of allowed DV_ORDINAL values. | |
| Constraints | ||
| Name | Expression | |
| Items_valid | inv: not list.is_empty | |
| Ordinals_valid | inv:items <> Void xor any_allowed | |