|
ENTITY linearized_table_function SUPERTYPE OF (ONEOF (standard_table_function, regular_table_function, triangular_matrix, symmetric_matrix, banded_matrix)) SUBTYPE OF (explicit_table_function, unary_generic_expression); SELF\unary_generic_expression.operand : maths_function; first : INTEGER; DERIVE source : maths_function := SELF\unary_generic_expression.operand; WHERE WR1: function_is_1d_array(source); WR2: member_of(first, source\maths_function.domain); END_ENTITY; -- linearized_table_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; explicit_table_function index_base: zero_or_one; shape: LIST [1:?] OF positive_integer; unary_generic_expression operand: generic_expression; linearized_table_function (RT) operand: maths_function; first: INTEGER; (DER) source: maths_function; |
| banded_matrix (mathematical_functions_schema) |
| regular_table_function (mathematical_functions_schema) |
| standard_table_function (mathematical_functions_schema) |
| symmetric_matrix (mathematical_functions_schema) |
| triangular_matrix (mathematical_functions_schema) |
Global rules for this entity data type- |