Information on BDDs
bdd_anodecount
bdd_high
bdd_low
bdd_nodecount
bdd_pathcount
bdd_satcount
bdd_satcountln
bdd_satcountlnset
bdd_satcountset
bdd_support
bdd_var
bdd_varprofile
double bdd_pathcount ( BDD  r  ) 

Count the number of paths leading to the true terminal.

Counts the number of paths from the root node r leading to the terminal true node.

Returns:
The number of paths.
See also:
bdd_nodecount, bdd_satcount

Generated on Mon Jul 23 13:25:13 2007 for BuDDy by  doxygen 1.5.1