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