Interval

final def !=(arg0: Any): Boolean

final def ##(): Int

def &(that: Interval): Interval

def *(that: IdealInt): Interval

final def ==(arg0: Any): Boolean

lazy val allNonNegative: Boolean

Check whether all values in this interval are non-negative.

lazy val allNonPositive: Boolean

Check whether all values in this interval are non-positive.

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def containsInt(i: IdealInt): Boolean

final def eq(arg0: AnyRef): Boolean

val gap: Option[(Int, Int)]

final def getClass(): Class[_]

lazy val greatestNegElement: Option[IdealInt]

Compute the greatest negative element in this interval.

lazy val isEmpty: Boolean

final def isInstanceOf[T0]: Boolean

lazy val leastPosElement: Option[IdealInt]

Compute the least positive element in this interval.

val lower: IntervalInt

def maxdiv(that: Interval): IntervalInt

def mindiv(that: Interval): IntervalInt

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

val upper: IntervalInt

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

final def wait(): Unit

def widen: Interval

def finalize(): Unit