|
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- |