[BACK]Return to pruning_statistics.ads 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.ads (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 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.