Add dedicated constraint type to remove RM types, and clarify occurrences matches 0 rules.


It is not clear how to specify that no instance of a type e.g. COMPANY in the ADL2 example here ( is specified, since the structure
COMPANY[id5] occurrences ∈ {0}
relates only to [id5], which is a particular kind of COMPANY.

To remove COMPANY (and instances of subtypes) we need a construct that does this. Potentially:

prohibit COMPANY
which would be parsed into a new kind of constraint e.g. C_TYPE_PROHIBITION or similar.


Thomas Beale

Raised By

Diego Bosca


Affects versions