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
BDD bdd_high ( BDD  r  ) 

Gets the true branch of a bdd.

Gets the true branch of the bdd r.

Returns:
The bdd of the true branch.
See also:
bdd_low

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