TYPE real_interval

(* SCHEMA Ap242_managed_model_based_3d_engineering_mim_LF; *)
TYPE real_interval = SELECT
  (real_interval_from_min,
   real_interval_to_max,
   finite_real_interval,
   elementary_space);
WHERE
  WR1: NOT ('ELEMENTARY_SPACE' IN stripped_typeof(SELF)) OR
    (SELF\elementary_space.space_id = es_reals);
END_TYPE;

Referenced By

Defintion real_interval is references by the following definitions:
DefinitionType
 cartesian_complex_number_region ENTITY
 enclose_cregion_in_pregion FUNCTION
 enclose_pregion_in_cregion FUNCTION
 enclose_pregion_in_pregion FUNCTION
 equal_cregion_pregion FUNCTION
 make_cartesian_complex_number_region FUNCTION
 make_polar_complex_number_region FUNCTION
 polar_complex_number_region ENTITY


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:20:05-04:00