|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SparseSequence | |
---|---|
kodkod.instance | Contains classes for creating tuples, sets of tuples, bounds, and instances drawn from a finite universe of uninterpreted atoms. |
kodkod.util.ints | Provides implementations of ordered collections for storing integer primitives. |
Uses of SparseSequence in kodkod.instance |
---|
Methods in kodkod.instance that return SparseSequence | |
---|---|
SparseSequence<TupleSet> |
Bounds.intBounds()
Returns a sparse sequence view of this.intBound. |
SparseSequence<TupleSet> |
Instance.intTuples()
Returns a sparse sequence view of int<:this.tuples. |
Uses of SparseSequence in kodkod.util.ints |
---|
Classes in kodkod.util.ints that implement SparseSequence | |
---|---|
class |
AbstractSparseSequence<V>
A skeletal implementation of the SparseSequence interface. |
class |
ArraySequence<V>
An implementation of a sparse sequence based on an array. |
class |
HomogenousSequence<V>
A sparse sequence implementation based on an IntSet . |
class |
RangeSequence<V>
A tree-based sparse sequence implementation. |
class |
TreeSequence<V>
An implementation of a sparse sequence based on a balanced binary search tree. |
Methods in kodkod.util.ints that return SparseSequence | ||
---|---|---|
SparseSequence<V> |
SparseSequence.clone()
Returns a copy of this sparse sequence. |
|
SparseSequence<V> |
AbstractSparseSequence.clone()
Returns the result of calling super.clone(). |
|
static
|
Ints.unmodifiableSequence(SparseSequence<V> s)
Returns an unmodifiable view of the specified sparse sequence. |
Methods in kodkod.util.ints with parameters of type SparseSequence | ||
---|---|---|
void |
SparseSequence.putAll(SparseSequence<? extends V> s)
Copies all of the entries from the specified sparse sequence to this sequence. |
|
void |
AbstractSparseSequence.putAll(SparseSequence<? extends V> s)
Copies all of the entries from the specified sparse sequence to this sequence. |
|
static
|
Ints.unmodifiableSequence(SparseSequence<V> s)
Returns an unmodifiable view of the specified sparse sequence. |
Constructors in kodkod.util.ints with parameters of type SparseSequence | |
---|---|
ArraySequence(SparseSequence<? extends V> s)
Constructs a new array sequence with the same index/value mappings as the given sequence. |
|
HomogenousSequence(SparseSequence<? extends V> seq)
Constructs a new homogeneous sequence from the provided sequence. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |