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