ENTITY definite_integral_expression

(* SCHEMA mathematical_functions_schema; *)

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;

Explicit Attributes

Entity definite_integral_expression has the following local and inherited explicit attributes:
AttributeTypeDefined By
 operandsLIST OF generic_expression (ENTITY)multiple_arity_generic_expression
 variables*LIST OF generic_variable (ENTITY)definite_integral_expression(Redcl from quantifier_expression)
 lower_limit_neg_infinityBOOLEANdefinite_integral_expression
 upper_limit_pos_infinityBOOLEANdefinite_integral_expression

* - Explicit attribute redeclared as derived

Derived Attributes

Entity definite_integral_expression has the following local and inherited derived attributes:
AttributeTypeDefined By
 integrandgeneric_expression (ENTITY)definite_integral_expression
 variable_of_integrationmaths_variable (ENTITY)definite_integral_expression
 variablesLIST OF generic_variable (ENTITY)definite_integral_expression(Redcl from quantifier_expression)

Inverse Attributes

    No Inverse Attributes

Supertypes

Entity definite_integral_expression inherits from the following supertypes:
  generic_expression
    multiple_arity_generic_expression
      quantifier_expression

Subtypes

    No subtypes

Referenced By

Entity definite_integral_expression and its supertypes are referenced by the following definitions:
DefinitionTypeReferenced Entity
 abstracted_expression_function ENTITY generic_expression
 abstracted_expression_function ENTITY quantifier_expression
 abstracted_expression_function ENTITY multiple_arity_generic_expression
 acyclic FUNCTION multiple_arity_generic_expression
 acyclic FUNCTION generic_expression
 all_members_of_es FUNCTION generic_expression
 basic_sparse_matrix ENTITY multiple_arity_generic_expression
 concat_expression ENTITY multiple_arity_generic_expression
 convert_to_operand FUNCTION generic_expression
 convert_to_operands FUNCTION generic_expression
 convert_to_operands_prcmfn FUNCTION generic_expression
 definite_integral_expression ENTITY multiple_arity_generic_expression
 definite_integral_expression ENTITY quantifier_expression
 definite_integral_expression ENTITY generic_expression
 definite_integral_expr_check FUNCTION generic_expression
 expression_denoted_function ENTITY generic_expression
 expression_is_constant FUNCTION generic_expression
 free_variables_of FUNCTION multiple_arity_generic_expression
 free_variables_of FUNCTION quantifier_expression
 free_variables_of FUNCTION generic_expression
 function_applicability FUNCTION generic_expression
 function_application ENTITY multiple_arity_generic_expression
 function_application ENTITY generic_expression
 generic_expression ENTITY multiple_arity_generic_expression
 has_values_space FUNCTION generic_expression
 interval_expression ENTITY multiple_arity_generic_expression
 is_acyclic FUNCTION generic_expression
 make_abstracted_expression_function FUNCTION quantifier_expression
 make_abstracted_expression_function FUNCTION generic_expression
 make_abstracted_expression_function FUNCTION multiple_arity_generic_expression
 make_atom_based_literal FUNCTION generic_expression
 make_banded_matrix FUNCTION generic_expression
 make_basic_sparse_matrix FUNCTION multiple_arity_generic_expression
 make_basic_sparse_matrix FUNCTION generic_expression
 make_binary_literal FUNCTION generic_expression
 make_boolean_literal FUNCTION generic_expression
 make_b_spline_basis FUNCTION generic_expression
 make_b_spline_function FUNCTION generic_expression
 make_cartesian_complex_number_region FUNCTION generic_expression
 make_complex_number_literal FUNCTION generic_expression
 make_constant_function FUNCTION generic_expression
 make_cos_expression FUNCTION generic_expression
 make_definite_integral_expression FUNCTION quantifier_expression
 make_definite_integral_expression FUNCTION generic_expression
 make_definite_integral_expression FUNCTION multiple_arity_generic_expression
 make_definite_integral_expression FUNCTION definite_integral_expression
 make_definite_integral_function FUNCTION generic_expression
 make_elementary_function FUNCTION generic_expression
 make_elementary_space FUNCTION generic_expression
 make_expression_denoted_function FUNCTION generic_expression
 make_extended_tuple_space FUNCTION generic_expression
 make_finite_function FUNCTION generic_expression
 make_finite_integer_interval FUNCTION generic_expression
 make_finite_real_interval FUNCTION generic_expression
 make_finite_space FUNCTION generic_expression
 make_function_application FUNCTION multiple_arity_generic_expression
 make_function_application FUNCTION generic_expression
 make_function_space FUNCTION generic_expression
 make_general_linear_function FUNCTION generic_expression
 make_integer_interval_from_min FUNCTION generic_expression
 make_int_literal FUNCTION generic_expression
 make_listed_complex_number_data FUNCTION generic_expression
 make_listed_data FUNCTION generic_expression
 make_listed_integer_data FUNCTION generic_expression
 make_listed_product_space FUNCTION generic_expression
 make_listed_real_data FUNCTION generic_expression
 make_logical_literal FUNCTION generic_expression
 make_maths_enum_literal FUNCTION generic_expression
 make_maths_real_variable FUNCTION generic_expression
 make_maths_tuple_literal FUNCTION generic_expression
 make_mult_expression FUNCTION multiple_arity_generic_expression
 make_mult_expression FUNCTION generic_expression
 make_parallel_composed_function FUNCTION multiple_arity_generic_expression
 make_parallel_composed_function FUNCTION generic_expression
 make_partial_derivative_expression FUNCTION generic_expression
 make_partial_derivative_function FUNCTION generic_expression
 make_polar_complex_number_region FUNCTION generic_expression
 make_rationalize_function FUNCTION generic_expression
 make_real_interval_from_min FUNCTION generic_expression
 make_real_interval_to_max FUNCTION generic_expression
 make_real_literal FUNCTION generic_expression
 make_regular_table_function FUNCTION generic_expression
 make_reindexed_array_function FUNCTION generic_expression
 make_repackaging_function FUNCTION generic_expression
 make_selector_function FUNCTION generic_expression
 make_series_composed_function FUNCTION multiple_arity_generic_expression
 make_series_composed_function FUNCTION generic_expression
 make_sin_expression FUNCTION generic_expression
 make_standard_table_function FUNCTION generic_expression
 make_strict_triangular_matrix FUNCTION generic_expression
 make_string_literal FUNCTION generic_expression
 make_unary_minus_expression FUNCTION generic_expression
 make_uniform_product_space FUNCTION generic_expression
 maths_expression SELECT generic_expression
 maths_value SELECT generic_expression
 multiple_arity_boolean_expression ENTITY multiple_arity_generic_expression
 multiple_arity_numeric_expression ENTITY multiple_arity_generic_expression
 parallel_composed_function ENTITY generic_expression
 parallel_composed_function ENTITY multiple_arity_generic_expression
 partial_derivative_expression ENTITY generic_expression
 quantifier_expression ENTITY multiple_arity_generic_expression
 series_composed_function ENTITY multiple_arity_generic_expression
 simplify_function_application FUNCTION quantifier_expression
 simplify_function_application FUNCTION generic_expression
 simplify_generic_expression FUNCTION multiple_arity_generic_expression
 simplify_generic_expression FUNCTION generic_expression
 substitute FUNCTION generic_expression
 substitute FUNCTION multiple_arity_generic_expression
 substitute FUNCTION quantifier_expression
 substring_expression ENTITY multiple_arity_generic_expression
 used_variables FUNCTION multiple_arity_generic_expression
 used_variables FUNCTION generic_expression
 values_space_of FUNCTION generic_expression
 values_space_of FUNCTION definite_integral_expression


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:13:59-04:00