Return to generate_unions.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Product |
1.1 maekawa 1: generic 2: 3: type boolean_array is array ( integer range <> ) of boolean; 4: with procedure Process ( ar : in boolean_array; continue : out boolean ); 5: 6: procedure Generate_Unions ( k,first,last : in integer ); 7: 8: -- DESCRIPTION : 9: -- This procedure generates all possible unions of k elements in the 10: -- range first..last.