bdd_varblockall

void bdd_varblockall ( void   )  Add a variable block for all variables. Adds a variable block for all BDD variables declared so far. Each block contains one variable only. More variable blocks can be added later with the use of bdd_addvarblock -- in this case the tree of variable blocks will have the blocks of single variables as the leafs. See also: bdd_addvarblock, bdd_intaddvarblock

---