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