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 intended for users dealing with SAT solvers as black boxes.

Uses of IteratorInt in org.sat4j.core

Methods in org.sat4j.core that return IteratorInt

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

Uses of IteratorInt in org.sat4j.specs

Methods in org.sat4j.specs that return IteratorInt

IteratorInt

IVecInt.iterator()