Uses of Class
com.github.javabdd.BDD.BDDIterator

Uses of BDD.BDDIterator in com.github.javabdd

Methods in com.github.javabdd that return BDD.BDDIterator

Modifier and Type	Method	Description
BDD.BDDIterator	BDD.iterator(BDDVarSet var)	Returns an iteration of the satisfying assignments of this BDD.