|
ENTITY banded_matrix SUBTYPE OF (linearized_table_function); default_entry : maths_value; below : INTEGER; above : INTEGER; order : ordering_type; WHERE WR1: SIZEOF (self\explicit_table_function.shape) = 2; WR2: -below <= above; WR3: member_of(default_entry, factor1(SELF\linearized_table_function.source.range)); END_ENTITY; -- banded_matrix |
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 default_entry: maths_value; below: INTEGER; above: INTEGER; order: ordering_type; |
Global rules for this entity data type- |