[BACK]Return to pruning_statistics.adb CVS log [TXT][DIR] Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Stalift
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Stalift / pruning_statistics.adb (download)

Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:31 2000 UTC (23 years, 7 months ago) by maekawa
Branch: PHC, MAIN
CVS Tags: v2, maekawa-ipv6, RELEASE_1_2_3, RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX, RELEASE_1_2_2, RELEASE_1_2_1, HEAD
Changes since 1.1: +0 -0 lines 

Import the second public release of PHCpack.

OKed by Jan Verschelde.

with Standard_Floating_Numbers;          use Standard_Floating_Numbers;
with Standard_Floating_Numbers_io;       use Standard_Floating_Numbers_io;

procedure Pruning_Statistics
              ( file : in file_type;
                nbsucc,nbfail : in Standard_Floating_Vectors.Vector ) is

  totsucc,totfail : double_float := 0.0;

begin
  new_line(file);
  put_line(file,"STATISTICS OF #FACE-FACE COMBINATIONS :");
  new_line(file);
  put_line(file,"           #Success      #Fail       Ratio ");
  new_line(file);
  for i in nbsucc'range loop
    put(file,"          ");
    put(file,nbsucc(i),2,3,3); put(file,"   ");
    put(file,nbfail(i),2,3,3); put(file,"   ");
    if nbsucc(i) + 1.0 /= 1.0
     then put(file,nbfail(i)/nbsucc(i),2,3,3);
     else put(file,"1/0");
    end if;
    new_line(file);
    totsucc := totsucc + nbsucc(i);
    totfail := totfail + nbfail(i);
  end loop;
  put_line(file," ----------------------------------------------");
  put(file,"  Total : "); 
    put(file,totsucc,2,3,3); put(file," + ");
    put(file,totfail,2,3,3); put(file," = ");
    put(file,totsucc+totfail,2,3,3); new_line(file);
  new_line(file);
  put_line(file,"  Success = successful face-face combinations");
  put_line(file,"  Fail    = unsuccessful face-face combinations");
  put_line(file,"  Ratio   = #Fail / #Success");
  put_line(file,"  Total   = total number of Linear-Programming problems");
end Pruning_Statistics;