(* SCHEMA mathematical_functions_schema; *)
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; -- make_finite_space
|
Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:13:59-04:00