Return to drivers_for_mixed_contributions.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Stalift/drivers_for_mixed_contributions.adb, Revision 1.1

1.1     ! maekawa     1: with integer_io;                         use integer_io;
        !             2: with Timing_Package;                     use Timing_Package;
        !             3: with Lists_of_Integer_Vectors;           use Lists_of_Integer_Vectors;
        !             4: with Contributions_to_Mixed_Volume;      use Contributions_to_Mixed_Volume;
        !             5:
        !             6: package body Drivers_for_Mixed_Contributions is
        !             7:
        !             8:   procedure Count_Zero_Contributions
        !             9:               ( file : in file_type; l,nl : in Array_of_Lists;
        !            10:                 nred : out natural ) is
        !            11:
        !            12:   -- DESCRIPTION :
        !            13:   --   Counts the number of zero contributions per component and reports
        !            14:   --   the cardinalities on file.
        !            15:
        !            16:     res,inc : natural := 0;
        !            17:
        !            18:   begin
        !            19:     new_line(file);
        !            20:     put_line(file,"#Eliminated points per component : ");
        !            21:     for i in l'range loop
        !            22:       inc := Length_Of(l(i)) - Length_Of(nl(i));
        !            23:       put(file,"  "); put(file,inc,1);
        !            24:       res := res + inc;
        !            25:     end loop;
        !            26:     new_line(file);
        !            27:     nred := res;
        !            28:   end Count_Zero_Contributions;
        !            29:
        !            30: -- TARGET ROUTINES :
        !            31:
        !            32:   procedure Once_Simple_Sweep
        !            33:               ( file : in file_type; l : in out Array_of_Lists;
        !            34:                 nred : out natural ) is
        !            35:
        !            36:     nl : Array_of_Lists(l'range);
        !            37:     timer : Timing_Widget;
        !            38:
        !            39:   begin
        !            40:     tstart(timer);
        !            41:     nl := Simple_Sweep(l);
        !            42:     tstop(timer);
        !            43:     Count_Zero_Contributions(file,l,nl,nred);
        !            44:     new_line(file);
        !            45:     print_times(file,timer,"one simple sweep");
        !            46:     new_line(file);
        !            47:     Copy(nl,l); Deep_Clear(nl);
        !            48:   end Once_Simple_Sweep;
        !            49:
        !            50:   procedure Once_Exhaustive_Sweep
        !            51:               ( file : in file_type; l : in out Array_of_Lists;
        !            52:                 nred : out natural ) is
        !            53:
        !            54:     nl : Array_of_Lists(l'range);
        !            55:     timer : Timing_Widget;
        !            56:
        !            57:   begin
        !            58:     tstart(timer);
        !            59:     nl := Exhaustive_Sweep(l);
        !            60:     tstop(timer);
        !            61:     Count_Zero_Contributions(file,l,nl,nred);
        !            62:     new_line(file);
        !            63:     print_times(file,timer,"exhaustive sweep");
        !            64:     new_line(file);
        !            65:     Copy(nl,l); Deep_Clear(nl);
        !            66:   end Once_Exhaustive_Sweep;
        !            67:
        !            68:   procedure Full_Simple_Sweep
        !            69:               ( file : in file_type; l : in out Array_of_Lists;
        !            70:                 nred : out natural ) is
        !            71:
        !            72:     totnred,wrknred : natural;
        !            73:     timer : Timing_Widget;
        !            74:
        !            75:   begin
        !            76:     totnred := 0;
        !            77:     tstart(timer);
        !            78:     loop
        !            79:       Once_Simple_Sweep(file,l,wrknred);
        !            80:       exit when (wrknred = 0);
        !            81:       totnred := totnred + wrknred;
        !            82:     end loop;
        !            83:     tstop(timer);
        !            84:     new_line(file);
        !            85:     print_times(file,timer,"full simple sweep");
        !            86:     new_line(file);
        !            87:     nred := totnred;
        !            88:   end Full_Simple_Sweep;
        !            89:
        !            90:   procedure Full_Exhaustive_Sweep
        !            91:               ( file : in file_type; l : in out Array_of_Lists;
        !            92:                 nred : out natural ) is
        !            93:
        !            94:     totnred,wrknred : natural;
        !            95:     timer : Timing_Widget;
        !            96:
        !            97:   begin
        !            98:     totnred := 0;
        !            99:     tstart(timer);
        !           100:     loop
        !           101:       Once_Exhaustive_Sweep(file,l,wrknred);
        !           102:       exit when (wrknred = 0);
        !           103:       totnred := totnred + wrknred;
        !           104:     end loop;
        !           105:     tstop(timer);
        !           106:     new_line(file);
        !           107:     print_times(file,timer,"full exhaustive sweep");
        !           108:     new_line(file);
        !           109:     nred := totnred;
        !           110:   end Full_Exhaustive_Sweep;
        !           111:
        !           112: end Drivers_for_Mixed_Contributions;