FUNCTION make_real_interval_to_max

(* SCHEMA FUNCTIONAL_DATA_AND_SCHEMATIC_REPRESENTATION_MIM_LF; *)
 
FUNCTION make_real_interval_to_max(max : REAL; maxclo : open_closed) : 
  real_interval_to_max;
  RETURN (real_interval_to_max(max, maxclo)||maths_space()||generic_expression(
  )||generic_literal()||simple_generic_expression());
END_FUNCTION;

Referenced By

Defintion make_real_interval_to_max is references by the following definitions:
DefinitionType
 enclose_pregion_in_cregion FUNCTION


[Top Level Definitions] [Exit]

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