Overview Schemas Index

MATHEMATICAL_FUNCTIONS_SCHEMA (jsdai.SMathematical_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; -- definite_integral_expression

Entity data types and their attributes

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

Users: by entity attributes

generic_expression
          abstracted_expression_function.expr
          application_defined_function.parameters
                    maths_value
          applied_action_assignment.items
                    action_items
                              ds_action_items
                                        syse_action_items
          applied_action_method_assignment.items
                    action_method_items
                              condition_action_method_items
                                        sbb_condition_action_method_items
                                                  parameter_value_select
          applied_group_assignment.items
                    groupable_item
                              parameter_value_select_groupable_item
                                        parameter_value_select
          banded_matrix.default_entry
                    maths_value
          basic_sparse_matrix.default_entry
                    maths_value
          binary_generic_expression.operands
          bound_variational_parameter.parameter_current_value
                    maths_value
          constant_function.sole_output
                    maths_value
          current_change_element_assignment.items
                    change_management_object
                              ap242_change_management_object
                                        action_items
                                                  ds_action_items
                                                            syse_action_items
          definite_integral_expression.integrand
          expression_denoted_function.expr
          finite_function.pairs
                    maths_value
          finite_space.members
                    maths_value
          format_function.format_string
          format_function.value_to_format
          frozen_assignment.items
                    change_management_object
                              ap242_change_management_object
                                        action_items
                                                  ds_action_items
                                                            syse_action_items
          function_application.arguments
                    maths_expression
          function_application.operands
          functional_terminal_group_assignment.items
                    groupable_item
                              generic_expression_groupable_item
          index_expression.index
          index_expression.operand
          interval_expression.interval_high
          interval_expression.interval_item
          interval_expression.interval_low
          listed_data.values
                    maths_value
          mathematical_description.described
                    maths_value
          maths_tuple_literal.lit_value
                    maths_value
          maths_value_context.abstract_value
                    maths_value
          maths_value_with_unit.value_component
                    maths_value
          multiple_arity_generic_expression.operands
          parallel_composed_function.operands
          partial_derivative_expression.derivand
          previous_change_element_assignment.items
                    change_management_object
                              ap242_change_management_object
                                        action_items
                                                  ds_action_items
                                                            syse_action_items
          rational_representation_item_xim.operands
          risk_identification_inputs.items
                    risk_perception_source_item
                              rm_risk_perception_source_item
                                        prgm_risk_perception_source_item
                                                  syse_risk_perception_source_item
          risk_perception_source_assignment.items
                    risk_perception_source_item
                              rm_risk_perception_source_item
                                        prgm_risk_perception_source_item
                                                  syse_risk_perception_source_item
          strict_triangular_matrix.main_diagonal_value
                    maths_value
          substring_expression.index1
          substring_expression.index2
          substring_expression.operand
          symmetric_banded_matrix.default_entry
                    maths_value
          triangular_matrix.default_entry
                    maths_value
          unary_generic_expression.operand
          variational_parameter.parameter_current_value
                    maths_value
multiple_arity_generic_expression
quantifier_expression
definite_integral_expression

Users: by defined types, not used by any entity attribute

definite_integral_expression
          -

Global rules for this entity data type

          -

public interface EDefinite_integral_expression extends EQuantifier_expression

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

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

          public EDefinite_integral_expression getByIndex(int index)
          public EDefinite_integral_expression getCurrentMember(SdaiIterator it)