ENTITY definite_integral_function SUBTYPE OF (maths_function, unary_generic_expression); SELF\unary_generic_expression.operand : maths_function; variable_of_integration : input_selector; lower_limit_neg_infinity : BOOLEAN; upper_limit_pos_infinity : BOOLEAN; DERIVE integrand : maths_function := SELF\unary_generic_expression.operand; WHERE wr1: space_is_continuum (integrand.range); wr2: definite_integral_check (integrand.domain, variable_of_integration, lower_limit_neg_infinity, upper_limit_pos_infinity); END_ENTITY; -- definite_integral_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; unary_generic_expression operand: generic_expression; definite_integral_function (RT) operand: maths_function; variable_of_integration: input_selector; lower_limit_neg_infinity: BOOLEAN; upper_limit_pos_infinity: BOOLEAN; (DER) integrand: maths_function; |
Global rules for this entity data type- |
public interface EDefinite_integral_function extends EMaths_function, EUnary_generic_expressionvariable_of_integration (explicit attribute)boolean testVariable_of_integration(EDefinite_integral_function type)int getVariable_of_integration(EDefinite_integral_function type) void setVariable_of_integration(EDefinite_integral_function type, int value) void unsetVariable_of_integration(EDefinite_integral_function type) lower_limit_neg_infinity (explicit attribute)boolean testLower_limit_neg_infinity(EDefinite_integral_function type)boolean getLower_limit_neg_infinity(EDefinite_integral_function type) void setLower_limit_neg_infinity(EDefinite_integral_function type, boolean value) void unsetLower_limit_neg_infinity(EDefinite_integral_function type) upper_limit_pos_infinity (explicit attribute)boolean testUpper_limit_pos_infinity(EDefinite_integral_function type)boolean getUpper_limit_pos_infinity(EDefinite_integral_function type) void setUpper_limit_pos_infinity(EDefinite_integral_function type, boolean value) void unsetUpper_limit_pos_infinity(EDefinite_integral_function type) integrand (derived attribute)EMaths_function getIntegrand(EDefinite_integral_function type)boolean testIntegrand(EDefinite_integral_function type) |
public class CDefinite_integral_function implements EDefinite_integral_functionstatic EAttribute attributeVariable_of_integration(EDefinite_integral_function type)static EAttribute attributeLower_limit_neg_infinity(EDefinite_integral_function type) static EAttribute attributeUpper_limit_pos_infinity(EDefinite_integral_function type) static EAttribute attributeIntegrand(EDefinite_integral_function type) static int usedinIntegrand(EDefinite_integral_function type, EMaths_function instance, ASdaiModel domain, ADefinite_integral_function result) |
public class ADefinite_integral_function extends AEntitypublic EDefinite_integral_function getByIndex(int index)public EDefinite_integral_function getCurrentMember(SdaiIterator it) |