|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectkodkod.util.ints.IntRange
public abstract class IntRange
Represents a range of integers, [min..max].
min <= max |
min: int |
max: int |
Method Summary | |
---|---|
boolean |
contains(int i)
Returns true if the given integer is within this range; otherwise returns false. |
boolean |
contains(IntRange range)
Returns true if this range contains the given range. |
boolean |
equals(java.lang.Object o)
Returns true if o is an int range with the same endpoints as this. |
int |
hashCode()
Returns the hash code for this int range. |
boolean |
intersects(IntRange range)
Returns true if this and the given range intersect. |
abstract int |
max()
Returns the right endpoint of this range. |
abstract int |
min()
Returns the left endpoint of this range. |
int |
size()
Returns the number of element in this range. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Method Detail |
---|
public abstract int min()
public abstract int max()
public int size()
public boolean contains(int i)
public boolean contains(IntRange range)
java.lang.NullPointerException
- - range = nullpublic boolean intersects(IntRange range)
java.lang.NullPointerException
- - range = nullpublic boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |