|
ENTITY basic_sparse_matrix SUBTYPE OF (explicit_table_function, multiple_arity_generic_expression); SELF\multiple_arity_generic_expression.operands : LIST [3:3] OF maths_function; default_entry : maths_value; order : ordering_type; DERIVE index : maths_function := SELF\multiple_arity_generic_expression.operands[1]; loc : maths_function := SELF\multiple_arity_generic_expression.operands[2]; val : maths_function := SELF\multiple_arity_generic_expression.operands[3]; WHERE WR1: function_is_1d_table(index); WR2: function_is_1d_table(loc); WR3: function_is_1d_table(val); WR4: check_sparse_index_domain(index.domain, index_base, shape, order); WR5: check_sparse_index_to_loc(index.range, loc.domain); WR6: loc.domain = val.domain; WR7: check_sparse_loc_range(loc.range, index_base, shape, order); WR8: member_of(default_entry, val.range); END_ENTITY; -- basic_sparse_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; multiple_arity_generic_expression operands: LIST [2:?] OF generic_expression; basic_sparse_matrix (RT) operands: LIST [3:3] OF maths_function; default_entry: maths_value; order: ordering_type; (DER) index: maths_function; (DER) loc: maths_function; (DER) val: maths_function; |
Global rules for this entity data type- |