|
ENTITY reindexed_array_function SUBTYPE OF (maths_function, unary_generic_expression); SELF\unary_generic_expression.operand : maths_function; starting_indices : LIST [1:?] OF INTEGER; WHERE WR1: function_is_array(SELF\unary_generic_expression.operand); WR2: SIZEOF(starting_indices) = SIZEOF(shape_of_array( SELF\unary_generic_expression.operand)); END_ENTITY; -- reindexed_array_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; unary_generic_expression operand: generic_expression; reindexed_array_function (RT) operand: maths_function; starting_indices: LIST [1:?] OF INTEGER; |
Global rules for this entity data type- |