ENTITY polar_complex_number_region

(* SCHEMA step_merged_ap_schema; *)

-- IN AP238 STEP-NC/AP242
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:
         (-3.14159 <= direction_constraint.min) AND (direction_constraint.min < 3.14159);
      WR3:
         direction_constraint.max - direction_constraint.min <= 2.0 * 3.14159;
      WR4:
         (direction_constraint.max - direction_constraint.min < 2.0 * 3.14159) OR (direction_constraint.min_closure = open);
      WR5:
         ((direction_constraint.max - direction_constraint.min < 2.0 * 3.14159) OR (direction_constraint.max_closure = open)) OR (direction_constraint.min = -3.14159);
      WR6:
         (((real_min(distance_constraint) > 0.0) OR max_exists(distance_constraint)) OR (direction_constraint.max - direction_constraint.min < 2.0 * 3.14159)) OR (direction_constraint.max_closure = open);
END_ENTITY;

Explicit Attributes

Entity polar_complex_number_region has the following local and inherited explicit attributes:

Attribute	Type	Defined By
centre	complex_number_literal (ENTITY)	polar_complex_number_region
distance_constraint	real_interval (SELECT)	polar_complex_number_region
direction_constraint	finite_real_interval (ENTITY)	polar_complex_number_region

Derived Attributes

No derived attributes

Inverse Attributes

No Inverse Attributes

Supertypes

Entity polar_complex_number_region inherits from the following supertypes:
  generic_expression
    maths_space
  generic_expression
    simple_generic_expression
      generic_literal

Subtypes

No subtypes

Referenced By

Entity polar_complex_number_region and its supertypes are referenced by the following definitions:

Definition	Type	Referenced Entity
abstracted_expression_function	ENTITY	generic_expression
acyclic	FUNCTION	generic_expression
all_members_of_es	FUNCTION	maths_space
all_members_of_es	FUNCTION	generic_expression
any_space_satisfies	FUNCTION	maths_space
assoc_product_space	FUNCTION	maths_space
binary_generic_expression	ENTITY	generic_expression
check_sparse_index_domain	FUNCTION	maths_space
check_sparse_index_to_loc	FUNCTION	maths_space
check_sparse_loc_range	FUNCTION	maths_space
compatible_complex_number_regions	FUNCTION	polar_complex_number_region
compatible_complex_number_regions	FUNCTION	maths_space
compatible_intervals	FUNCTION	maths_space
compatible_spaces	FUNCTION	maths_space
convert_to_literal	FUNCTION	generic_literal
convert_to_operand	FUNCTION	generic_expression
convert_to_operands	FUNCTION	generic_expression
convert_to_operands_prcmfn	FUNCTION	generic_expression
definite_integral_check	FUNCTION	maths_space
definite_integral_expression	ENTITY	generic_expression
definite_integral_expr_check	FUNCTION	maths_space
definite_integral_expr_check	FUNCTION	generic_expression
derive_definite_integral_domain	FUNCTION	maths_space
drop_numeric_constraints	FUNCTION	maths_space
enclose_cregion_in_pregion	FUNCTION	polar_complex_number_region
enclose_pregion_in_cregion	FUNCTION	polar_complex_number_region
enclose_pregion_in_pregion	FUNCTION	polar_complex_number_region
equal_cregion_pregion	FUNCTION	polar_complex_number_region
equal_maths_spaces	FUNCTION	maths_space
expression_denoted_function	ENTITY	generic_expression
expression_is_constant	FUNCTION	generic_expression
extended_tuple_space	ENTITY	maths_space
externally_listed_data	ENTITY	maths_space
extremal_position_check	FUNCTION	maths_space
factor1	FUNCTION	maths_space
factor_space	FUNCTION	maths_space
format_function	ENTITY	generic_expression
free_variables_of	FUNCTION	generic_expression
function_applicability	FUNCTION	generic_expression
function_application	ENTITY	generic_expression
function_is_1d_array	FUNCTION	maths_space
function_is_1d_table	FUNCTION	maths_space
function_is_2d_table	FUNCTION	maths_space
function_is_array	FUNCTION	maths_space
function_is_table	FUNCTION	maths_space
function_space	ENTITY	maths_space
generic_expression	ENTITY	simple_generic_expression
has_values_space	FUNCTION	generic_expression
index_expression	ENTITY	generic_expression
interval_expression	ENTITY	generic_expression
is_acyclic	FUNCTION	generic_expression
listed_data	ENTITY	maths_space
listed_product_space	ENTITY	maths_space
make_atom_based_literal	FUNCTION	generic_expression
make_atom_based_literal	FUNCTION	generic_literal
make_atom_based_literal	FUNCTION	simple_generic_expression
make_binary_literal	FUNCTION	generic_expression
make_binary_literal	FUNCTION	generic_literal
make_binary_literal	FUNCTION	simple_generic_expression
make_boolean_literal	FUNCTION	generic_expression
make_boolean_literal	FUNCTION	generic_literal
make_boolean_literal	FUNCTION	simple_generic_expression
make_cartesian_complex_number_region	FUNCTION	maths_space
make_cartesian_complex_number_region	FUNCTION	generic_expression
make_cartesian_complex_number_region	FUNCTION	generic_literal
make_cartesian_complex_number_region	FUNCTION	simple_generic_expression
make_complex_number_literal	FUNCTION	generic_expression
make_complex_number_literal	FUNCTION	generic_literal
make_complex_number_literal	FUNCTION	simple_generic_expression
make_elementary_function	FUNCTION	generic_expression
make_elementary_function	FUNCTION	generic_literal
make_elementary_function	FUNCTION	simple_generic_expression
make_elementary_space	FUNCTION	maths_space
make_elementary_space	FUNCTION	generic_expression
make_elementary_space	FUNCTION	generic_literal
make_elementary_space	FUNCTION	simple_generic_expression
make_extended_tuple_space	FUNCTION	maths_space
make_extended_tuple_space	FUNCTION	generic_expression
make_extended_tuple_space	FUNCTION	generic_literal
make_extended_tuple_space	FUNCTION	simple_generic_expression
make_finite_integer_interval	FUNCTION	maths_space
make_finite_integer_interval	FUNCTION	generic_expression
make_finite_integer_interval	FUNCTION	generic_literal
make_finite_integer_interval	FUNCTION	simple_generic_expression
make_finite_real_interval	FUNCTION	maths_space
make_finite_real_interval	FUNCTION	generic_expression
make_finite_real_interval	FUNCTION	generic_literal
make_finite_real_interval	FUNCTION	simple_generic_expression
make_finite_space	FUNCTION	maths_space
make_finite_space	FUNCTION	generic_expression
make_finite_space	FUNCTION	generic_literal
make_finite_space	FUNCTION	simple_generic_expression
make_function_application	FUNCTION	generic_expression
make_function_space	FUNCTION	maths_space
make_function_space	FUNCTION	generic_expression
make_function_space	FUNCTION	generic_literal
make_function_space	FUNCTION	simple_generic_expression
make_int_literal	FUNCTION	generic_expression
make_int_literal	FUNCTION	generic_literal
make_int_literal	FUNCTION	simple_generic_expression
make_listed_product_space	FUNCTION	maths_space
make_listed_product_space	FUNCTION	generic_expression
make_listed_product_space	FUNCTION	generic_literal
make_listed_product_space	FUNCTION	simple_generic_expression
make_logical_literal	FUNCTION	generic_expression
make_logical_literal	FUNCTION	generic_literal
make_logical_literal	FUNCTION	simple_generic_expression
make_maths_enum_literal	FUNCTION	generic_expression
make_maths_enum_literal	FUNCTION	generic_literal
make_maths_enum_literal	FUNCTION	simple_generic_expression
make_maths_tuple_literal	FUNCTION	generic_expression
make_maths_tuple_literal	FUNCTION	generic_literal
make_maths_tuple_literal	FUNCTION	simple_generic_expression
make_parallel_composed_function	FUNCTION	generic_expression
make_polar_complex_number_region	FUNCTION	polar_complex_number_region
make_polar_complex_number_region	FUNCTION	maths_space
make_polar_complex_number_region	FUNCTION	generic_expression
make_polar_complex_number_region	FUNCTION	generic_literal
make_polar_complex_number_region	FUNCTION	simple_generic_expression
make_real_interval_from_min	FUNCTION	maths_space
make_real_interval_from_min	FUNCTION	generic_expression
make_real_interval_from_min	FUNCTION	generic_literal
make_real_interval_from_min	FUNCTION	simple_generic_expression
make_real_interval_to_max	FUNCTION	maths_space
make_real_interval_to_max	FUNCTION	generic_expression
make_real_interval_to_max	FUNCTION	generic_literal
make_real_interval_to_max	FUNCTION	simple_generic_expression
make_real_literal	FUNCTION	generic_expression
make_real_literal	FUNCTION	generic_literal
make_real_literal	FUNCTION	simple_generic_expression
make_string_literal	FUNCTION	generic_expression
make_string_literal	FUNCTION	generic_literal
make_string_literal	FUNCTION	simple_generic_expression
make_uniform_product_space	FUNCTION	maths_space
make_uniform_product_space	FUNCTION	generic_expression
make_uniform_product_space	FUNCTION	generic_literal
make_uniform_product_space	FUNCTION	simple_generic_expression
maths_expression	SELECT	generic_expression
maths_space	ENTITY	polar_complex_number_region
maths_space_or_function	SELECT	maths_space
maths_value	SELECT	generic_expression
maths_variable	ENTITY	maths_space
max_exists	FUNCTION	maths_space
max_included	FUNCTION	maths_space
member_of	FUNCTION	polar_complex_number_region
member_of	FUNCTION	maths_space
min_exists	FUNCTION	maths_space
min_included	FUNCTION	maths_space
multiple_arity_generic_expression	ENTITY	generic_expression
no_cyclic_space_reference	FUNCTION	maths_space
number_superspace_of	FUNCTION	maths_space
number_tuple_subspace_check	FUNCTION	maths_space
one_tuples_of	FUNCTION	maths_space
parallel_composed_function	ENTITY	generic_expression
partial_derivative_check	FUNCTION	maths_space
partial_derivative_expression	ENTITY	generic_expression
real_max	FUNCTION	maths_space
real_min	FUNCTION	maths_space
restriction_function	ENTITY	maths_space
shape_of_array	FUNCTION	maths_space
simple_generic_expression	ENTITY	generic_literal
simplify_function_application	FUNCTION	generic_expression
simplify_generic_expression	FUNCTION	generic_expression
simplify_generic_expression	FUNCTION	generic_literal
simplify_maths_space	FUNCTION	maths_space
singleton_member_of	FUNCTION	maths_space
space_is_continuum	FUNCTION	maths_space
space_is_singleton	FUNCTION	maths_space
subspace_of	FUNCTION	polar_complex_number_region
subspace_of	FUNCTION	maths_space
subspace_of_es	FUNCTION	maths_space
substitute	FUNCTION	generic_expression
substring_expression	ENTITY	generic_expression
unary_generic_expression	ENTITY	generic_expression
uniform_product_space	ENTITY	maths_space
used_variables	FUNCTION	generic_expression
validate_dependently_instantiable_entity_data_types	RULE	generic_expression
validate_dependently_instantiable_entity_data_types	RULE	simple_generic_expression
values_space_of	FUNCTION	maths_space
values_space_of	FUNCTION	generic_expression

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2024-09-06T14:00:33-04:00