Add invarian to to C_BOOLEAN: true_valid XOR false_valid
Raise
Analysis
Raise
Analysis
Description
C_BOOLEAN allows both true_valid and false_valid to be false, which doesn't make sense since the value can only be one of those 2. So defining such constraint with both in false is currently possible (not prevented by the spec).
C_BOOLEAN allows both true_valid and false_valid to be false, which doesn't make sense since the value can only be one of those 2. So defining such constraint with both in false is currently possible (not prevented by the spec).
REF https://specifications.openehr.org/releases/AM/Release-2.2.0/AOM1.4.html#_c_boolean_class