|
ENTITY finite_space SUBTYPE OF (maths_space, generic_literal); members : SET [0:?] OF maths_value; WHERE WR1: VALUE_UNIQUE(members); WR2: SIZEOF (QUERY (expr <* QUERY (member <* members | 'ISO13584_GENERIC_EXPRESSIONS_SCHEMA.GENERIC_EXPRESSION' IN TYPEOF (member)) | NOT expression_is_constant(expr))) = 0; WR3: no_cyclic_space_reference(SELF, []); END_ENTITY; -- finite_space |
Entity data types and their attributesgeneric_expression- maths_space - simple_generic_expression - generic_literal - finite_space members: SET [0:?] OF maths_value; |
| generated_finite_numeric_space (parameterization_schema) |
Global rules for this entity data type- |