|
ENTITY Pitch_class; class_member : Range_characteristic; class_name : STRING; WHERE WR1: SIZEOF(QUERY(np <* class_member\Representation.items | NOT ('VALUE_WITH_UNIT_EXTENSION_ARM.LENGTH_DATA_ELEMENT' IN TYPEOF(np)))) = 0; END_ENTITY; -- Pitch_class |
Entity data types and their attributesPitch_classclass_member: Range_characteristic; class_name: STRING; |
Global rules for this entity data type- |