|
ENTITY general_linear_function SUBTYPE OF (maths_function, unary_generic_expression); SELF\unary_generic_expression.operand : maths_function; sum_index : one_or_two; DERIVE mat : maths_function := SELF\unary_generic_expression.operand; WHERE WR1: function_is_2d_table(mat); WR2: (space_dimension(mat.range) = 1) AND subspace_of_es(factor1(mat.range),es_numbers); END_ENTITY; -- general_linear_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; unary_generic_expression operand: generic_expression; general_linear_function (RT) operand: maths_function; sum_index: one_or_two; (DER) mat: maths_function; |
Global rules for this entity data type- |