Definite_integral

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

generic_expression
abstracted_expression_function.expr
analysis_item.items
analysed_item
upfrompm_ap233_analysed_item
groupable_item
parameter_value_select_groupable_item
parameter_value_select
application_defined_function.parameters
maths_value
applied_action_method_assignment.items
action_method_items
fbb2_action_method_items
parameter_value_select
applied_certification_assignment.items
certification_item
upfrompm_ap233_certification_item
groupable_item
generic_expression_groupable_item
applied_experience_type_assignment.items
experience_type_item
upfrompm_ap233_experience_type_item
groupable_item
parameter_value_select_groupable_item
parameter_value_select
applied_group_assignment.items
groupable_item
parameter_value_select_groupable_item
parameter_value_select
applied_person_type_assignment.items
person_type_item
upfrompm_ap233_person_type_item
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
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
function_application.arguments
maths_value
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
issue_reference_mapping.items
issue_reference_item
upfromsm_ap233_issue_reference_item
listed_data.values
maths_value
mathematical_description.described
maths_expression
maths_tuple_literal.lit_value
maths_value
multiple_arity_generic_expression.operands
parallel_composed_function.operands
partial_derivative_expression.derivand
rational_representation_item_xim.operands
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
verification_evidence.items
verification_evidence_item
smpushup_ap233_verification_evidence_item
groupable_item
generic_expression_groupable_item
multiple_arity_generic_expression
quantifier_expression
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)