Class

es.weso.rbe

Symbol

Related Doc: package rbe

Permalink

case class Symbol[+A](a: A, n: Int, m: IntOrUnbounded) extends Rbe[A] with Product with Serializable

Represents a symbol that is repeated between n and m times (m can be unbounded)

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

    Permalink
  5. val appender: ConsoleAppender

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

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

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

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  9. 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
  10. def debug(msg: String): Unit

    Permalink
    Definition Classes
    Logging
  11. 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
  12. 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
  13. final def eq(arg0: AnyRef): Boolean

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

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

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

    Permalink
    Definition Classes
    Logging
  17. 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
  18. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  19. lazy val log: Logger

    Permalink
    Definition Classes
    Logging
  20. val m: IntOrUnbounded

    Permalink
  21. 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
  22. val n: Int

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    AnyRef
  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