Rbe

sealed trait Rbe[+A] extends Product with Serializable

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

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any

class And[A]

object Empty

class Fail

class Or[A]

class Plus[A]

class Repeat[A]

class Star[A]

class Symbol[A]

Value members

derivative of this RBE with regards to a symbol

Value Params

Derivative over a bag of symbols

Value Params

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

Checks if a rbe is nullable

Checks if a RBE contains repetitions

Symbols that contains this rbe

Example:

symbols(Or(And(Symbol("a",1,3),Symbol("b",1,1)),Symbol("b",2,3))) == Seq("a","b")