| View: | Hide Browser | Browser on the left | Browser on the right | Dictionary |
| Report: | General Info | Attributes | Constraints |
| Attributes | ||||
| Signature | Optionality | Multiplicity | Constant | Documentation |
| 0..1 | -- | List of constraints defining other archetypes that cannot be included at this point. | ||
| 0..1 | -- | List of constraints defining other archetypes that could be included at this point. | ||
| Constraints | ||
| Name | Expression | |
| includes_valid | inv: includes <> Void implies not includes.is_empty | |
| excludes_valid | inv: excludes <> Void implies not excludes.is_empty | |
| validity | inv: any_allowed xor includes <> Void or excludes <> Void | |