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     ! 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;