|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |