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 and Description
BDD.BDDIterator	TypedBDDFactory.TypedBDD.iterator()
BDD.BDDIterator	BDD.iterator(BDDVarSet var) Returns an iteration of the satisfying assignments of this BDD.
BDD.BDDIterator	TypedBDDFactory.TypedBDD.iterator(BDDVarSet var)