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.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- |
public interface ELinearized_table_function extends EExplicit_table_function, EUnary_generic_expressionfirst (explicit attribute)boolean testFirst(ELinearized_table_function type)int getFirst(ELinearized_table_function type) void setFirst(ELinearized_table_function type, int value) void unsetFirst(ELinearized_table_function type) source (derived attribute)EMaths_function getSource(ELinearized_table_function type)boolean testSource(ELinearized_table_function type) |
public class CLinearized_table_function implements ELinearized_table_functionstatic EAttribute attributeFirst(ELinearized_table_function type)static EAttribute attributeSource(ELinearized_table_function type) static int usedinSource(ELinearized_table_function type, EMaths_function instance, ASdaiModel domain, ALinearized_table_function result) |
public class ALinearized_table_function extends AEntitypublic ELinearized_table_function getByIndex(int index)public ELinearized_table_function getCurrentMember(SdaiIterator it) |