Return to increment_power_continuation.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Continuation

Annotation of OpenXM_contrib/PHC/Ada/Continuation/increment_power_continuation.adb, Revision 1.1.1.1

1.1       maekawa     1: with Standard_Floating_Numbers_io;       use Standard_Floating_Numbers_io;
                      2: with Continuation_Parameters;
                      3: with Continuation_Data;                  use Continuation_Data;
                      4: with Power_Path_Trackers;                use Power_Path_Trackers;
                      5:
                      6: package body Increment_Power_Continuation is
                      7:
                      8:   procedure Silent_Power_Continue
                      9:                ( sols : in out Solution_List;
                     10:                  powers : in Standard_Floating_Vectors.Vector ) is
                     11:   begin
                     12:     null;
                     13:   end Silent_Power_Continue;
                     14:
                     15:   procedure Reporting_Power_Continue
                     16:                ( file : in file_type; sols : in out Solution_List;
                     17:                  powers : in Standard_Floating_Vectors.Vector ) is
                     18:
                     19:     sia : Solu_Info_Array(1..Length_Of(sols)) := Deep_Create(sols);
                     20:     ppa : Pred_Pars := Continuation_Parameters.Create_for_Path;
                     21:     cpa : Corr_Pars := Continuation_Parameters.Create_for_Path;
                     22:     cen : Corr_Pars := Continuation_Parameters.Create_End_Game;
                     23:     cnt : natural := 0;
                     24:
                     25:     procedure Cont is new Power_Reporting_Path_Tracker(Norm,H,dH);
                     26:
                     27:   begin
                     28:     put_line(file,"The vector of sorted powers : ");
                     29:     for i in powers'range loop
                     30:       cnt := cnt + 1;
                     31:       put(file,powers(i),2,3,3);
                     32:       if cnt > 5
                     33:        then cnt := 0;
                     34:             new_line(file);
                     35:       end if;
                     36:     end loop;
                     37:     new_line(file);
                     38:     for i in sia'range loop
                     39:       Cont(file,sia(i),ppa,cpa,cen,powers);
                     40:     end loop;
                     41:     Deep_Clear(sols);
                     42:     sols := Shallow_Create(sia);
                     43:   end Reporting_Power_Continue;
                     44:
                     45: end Increment_Power_Continuation;