Uses of Class
kodkod.util.ints.RangeSequence

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

Uses of RangeSequence in kodkod.util.ints
 

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