Return to pruning_statistics.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Stalift/pruning_statistics.adb, Revision 1.1.1.1

1.1       maekawa     1: with Standard_Floating_Numbers;          use Standard_Floating_Numbers;
                      2: with Standard_Floating_Numbers_io;       use Standard_Floating_Numbers_io;
                      3:
                      4: procedure Pruning_Statistics
                      5:               ( file : in file_type;
                      6:                 nbsucc,nbfail : in Standard_Floating_Vectors.Vector ) is
                      7:
                      8:   totsucc,totfail : double_float := 0.0;
                      9:
                     10: begin
                     11:   new_line(file);
                     12:   put_line(file,"STATISTICS OF #FACE-FACE COMBINATIONS :");
                     13:   new_line(file);
                     14:   put_line(file,"           #Success      #Fail       Ratio ");
                     15:   new_line(file);
                     16:   for i in nbsucc'range loop
                     17:     put(file,"          ");
                     18:     put(file,nbsucc(i),2,3,3); put(file,"   ");
                     19:     put(file,nbfail(i),2,3,3); put(file,"   ");
                     20:     if nbsucc(i) + 1.0 /= 1.0
                     21:      then put(file,nbfail(i)/nbsucc(i),2,3,3);
                     22:      else put(file,"1/0");
                     23:     end if;
                     24:     new_line(file);
                     25:     totsucc := totsucc + nbsucc(i);
                     26:     totfail := totfail + nbfail(i);
                     27:   end loop;
                     28:   put_line(file," ----------------------------------------------");
                     29:   put(file,"  Total : ");
                     30:     put(file,totsucc,2,3,3); put(file," + ");
                     31:     put(file,totfail,2,3,3); put(file," = ");
                     32:     put(file,totsucc+totfail,2,3,3); new_line(file);
                     33:   new_line(file);
                     34:   put_line(file,"  Success = successful face-face combinations");
                     35:   put_line(file,"  Fail    = unsuccessful face-face combinations");
                     36:   put_line(file,"  Ratio   = #Fail / #Success");
                     37:   put_line(file,"  Total   = total number of Linear-Programming problems");
                     38: end Pruning_Statistics;