Overview Schemas Index

MATHEMATICAL_FUNCTIONS_SCHEMA (jsdai.SMathematical_functions_schema)


ENTITY polar_complex_number_region
          SUBTYPE OF (maths_space, generic_literal);
          centre : complex_number_literal;
          distance_constraint : real_interval;
          direction_constraint : finite_real_interval;
WHERE
          wr1: min_exists(distance_constraint) AND (real_min(distance_constraint) >= 0.0);
          wr2: {-PI <= direction_constraint.min < PI};
          wr3: direction_constraint.max - direction_constraint.min <= 2.0*PI;
          wr4: (direction_constraint.max - direction_constraint.min < 2.0*PI) OR
       (direction_constraint.min_closure = open);
          wr5: (direction_constraint.max - direction_constraint.min < 2.0*PI) OR
       (direction_constraint.max_closure = open) OR
       (direction_constraint.min = -PI);
          wr6: (real_min(distance_constraint) > 0.0) OR max_exists(distance_constraint) OR
       (direction_constraint.max - direction_constraint.min < 2.0*PI) OR
       (direction_constraint.max_closure = open);
END_ENTITY; -- polar_complex_number_region

Entity data types and their attributes

generic_expression
          -
maths_space
          -
simple_generic_expression
          -
generic_literal
          -
polar_complex_number_region
          centre: complex_number_literal;
          distance_constraint: real_interval;
          direction_constraint: finite_real_interval;

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_space
          constant_function.source_of_domain
                    maths_space_or_function
          extended_tuple_space.extender
          externally_listed_data.value_range
          function_space.domain_argument
          function_space.range_argument
          listed_data.value_range
          listed_product_space.factors
          maths_space_context.abstract_space
          maths_variable.values_space
          parallel_composed_function.source_of_domain
                    maths_space_or_function
          restriction_function.operand
          selector_function.source_of_domain
                    maths_space_or_function
          uniform_product_space.base
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
simple_generic_expression
generic_literal
          literal_assignment.literal_value
polar_complex_number_region

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

polar_complex_number_region
          -

Global rules for this entity data type

          -

public interface EPolar_complex_number_region extends EMaths_space, EGeneric_literal

centre (explicit attribute)

          boolean testCentre(EPolar_complex_number_region type)
          EComplex_number_literal getCentre(EPolar_complex_number_region type)
          void setCentre(EPolar_complex_number_region type, EComplex_number_literal value)
          void unsetCentre(EPolar_complex_number_region type)

distance_constraint (explicit attribute)

          int testDistance_constraint(EPolar_complex_number_region type)
          case 1
              EEntity getDistance_constraint(EPolar_complex_number_region type)
              void setDistance_constraint(EPolar_complex_number_region type, EEntity value, EEntity node1)
          void unsetDistance_constraint(EPolar_complex_number_region type)

direction_constraint (explicit attribute)

          boolean testDirection_constraint(EPolar_complex_number_region type)
          EFinite_real_interval getDirection_constraint(EPolar_complex_number_region type)
          void setDirection_constraint(EPolar_complex_number_region type, EFinite_real_interval value)
          void unsetDirection_constraint(EPolar_complex_number_region type)

public class CPolar_complex_number_region implements EPolar_complex_number_region

          static EAttribute attributeCentre(EPolar_complex_number_region type)
          static int usedinCentre(EPolar_complex_number_region type, EComplex_number_literal instance, ASdaiModel domain, APolar_complex_number_region result)
          static EAttribute attributeDistance_constraint(EPolar_complex_number_region type)
          static int usedinDistance_constraint(EPolar_complex_number_region type, EEntity instance, ASdaiModel domain, APolar_complex_number_region result)
          static EAttribute attributeDirection_constraint(EPolar_complex_number_region type)
          static int usedinDirection_constraint(EPolar_complex_number_region type, EFinite_real_interval instance, ASdaiModel domain, APolar_complex_number_region result)

public class APolar_complex_number_region extends AEntity

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