Class

es.weso.rbe

Or

Related Doc: package rbe

Permalink

case class Or[A](v1: Rbe[A], v2: Rbe[A]) extends Rbe[A] with Product with Serializable

Or(v1,v2) represents either v1 or v2

Source
Rbe.scala
Linear Supertypes
Serializable, Serializable, Product, Equals, Rbe[A], Logging, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Or
  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 Or(v1: Rbe[A], v2: Rbe[A])

    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. 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

  20. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  21. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  22. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  23. def setDebug(): Unit

    Permalink
    Definition Classes
    Logging

  24. def setError(): Unit

    Permalink
    Definition Classes
    Logging

  25. def setInfo(): Unit

    Permalink
    Definition Classes
    Logging

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

    Permalink
    Definition Classes
    AnyRef

  27. val v1: Rbe[A]

    Permalink

  28. val v2: Rbe[A]

    Permalink

  29. final def wait(): Unit

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

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

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

  31. 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