ENTITY definite_integral_expression SUBTYPE OF (quantifier_expression); lower_limit_neg_infinity : BOOLEAN; upper_limit_pos_infinity : BOOLEAN; DERIVE integrand : generic_expression := SELF\multiple_arity_generic_expression.operands[1]; variable_of_integration : maths_variable := SELF\multiple_arity_generic_expression.operands[2]; SELF\quantifier_expression.variables : LIST [1:1] OF UNIQUE generic_variable := [variable_of_integration]; WHERE wr1: has_values_space (integrand); wr2: space_is_continuum (values_space_of (integrand)); wr3: definite_integral_expr_check (SELF\multiple_arity_generic_expression.operands, lower_limit_neg_infinity, upper_limit_pos_infinity); END_ENTITY; -- definite_integral_expression |
Entity data types and their attributesgeneric_expression- multiple_arity_generic_expression operands: LIST [2:?] OF generic_expression; quantifier_expression variables: LIST [1:?] OF UNIQUE generic_variable; definite_integral_expression lower_limit_neg_infinity: BOOLEAN; upper_limit_pos_infinity: BOOLEAN; (DER) integrand: generic_expression; (DER) variable_of_integration: maths_variable; (RT) (DER) variables: LIST [1:1] OF UNIQUE generic_variable; |
Global rules for this entity data type- |
public interface EDefinite_integral_expression extends EQuantifier_expressionlower_limit_neg_infinity (explicit attribute)boolean testLower_limit_neg_infinity(EDefinite_integral_expression type)boolean getLower_limit_neg_infinity(EDefinite_integral_expression type) void setLower_limit_neg_infinity(EDefinite_integral_expression type, boolean value) void unsetLower_limit_neg_infinity(EDefinite_integral_expression type) upper_limit_pos_infinity (explicit attribute)boolean testUpper_limit_pos_infinity(EDefinite_integral_expression type)boolean getUpper_limit_pos_infinity(EDefinite_integral_expression type) void setUpper_limit_pos_infinity(EDefinite_integral_expression type, boolean value) void unsetUpper_limit_pos_infinity(EDefinite_integral_expression type) integrand (derived attribute)EGeneric_expression getIntegrand(EDefinite_integral_expression type)boolean testIntegrand(EDefinite_integral_expression type) variable_of_integration (derived attribute)EMaths_variable getVariable_of_integration(EDefinite_integral_expression type)boolean testVariable_of_integration(EDefinite_integral_expression type) |
public class CDefinite_integral_expression implements EDefinite_integral_expressionstatic EAttribute attributeLower_limit_neg_infinity(EDefinite_integral_expression type)static EAttribute attributeUpper_limit_pos_infinity(EDefinite_integral_expression type) static EAttribute attributeIntegrand(EDefinite_integral_expression type) static int usedinIntegrand(EDefinite_integral_expression type, EGeneric_expression instance, ASdaiModel domain, ADefinite_integral_expression result) static EAttribute attributeVariable_of_integration(EDefinite_integral_expression type) static int usedinVariable_of_integration(EDefinite_integral_expression type, EMaths_variable instance, ASdaiModel domain, ADefinite_integral_expression result) static EAttribute attributeVariables(EDefinite_integral_expression type) static int usedinVariables(EDefinite_integral_expression type, EGeneric_variable instance, ASdaiModel domain, ADefinite_integral_expression result) |
public class ADefinite_integral_expression extends AEntitypublic EDefinite_integral_expression getByIndex(int index)public EDefinite_integral_expression getCurrentMember(SdaiIterator it) |