Uses of Interface
kodkod.util.ints.IndexedEntry

Packages that use IndexedEntry
kodkod.engine.bool Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers. 
kodkod.util.ints Provides implementations of ordered collections for storing integer primitives. 
 

Uses of IndexedEntry in kodkod.engine.bool
 

Methods in kodkod.engine.bool that return types with arguments of type IndexedEntry
 java.util.Iterator<IndexedEntry<BooleanValue>> BooleanMatrix.iterator()
          Returns an IndexedEntry-based view of the non-FALSE entries in this matrix.
 

Uses of IndexedEntry in kodkod.util.ints
 

Methods in kodkod.util.ints that return IndexedEntry
 IndexedEntry<V> TreeSequence.ceil(int index)
          Returns the entry whose index is the ceiling of the given index in this sequence.
 IndexedEntry<V> SparseSequence.ceil(int index)
          If an entry for the given index exists, it is returned.
 IndexedEntry<V> RangeSequence.ceil(int index)
          Returns the entry whose index is the ceiling of the given index in this sequence.
 IndexedEntry<V> HomogenousSequence.ceil(int index)
          If an entry for the given index exists, it is returned.
 IndexedEntry<V> ArraySequence.ceil(int index)
          If an entry for the given index exists, it is returned.
 IndexedEntry<V> AbstractSparseSequence.ceil(int index)
          Returns the entry whose index is the ceiling of the given index in this sequence.
 IndexedEntry<V> TreeSequence.first()
          Returns the first element in this sequence, if any.
 IndexedEntry<V> SparseSequence.first()
          Returns the entry with the smallest index.
 IndexedEntry<V> RangeSequence.first()
          Returns the first element in this sequence, if any.
 IndexedEntry<V> HomogenousSequence.first()
          Returns the entry with the smallest index.
 IndexedEntry<V> ArraySequence.first()
          Returns the entry with the smallest index.
 IndexedEntry<V> AbstractSparseSequence.first()
          Returns the first element in this sequence, if any.
 IndexedEntry<V> TreeSequence.floor(int index)
          Returns the entry whose index is the floor of the given index in this sequence.
 IndexedEntry<V> SparseSequence.floor(int index)
          If an entry for the given index exists, it is returned.
 IndexedEntry<V> RangeSequence.floor(int index)
          Returns the entry whose index is the floor of the given index in this sequence.
 IndexedEntry<V> HomogenousSequence.floor(int index)
          If an entry for the given index exists, it is returned.
 IndexedEntry<V> ArraySequence.floor(int index)
          If an entry for the given index exists, it is returned.
 IndexedEntry<V> AbstractSparseSequence.floor(int index)
          Returns the entry whose index is the floor of the given index in this sequence.
 IndexedEntry<V> TreeSequence.last()
          Returns the last element in this sequence, if any.
 IndexedEntry<V> SparseSequence.last()
          Returns the entry with the largest index.
 IndexedEntry<V> RangeSequence.last()
          Returns the last element in this sequence, if any.
 IndexedEntry<V> HomogenousSequence.last()
          Returns the entry with the largest index.
 IndexedEntry<V> ArraySequence.last()
          Returns the entry with the largest index.
 IndexedEntry<V> AbstractSparseSequence.last()
          Returns the last element in this sequence, if any.
 

Methods in kodkod.util.ints that return types with arguments of type IndexedEntry
 java.util.Iterator<IndexedEntry<V>> SparseSequence.iterator()
          Returns an iterator over the entries in this sequence in the ascending order of indeces, starting at this.first().
 java.util.Iterator<IndexedEntry<V>> AbstractSparseSequence.iterator()
          Returns an iterator over the entries in this sequence in the ascending order of indeces, starting at this.first().
 java.util.Iterator<IndexedEntry<V>> TreeSequence.iterator(int from, int to)
          Returns an iterator over the entries in this sequence, whose indeces are between from and to.
 java.util.Iterator<IndexedEntry<V>> SparseSequence.iterator(int from, int to)
          Returns an iterator over the entries in this sequence, whose indeces are between from and to.
 java.util.Iterator<IndexedEntry<V>> RangeSequence.iterator(int from, int to)
          Returns an iterator over the entries in this sequence, whose indeces are between from and to.
 java.util.Iterator<IndexedEntry<V>> HomogenousSequence.iterator(int from, int to)
          Returns an iterator over the entries in this sequence, whose indeces are between from and to.
 java.util.Iterator<IndexedEntry<V>> ArraySequence.iterator(int from, int to)
          Returns an iterator over the entries in this sequence, whose indeces are between from and to.