Uses of Interface
kodkod.util.ints.IntIterator

Packages that use IntIterator
kodkod.engine.satlab Provides access to various Java and C++ SAT solvers through a common SAT Solver interface. 
kodkod.util.ints Provides implementations of ordered collections for storing integer primitives. 
 

Uses of IntIterator in kodkod.engine.satlab
 

Methods in kodkod.engine.satlab that return IntIterator
abstract  IntIterator Clause.literals()
          Returns an iterator over the literals in this clause, in the ascending order of absolute values.
 

Uses of IntIterator in kodkod.util.ints
 

Methods in kodkod.util.ints that return IntIterator
 IntIterator IntVector.iterator()
          Returns an iterator over the elements in this vector in proper sequence.
 IntIterator IntSet.iterator()
          Returns an iterator over the integers in this set, in the ascending element order.
 IntIterator IntCollection.iterator()
          Returns an iterator over the elements in this collection.
 IntIterator IntBitSet.iterator()
          Returns an ascending iterator over all elements in this set.
 IntIterator AbstractIntVector.iterator()
          Calls this.iterator(0, length())
 IntIterator AbstractIntSet.iterator()
          Returns an ascending iterator over all elements in this set.
 IntIterator IntVector.iterator(int fromIndex, int toIndex)
          Returns an iterator over the elements in this vector in proper sequence, starting fromIndex<\tt>, inclusive, and ending at toIndex<\tt>, exclusive.
 IntIterator IntTreeSet.iterator(int from, int to)
          Returns an iterator over the elements of this set that are in the closed range [from..to].
 IntIterator IntSet.iterator(int from, int to)
          Returns an iterator over the elements of this set that are in the closed range [from..to].
 IntIterator IntBitSet.iterator(int from, int to)
          Returns an iterator over the elements of this set that are in the closed range [from..to].
 IntIterator ArrayIntSet.iterator(int from, int to)
          Returns an iterator over the elements of this set that are in the closed range [from..to].
 IntIterator AbstractIntVector.iterator(int fromIndex, int toIndex)
          Returns an iterator over the elements in this vector in proper sequence, starting fromIndex<\tt>, inclusive, and ending at toIndex<\tt>, exclusive.