This is implemented as described in ISO 21090.
Specializes
QSET
Attributes
| Name | Data type | Occurs | Description |
|---|---|---|---|
| terms | T | 0..* | This is implemented as described in ISO 21090. |
Constraints
| Type | Name | Specification |
|---|---|---|
| not null | Invariant | inv: isNotNull implies terms->forAll(t | t.isNotNull) |
| size | Invariant | inv: isNotNull implies terms->size > 1 |