TYPE real_interval

(* SCHEMA step_merged_ap_schema; *)
-- IN AP242
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
2017-01-19T11:17:22-05:00