Main Page
Modules
Data Structures
Files
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
int bdd_var
(
BDD
r
)
Gets the variable labeling the bdd.
Gets the variable labeling the bdd
r
.
Returns:
The variable number.
Generated on Mon Jul 23 13:25:13 2007 for BuDDy by
1.5.1
1.5.1