Return to pruning_statistics.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Stalift |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Stalift / pruning_statistics.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:31 2000 UTC (23 years, 11 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with text_io; use text_io; with Standard_Floating_Vectors; procedure Pruning_Statistics ( file : in file_type; nbsucc,nbfail : in Standard_Floating_Vectors.Vector ); -- DESCRIPTION : -- Writes statistics on the number of face-face combinations. -- These statistics give the user an idea of the pruning tree. -- ON ENTRY : -- file file must be opened for output; -- nbsucc number of successul pruning combinations per level; -- nbfail number of failing pruning combinations per level.