Return to pruning_statistics.ads CVS log

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

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

1.1       maekawa     1: with text_io;                            use text_io;
                      2: with Standard_Floating_Vectors;
                      3:
                      4: procedure Pruning_Statistics
                      5:               ( file : in file_type;
                      6:                 nbsucc,nbfail : in Standard_Floating_Vectors.Vector );
                      7:
                      8: -- DESCRIPTION :
                      9: --   Writes statistics on the number of face-face combinations.
                     10: --   These statistics give the user an idea of the pruning tree.
                     11:
                     12: -- ON ENTRY :
                     13: --   file       file must be opened for output;
                     14: --   nbsucc     number of successul pruning combinations per level;
                     15: --   nbfail     number of failing pruning combinations per level.