Uses of Interface
org.sat4j.specs.IteratorInt

Packages that use IteratorInt

Package	Description
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

Modifier and Type	Method and Description
IteratorInt	ReadOnlyVecInt.iterator()
IteratorInt	VecInt.iterator()

Uses of IteratorInt in org.sat4j.specs

Methods in org.sat4j.specs that return IteratorInt

Modifier and Type	Method and Description
IteratorInt	IVecInt.iterator()