de
.
uni_luebeck
.
isp
.
rltlconv
regex
package
regex
Visibility
Public
All
Type Members
case class
BasicPast
(
_1:
Letter
)
extends
Unity
with
Product
with
Serializable
case class
BooleanLetter
(
_1:
Boolean
)
extends
Letter
with
Product
with
Serializable
case class
Concatenation
(
_1:
RegexExpression
,
_2:
RegexExpression
)
extends
RegexExpression
with
Product
with
Serializable
case class
Disjunction
(
_1:
RegexExpression
,
_2:
RegexExpression
)
extends
RegexExpression
with
Product
with
Serializable
case class
Kleene
(
_1:
RegexExpression
,
_2:
RegexExpression
)
extends
RegexExpression
with
Product
with
Serializable
abstract
class
Letter
extends
Unity
case class
Past
(
_1:
RegexExpression
)
extends
Unity
with
Product
with
Serializable
abstract
class
RegexExpression
extends
Expression
case class
RegexFormula
(
expression:
RegexExpression
,
options:
Options
)
extends
Formula
with
Product
with
Serializable
trait
RegexParserCombinators
extends
JavaTokenParsers
case class
StringLetter
(
_1:
String
)
extends
Letter
with
Product
with
Serializable
abstract
class
Unity
extends
RegexExpression
Value Members
object
Notfirst
Ungrouped