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:
[Top Level Definitions] [Exit]Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:17:33-04:00