|
FUNCTION derive_finite_function_domain (pairs : SET [1:?] OF LIST [2:2] OF maths_value) : tuple_space; LOCAL result : SET OF maths_value := [ ] ; END_LOCAL ; result := result + list_selected_components ( pairs , 1 ) ; RETURN ( one_tuples_of ( make_finite_space ( result ) ) ) ; END_FUNCTION; -- derive_finite_function_domain |
|
public class FDerive_finite_function_domain public static Value run(SdaiContext _context, Value pairs) |