Uses of Class
net.sf.javabdd.BDD.BDDIterator

Uses of BDD.BDDIterator in net.sf.javabdd

Methods in net.sf.javabdd that return BDD.BDDIterator

BDD.BDDIterator	TypedBDDFactory.TypedBDD.iterator()
BDD.BDDIterator	TypedBDDFactory.TypedBDD.iterator(BDDVarSet var)
BDD.BDDIterator	BDD.iterator(BDDVarSet var) Returns an iteration of the satisfying assignments of this BDD.