(* SCHEMA FUNCTIONAL_DATA_AND_SCHEMATIC_REPRESENTATION_MIM_LF; *)
FUNCTION make_finite_space(members : SET OF maths_value) : finite_space; RETURN (finite_space(members)||maths_space()||generic_expression()|| generic_literal()||simple_generic_expression()); END_FUNCTION;
|
Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:17:33-04:00