Polar_complex_number

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

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_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
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
simple_generic_expression
generic_literal
literal_assignment.literal_value
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)