ENTITY general_linear_function SUBTYPE OF (maths_function, unary_generic_expression); SELF\unary_generic_expression.operand : maths_function; sum_index : one_or_two; DERIVE mat : maths_function := SELF\unary_generic_expression.operand; WHERE wr1: function_is_2d_table(mat); wr2: (space_dimension(mat.range) = 1) AND subspace_of_es(factor1(mat.range),es_numbers); END_ENTITY; -- general_linear_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; unary_generic_expression operand: generic_expression; general_linear_function (RT) operand: maths_function; sum_index: one_or_two; (DER) mat: maths_function; |
Global rules for this entity data type- |
public interface EGeneral_linear_function extends EMaths_function, EUnary_generic_expressionsum_index (explicit attribute)boolean testSum_index(EGeneral_linear_function type)int getSum_index(EGeneral_linear_function type) void setSum_index(EGeneral_linear_function type, int value) void unsetSum_index(EGeneral_linear_function type) mat (derived attribute)EMaths_function getMat(EGeneral_linear_function type)boolean testMat(EGeneral_linear_function type) |
public class CGeneral_linear_function implements EGeneral_linear_functionstatic EAttribute attributeSum_index(EGeneral_linear_function type)static EAttribute attributeMat(EGeneral_linear_function type) static int usedinMat(EGeneral_linear_function type, EMaths_function instance, ASdaiModel domain, AGeneral_linear_function result) |
public class AGeneral_linear_function extends AEntitypublic EGeneral_linear_function getByIndex(int index)public EGeneral_linear_function getCurrentMember(SdaiIterator it) |