This is implemented as described in ISO 21090.
Specializes
QSET
Attributes
| Name | Data type | Occurs | Description |
|---|---|---|---|
| terms | QSET_TS | 1..1 | 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 >= 2 |