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

Gets the false branch of a bdd.

Gets the false branch of the bdd r.

Returns:
The bdd of the false branch.
See also:
bdd_high

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