ENTITY homogeneous_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; -- homogeneous_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; homogeneous_linear_function (RT) operand: maths_function; sum_index: one_or_two; (DER) mat: maths_function; |
Global rules for this entity data type- |
public interface EHomogeneous_linear_function extends EMaths_function, EUnary_generic_expressionsum_index (explicit attribute)boolean testSum_index(EHomogeneous_linear_function type)int getSum_index(EHomogeneous_linear_function type) void setSum_index(EHomogeneous_linear_function type, int value) void unsetSum_index(EHomogeneous_linear_function type) mat (derived attribute)EMaths_function getMat(EHomogeneous_linear_function type)boolean testMat(EHomogeneous_linear_function type) |
public class CHomogeneous_linear_function implements EHomogeneous_linear_functionstatic EAttribute attributeSum_index(EHomogeneous_linear_function type)static EAttribute attributeMat(EHomogeneous_linear_function type) static int usedinMat(EHomogeneous_linear_function type, EMaths_function instance, ASdaiModel domain, AHomogeneous_linear_function result) |
public class AHomogeneous_linear_function extends AEntitypublic EHomogeneous_linear_function getByIndex(int index)public EHomogeneous_linear_function getCurrentMember(SdaiIterator it) |