Overview Schemas Index

MATHEMATICAL_FUNCTIONS_SCHEMA (jsdai.SMathematical_functions_schema)


ENTITY basic_sparse_matrix
          SUBTYPE OF (explicit_table_function, multiple_arity_generic_expression);
          SELF\multiple_arity_generic_expression.operands : LIST [3:3] OF maths_function;
          default_entry : maths_value;
          order : ordering_type;
DERIVE
          index : maths_function := SELF\multiple_arity_generic_expression.operands[1];
          loc : maths_function := SELF\multiple_arity_generic_expression.operands[2];
          val : maths_function := SELF\multiple_arity_generic_expression.operands[3];
WHERE
          wr1: function_is_1d_table(index);
          wr2: function_is_1d_table(loc);
          wr3: function_is_1d_table(val);
          wr4: check_sparse_index_domain(index.domain, index_base, shape, order);
          wr5: check_sparse_index_to_loc(index.range, loc.domain);
          wr6: loc.domain = val.domain;
          wr7: check_sparse_loc_range(loc.range, index_base, shape, order);
          wr8: member_of(default_entry, val.range);
END_ENTITY; -- basic_sparse_matrix

Entity data types and their attributes

generic_expression
          -
maths_function
          (DER) domain: tuple_space;
          (DER) range: tuple_space;
explicit_table_function
          index_base: zero_or_one;
          shape: LIST [1:?] OF positive_integer;
multiple_arity_generic_expression
          operands: LIST [2:?] OF generic_expression;
basic_sparse_matrix
          (RT) operands: LIST [3:3] OF maths_function;
          default_entry: maths_value;
          order: ordering_type;
          (DER) index: maths_function;
          (DER) loc: maths_function;
          (DER) val: 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
                                        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
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
explicit_table_function
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
basic_sparse_matrix

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

basic_sparse_matrix
          -

Global rules for this entity data type

          -

public interface EBasic_sparse_matrix extends EExplicit_table_function, EMultiple_arity_generic_expression

default_entry (explicit attribute)

          int testDefault_entry(EBasic_sparse_matrix type)
          case 1
              EEntity getDefault_entry(EBasic_sparse_matrix type)
              void setDefault_entry(EBasic_sparse_matrix type, EEntity value, EEntity node1)
          case sDefault_entryMaths_number:
              double getDefault_entry(EBasic_sparse_matrix type, EMaths_number node1)
              void setDefault_entry(EBasic_sparse_matrix type, double value, EMaths_number node1)
          case sDefault_entryMaths_real:
              double getDefault_entry(EBasic_sparse_matrix type, EMaths_real node1)
              void setDefault_entry(EBasic_sparse_matrix type, double value, EMaths_real node1)
          case sDefault_entryMaths_integer:
              integer getDefault_entry(EBasic_sparse_matrix type, EMaths_integer node1)
              void setDefault_entry(EBasic_sparse_matrix type, integer value, EMaths_integer node1)
          case sDefault_entryMaths_logical:
              integer getDefault_entry(EBasic_sparse_matrix type, EMaths_logical node1)
              void setDefault_entry(EBasic_sparse_matrix type, integer value, EMaths_logical node1)
          case sDefault_entryMaths_boolean:
              boolean getDefault_entry(EBasic_sparse_matrix type, EMaths_boolean node1)
              void setDefault_entry(EBasic_sparse_matrix type, boolean value, EMaths_boolean node1)
          case sDefault_entryMaths_string:
              String getDefault_entry(EBasic_sparse_matrix type, EMaths_string node1)
              void setDefault_entry(EBasic_sparse_matrix type, String value, EMaths_string node1)
          case sDefault_entryMaths_binary:
              Binary getDefault_entry(EBasic_sparse_matrix type, EMaths_binary node1)
              void setDefault_entry(EBasic_sparse_matrix type, Binary value, EMaths_binary node1)
          case sDefault_entryElementary_space_enumerators:
              int getDefault_entry(EBasic_sparse_matrix type, EElementary_space_enumerators node1)
              void setDefault_entry(EBasic_sparse_matrix type, int value, EElementary_space_enumerators node1)
          case sDefault_entryOrdering_type:
              int getDefault_entry(EBasic_sparse_matrix type, EOrdering_type node1)
              void setDefault_entry(EBasic_sparse_matrix type, int value, EOrdering_type node1)
          case sDefault_entryLower_upper:
              int getDefault_entry(EBasic_sparse_matrix type, ELower_upper node1)
              void setDefault_entry(EBasic_sparse_matrix type, int value, ELower_upper node1)
          case sDefault_entrySymmetry_type:
              int getDefault_entry(EBasic_sparse_matrix type, ESymmetry_type node1)
              void setDefault_entry(EBasic_sparse_matrix type, int value, ESymmetry_type node1)
          case sDefault_entryElementary_function_enumerators:
              int getDefault_entry(EBasic_sparse_matrix type, EElementary_function_enumerators node1)
              void setDefault_entry(EBasic_sparse_matrix type, int value, EElementary_function_enumerators node1)
          case sDefault_entryOpen_closed:
              int getDefault_entry(EBasic_sparse_matrix type, EOpen_closed node1)
              void setDefault_entry(EBasic_sparse_matrix type, int value, EOpen_closed node1)
          case sDefault_entrySpace_constraint_type:
              int getDefault_entry(EBasic_sparse_matrix type, ESpace_constraint_type node1)
              void setDefault_entry(EBasic_sparse_matrix type, int value, ESpace_constraint_type node1)
          case sDefault_entryRepackage_options:
              int getDefault_entry(EBasic_sparse_matrix type, ERepackage_options node1)
              void setDefault_entry(EBasic_sparse_matrix type, int value, ERepackage_options node1)
          case sDefault_entryExtension_options:
              int getDefault_entry(EBasic_sparse_matrix type, EExtension_options node1)
              void setDefault_entry(EBasic_sparse_matrix type, int value, EExtension_options node1)
          case sDefault_entryAtom_based_tuple:
              AAtom_based_value getDefault_entry(EBasic_sparse_matrix type, EAtom_based_tuple node1)
              void setDefault_entry(EBasic_sparse_matrix type, AAtom_based_value value, EAtom_based_tuple node1)
          case sDefault_entryMaths_tuple:
              AMaths_value getDefault_entry(EBasic_sparse_matrix type, EMaths_tuple node1)
              void setDefault_entry(EBasic_sparse_matrix type, AMaths_value value, EMaths_tuple node1)
          void unsetDefault_entry(EBasic_sparse_matrix type)

order (explicit attribute)

          boolean testOrder(EBasic_sparse_matrix type)
          int getOrder(EBasic_sparse_matrix type)
          void setOrder(EBasic_sparse_matrix type, int value)
          void unsetOrder(EBasic_sparse_matrix type)

index (derived attribute)

          EMaths_function getIndex(EBasic_sparse_matrix type)
          boolean testIndex(EBasic_sparse_matrix type)

loc (derived attribute)

          EMaths_function getLoc(EBasic_sparse_matrix type)
          boolean testLoc(EBasic_sparse_matrix type)

val (derived attribute)

          EMaths_function getVal(EBasic_sparse_matrix type)
          boolean testVal(EBasic_sparse_matrix type)

public class CBasic_sparse_matrix implements EBasic_sparse_matrix

          static EAttribute attributeDefault_entry(EBasic_sparse_matrix type)
          static int usedinDefault_entry(EBasic_sparse_matrix type, EEntity instance, ASdaiModel domain, ABasic_sparse_matrix result)
          static EAttribute attributeOrder(EBasic_sparse_matrix type)
          static EAttribute attributeIndex(EBasic_sparse_matrix type)
          static int usedinIndex(EBasic_sparse_matrix type, EMaths_function instance, ASdaiModel domain, ABasic_sparse_matrix result)
          static EAttribute attributeLoc(EBasic_sparse_matrix type)
          static int usedinLoc(EBasic_sparse_matrix type, EMaths_function instance, ASdaiModel domain, ABasic_sparse_matrix result)
          static EAttribute attributeVal(EBasic_sparse_matrix type)
          static int usedinVal(EBasic_sparse_matrix type, EMaths_function instance, ASdaiModel domain, ABasic_sparse_matrix result)

public class ABasic_sparse_matrix extends AEntity

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