Uses of Interface
org.sat4j.specs.IteratorInt

Packages that use IteratorInt

org.sat4j.core	Implementation of the data structures available in org.sat4j.specs.
org.sat4j.specs	Those classes are intented for users dealing with SAT solvers as blackboxes.

Uses of IteratorInt in org.sat4j.core

Methods in org.sat4j.core that return IteratorInt

IteratorInt	ReadOnlyVecInt.iterator()
IteratorInt	VecInt.iterator()

Uses of IteratorInt in org.sat4j.specs

Methods in org.sat4j.specs that return IteratorInt

IteratorInt

IVecInt.iterator()