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