
  print_bdd_stats - Prints the BDD statistics and parameters
     _________________________________________________________________
   
   print_bdd_stats [-h]
   
   Prints the statistics for the BDD package. The amount of information
   depends on the BDD package configuration established at compilation
   time. The configurtion parameters are printed out too. More
   information about statistic and parameters can be found in the
   documentation of the CUDD Decision Diagram package.
     _________________________________________________________________
   
   Last updated on 990119 20h08
