(* SCHEMA Ap242_managed_model_based_3d_engineering_mim_LF; *)
FUNCTION derive_finite_function_domain(pairs : SET [1:?] OF LIST [2:2] OF maths_value)
result : SET OF maths_value := ;
-- An ambiguity in ISO 10303-11:1994 pages 99-101 leaves the result of the following
-- three lines ambiguous in those cases where an operand is simultaneously a member
-- of the base type and the aggregate type.
-- REPEAT i := 1 TO SIZEOF (pairs);
-- result := result + pairs[i];
-- The next line unions an empty set and the desired list to get the desired set.
result := result + list_selected_components (pairs, 1);
RETURN (one_tuples_of (make_finite_space (result)));
END_FUNCTION; -- derive_finite_function_domain
Referenced ByDefintion derive_finite_function_domain is references by the following definitions:
[Top Level Definitions] [Exit]
Generated by STEP Tools® EXPRESS to HTML Converter