ENTITY finite_integer_interval

(* SCHEMA step_merged_ap_schema; *)

-- IN AP238 STEP-NC/AP242
ENTITY finite_integer_interval
   SUBTYPE OF (maths_space, generic_literal);
      min : INTEGER;
      max : INTEGER;
   DERIVE
      size : positive_integer := max - min + 1;
   WHERE
      WR1:
         min <= max;
END_ENTITY;

Explicit Attributes

Entity finite_integer_interval has the following local and inherited explicit attributes:
AttributeTypeDefined By
 minINTEGERfinite_integer_interval
 maxINTEGERfinite_integer_interval

Derived Attributes

Entity finite_integer_interval has the following local and inherited derived attributes:
AttributeTypeDefined By
 sizepositive_integer (INTEGER)finite_integer_interval

Inverse Attributes

    No Inverse Attributes

Supertypes

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

Subtypes

    No subtypes

Referenced By

Entity finite_integer_interval and its supertypes are referenced by the following definitions:
DefinitionTypeReferenced 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 finite_integer_interval
 check_sparse_index_domain FUNCTION maths_space
 check_sparse_index_to_loc FUNCTION finite_integer_interval
 check_sparse_index_to_loc FUNCTION maths_space
 check_sparse_loc_range FUNCTION finite_integer_interval
 check_sparse_loc_range FUNCTION maths_space
 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
 derive_function_domain FUNCTION finite_integer_interval
 derive_function_range FUNCTION finite_integer_interval
 drop_numeric_constraints FUNCTION maths_space
 equal_maths_spaces FUNCTION finite_integer_interval
 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 finite_integer_interval
 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 finite_integer_interval
 function_is_1d_table FUNCTION maths_space
 function_is_2d_table FUNCTION finite_integer_interval
 function_is_2d_table FUNCTION maths_space
 function_is_array FUNCTION maths_space
 function_is_table FUNCTION finite_integer_interval
 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 finite_integer_interval
 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 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 finite_integer_interval
 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 finite_integer_interval
 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 finite_integer_interval
 real_max FUNCTION maths_space
 real_min FUNCTION finite_integer_interval
 real_min FUNCTION maths_space
 restriction_function ENTITY maths_space
 shape_of_array FUNCTION finite_integer_interval
 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 finite_integer_interval
 singleton_member_of FUNCTION maths_space
 space_is_continuum FUNCTION maths_space
 space_is_singleton FUNCTION finite_integer_interval
 space_is_singleton FUNCTION maths_space
 subspace_of FUNCTION finite_integer_interval
 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:31-04:00