rbe/es.weso.rbe.interval

es.weso.rbe.interval

package es.weso.rbe.interval

Type members

Classlikes

case
class IntLimit(m: Int) extends IntOrUnbounded

Positive integers

Positive integers

sealed abstract
trait IntOrUnbounded extends Product with Serializable

Represents a limit of an interval. It can be either an Int or an Unbounded value

Represents a limit of an interval. It can be either an Int or an Unbounded value

Companion
object
object IntOrUnbounded
Companion
class
case
class IntOrUnboundedException(msg: String) extends Exception with NoStackTrace
case
class Interval(n: IntOrUnbounded, m: IntOrUnbounded)

Definition of intervals (m,n) where m and n can be unbounded

Definition of intervals (m,n) where m and n can be unbounded

case
class IntervalChecker[A](rbe: Rbe[A])(implicit evidence$1: Show[A]) extends BagChecker[A]
Companion
object
object IntervalChecker
Companion
class
case
class IntervalsException(msg: String) extends Exception
case
object Unbounded extends IntOrUnbounded