Trait

es.weso.rbe

Rbe

Related Doc: package rbe

Permalink

sealed trait Rbe[+A] extends Logging

This trait defines Single Occurrence Regular Bag Expressions (Rbe)

Further info

The algorithm to check that a Rbe contains a bag is PTIME The algorithm has been described in [1] and is based on intervals

[1] Complexity and Expressiveness of ShEx for RDF, S. Staworko, I. Boneva, J. Labra, S. Hym, E. Prud'hommeaux, H. Solbrig

Source
Rbe.scala
Linear Supertypes
Logging, AnyRef, Any
Known Subclasses
And, Empty, Fail, Or, Plus, Repeat, Star, Symbol
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Rbe
  2. Logging
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

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

  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

  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

  12. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  13. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  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 hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  17. def info(msg: String): Unit

    Permalink
    Definition Classes
    Logging

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

  19. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  20. lazy val log: Logger

    Permalink
    Definition Classes
    Logging

  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

  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. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  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 Logging

Inherited from AnyRef

Inherited from Any

Ungrouped