Overview Schemas Index

MATHEMATICAL_FUNCTIONS_SCHEMA (jsdai.SMathematical_functions_schema)


ENTITY application_defined_function
          SUBTYPE OF (maths_function);
          explicit_domain : tuple_space;
          explicit_range : tuple_space;
          parameters : LIST [0:?] OF maths_value;
WHERE
          wr1: expression_is_constant(explicit_domain);
          wr2: expression_is_constant(explicit_range);
END_ENTITY; -- application_defined_function

Entity data types and their attributes

generic_expression
          -
maths_function
          (DER) domain: tuple_space;
          (DER) range: tuple_space;
application_defined_function
          explicit_domain: tuple_space;
          explicit_range: tuple_space;
          parameters: LIST [0:?] OF maths_value;

Known subtypes

          mesh_function (MESH_FUNCTION_SCHEMA)
          mesh_function_basis (MESH_FUNCTION_SCHEMA)

Known subtype constraints

          sc1_application_defined_function (MESH_FUNCTION_SCHEMA)

Users

generic_expression
          abstracted_expression_function.expr
          analysis_item.items
                    analysed_item
                              sysm_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
                              fbb_action_method_items
                                        parameter_value_select
          applied_certification_assignment.items
                    certification_item
                              sysm_certification_item
                                        groupable_item
                                                  parameter_value_select_groupable_item
                                                            parameter_value_select
          applied_description_text_assignment.items
                    description_item
                              sbb_description_item
                                        groupable_item
                                                  generic_expression_groupable_item
          applied_experience_type_assignment.items
                    experience_type_item
                              syse_experience_type_item
                                        groupable_item
                                                  generic_expression_groupable_item
          applied_group_assignment.items
                    groupable_item
                              generic_expression_groupable_item
          applied_person_type_assignment.items
                    person_type_item
                              syse_person_type_item
                                        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
          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_expression
          function_application.operands
          functional_terminal_group_assignment.items
                    groupable_item
                              parameter_value_select_groupable_item
                                        parameter_value_select
          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
                              syse_issue_reference_item
          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
          rational_representation_item_xim.operands
          risk_source_assignment.items
                    risk_source_item
                              syse_risk_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
          verification_evidence.items
                    verification_evidence_item
                              sysm_verification_evidence_item
                                        groupable_item
                                                  parameter_value_select_groupable_item
                                                            parameter_value_select
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
application_defined_function

Global rules for this entity data type

          -

public interface EApplication_defined_function extends EMaths_function

explicit_domain (explicit attribute)

          int testExplicit_domain(EApplication_defined_function type)
          case 1
              EEntity getExplicit_domain(EApplication_defined_function type)
              void setExplicit_domain(EApplication_defined_function type, EEntity value, EEntity node1)
          case 1
              EEntity getExplicit_domain(EApplication_defined_function type)
              void setExplicit_domain(EApplication_defined_function type, EEntity value, EEntity node1)
          void unsetExplicit_domain(EApplication_defined_function type)

explicit_range (explicit attribute)

          int testExplicit_range(EApplication_defined_function type)
          case 1
              EEntity getExplicit_range(EApplication_defined_function type)
              void setExplicit_range(EApplication_defined_function type, EEntity value, EEntity node1)
          case 1
              EEntity getExplicit_range(EApplication_defined_function type)
              void setExplicit_range(EApplication_defined_function type, EEntity value, EEntity node1)
          void unsetExplicit_range(EApplication_defined_function type)

parameters (explicit attribute)

          boolean testParameters(EApplication_defined_function type)
          AMaths_value getParameters(EApplication_defined_function type)
          AMaths_value createParameters(EApplication_defined_function type)
          void unsetParameters(EApplication_defined_function type)

public class CApplication_defined_function implements EApplication_defined_function

          static EAttribute attributeExplicit_domain(EApplication_defined_function type)
          static int usedinExplicit_domain(EApplication_defined_function type, EEntity instance, ASdaiModel domain, AApplication_defined_function result)
          static EAttribute attributeExplicit_range(EApplication_defined_function type)
          static int usedinExplicit_range(EApplication_defined_function type, EEntity instance, ASdaiModel domain, AApplication_defined_function result)
          static EAttribute attributeParameters(EApplication_defined_function type)
          static int usedinParameters(EApplication_defined_function type, EEntity instance, ASdaiModel domain, AApplication_defined_function result)

public class AApplication_defined_function extends AEntity

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