Uses of Interface
kodkod.util.ints.SparseSequence

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
<V> SparseSequence<V>
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
<V> SparseSequence<V>
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.