|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IntRange | |
---|---|
kodkod.engine.config | Provides a mechanism for configuring the kodkod engine and for passing messages between the engine and the client. |
kodkod.util.ints | Provides implementations of ordered collections for storing integer primitives. |
Uses of IntRange in kodkod.engine.config |
---|
Methods in kodkod.engine.config that return IntRange | |
---|---|
IntRange |
Options.integers()
Returns the range of integers that can be encoded using this.intEncoding and this.bitwidth. |
Uses of IntRange in kodkod.util.ints |
---|
Methods in kodkod.util.ints that return IntRange | |
---|---|
static IntRange |
Ints.merge(IntRange r1,
IntRange r2)
Returns the smallest IntRange r that contains both r1 and r2. |
static IntRange |
Ints.range(int min,
int max)
Returns an integer range from min, inclusive, to max, inclusive. |
Methods in kodkod.util.ints with parameters of type IntRange | |
---|---|
boolean |
IntRange.contains(IntRange range)
Returns true if this range contains the given range. |
boolean |
IntRange.intersects(IntRange range)
Returns true if this and the given range intersect. |
static IntRange |
Ints.merge(IntRange r1,
IntRange r2)
Returns the smallest IntRange r that contains both r1 and r2. |
static IntSet |
Ints.rangeSet(IntRange range)
Returns an unmodifiable IntSet that contains all the elements in the given range. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |