Uses of Class
kodkod.util.ints.IntRange

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.