Return to generate_unions.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Product

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/generate_unions.adb, Revision 1.1

1.1     ! maekawa     1: procedure Generate_Unions ( k,first,last : in integer ) is
        !             2:
        !             3:   acc : boolean_array(first..last) := (first..last => false);
        !             4:   cont : boolean := true;
        !             5:
        !             6:   procedure Generate ( k,start,last : in integer;
        !             7:                        acc : in out boolean_array ) is
        !             8:   begin
        !             9:     if k = 0
        !            10:      then process(acc,cont);
        !            11:      elsif k > last - start + 1
        !            12:          then return;
        !            13:          else for i in start..last loop
        !            14:                 acc(i) := true;
        !            15:                 generate(k-1,i+1,last,acc);
        !            16:                 exit when not cont;
        !            17:                 acc(i) := false;
        !            18:               end loop;
        !            19:     end if;
        !            20:   end Generate;
        !            21:
        !            22: begin
        !            23:   Generate(k,first,last,acc);
        !            24: end Generate_Unions;