Class

es.weso.rbe

Repeat

Related Doc: package rbe

Permalink

case class Repeat[A](v: Rbe[A], n: Int, m: IntOrUnbounded) extends Rbe[A] with Product with Serializable

Repeat(v,n,m) represents between n and m apperances of v

Source
Rbe.scala
Linear Supertypes
Serializable, Serializable, Product, Equals, Rbe[A], Logging, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Repeat
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. Rbe
  7. Logging
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Repeat(v: Rbe[A], n: Int, m: IntOrUnbounded)

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. val appender: ConsoleAppender

    Permalink
    Definition Classes
    Logging
  5. val appenders: List[Any]

    Permalink
    Definition Classes
    Logging
  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  7. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. def containsWithRepeats[U >: A](bag: Bag[U], open: Boolean): Boolean

    Permalink

    Checks if a bag is matched by this RBE

    Checks if a bag is matched by this RBE

    bag

    bag to check if matches with current RBE

    open

    allows extra symbols

    Definition Classes
    Rbe
  9. def debug(msg: String): Unit

    Permalink
    Definition Classes
    Logging
  10. def deriv[U >: A](x: U, open: Boolean, controlled: Seq[U]): Rbe[U]

    Permalink

    derivative of this RBE with regards to a symbol

    derivative of this RBE with regards to a symbol

    x

    symbol

    open

    allows extra symbols

    controlled

    limits the extra symbols to those that don't appear in controlled

    Definition Classes
    Rbe
  11. def derivBag[U >: A](bag: Bag[U], open: Boolean, controlled: Seq[U]): Rbe[U]

    Permalink

    Derivative over a bag of symbols

    Derivative over a bag of symbols

    open

    allows extra symbols

    controlled

    limits the extra symbols to those that don't appear in controlled

    Definition Classes
    Rbe
  12. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  13. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  14. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  15. def info(msg: String): Unit

    Permalink
    Definition Classes
    Logging
  16. def interval[U >: A](bag: Bag[U]): Interval

    Permalink

    Calculates the interval of a bag from a RBE

    Calculates the interval of a bag from a RBE

    The following code follows page 11 of [http://labra.github.io/ShExcala/papers/staworko-icdt15a.pdf]

    Definition Classes
    Rbe
  17. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  18. lazy val log: Logger

    Permalink
    Definition Classes
    Logging
  19. val m: IntOrUnbounded

    Permalink
  20. def matchDeriv[U >: A](bag: Bag[U], open: Boolean): Boolean

    Permalink

    Match a RBE with a bag using the derivatives algorithm open: allows extra symbols to match

    Match a RBE with a bag using the derivatives algorithm open: allows extra symbols to match

    Definition Classes
    Rbe
  21. val n: Int

    Permalink
  22. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  23. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  24. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  25. def setDebug(): Unit

    Permalink
    Definition Classes
    Logging
  26. def setError(): Unit

    Permalink
    Definition Classes
    Logging
  27. def setInfo(): Unit

    Permalink
    Definition Classes
    Logging
  28. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  29. val v: Rbe[A]

    Permalink
  30. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from Rbe[A]

Inherited from Logging

Inherited from AnyRef

Inherited from Any

Ungrouped