Uses of Class
kodkod.util.ints.TreeSequence

Packages that use TreeSequence
kodkod.util.ints Provides implementations of ordered collections for storing integer primitives. 
 

Uses of TreeSequence in kodkod.util.ints
 

Methods in kodkod.util.ints that return TreeSequence
 TreeSequence<V> TreeSequence.clone()
          Returns a copy of this sparse sequence.