Definite_integral

mathematical_functions_schema

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 attributes

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

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
fbb_condition_action_method_items
parameter_value_select
applied_group_assignment.items
groupable_item
generic_expression_groupable_item
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
risk_action_items
risk_perception_source_item
rm_risk_perception_source_item
prgm_risk_perception_source_item
syse_risk_perception_source_item
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
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_expression
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
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
maths_function
b_spline_function.coef
b_spline_function.operand
basic_sparse_matrix.index
basic_sparse_matrix.loc
basic_sparse_matrix.operands
basic_sparse_matrix.val
constant_function.source_of_domain
maths_space_or_function
definite_integral_function.integrand
definite_integral_function.operand
function_application.func
maths_function_select
general_linear_function.mat
general_linear_function.operand
homogeneous_linear_function.mat
homogeneous_linear_function.operand
linearized_table_function.operand
linearized_table_function.source
maths_space_context_relationship_description.describing_relationship
mesh_function.control_values
mesh_function_basis.value_positions
normalized_property_distribution_description.abstract_function
parallel_composed_function.final_function
maths_function_select
parallel_composed_function.prep_functions
parallel_composed_function.source_of_domain
maths_space_or_function
partial_derivative_function.derivand
partial_derivative_function.operand
property_distribution_description.abstract_function
rationalize_function.fun
rationalize_function.operand
reindexed_array_function.operand
repackaging_function.operand
selector_function.source_of_domain
maths_space_or_function
series_composed_function.operands
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
fbb_condition_action_method_items
parameter_value_select
applied_group_assignment.items
groupable_item
generic_expression_groupable_item
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
risk_action_items
risk_perception_source_item
rm_risk_perception_source_item
prgm_risk_perception_source_item
syse_risk_perception_source_item
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
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_expression
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
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
unary_generic_expression
definite_integral_function

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

definite_integral_function
-

mathematical_functions_schema

Entity data types and their attributes

Users: by entity attributes

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

Global rules for this entity data type