omegaregex

Type Members

1. case class Disjunction(_1: OmegaregexExpression, _2: OmegaregexExpression) extends OmegaregexExpression with Product with Serializable

   

2. case class Omega(_1: RegexExpression, _2: RegexExpression) extends OmegaregexExpression with Product with Serializable

   

3. trait OmegaRegexParserCombinators extends RegexParserCombinators

   

4. abstract class OmegaregexExpression extends Expression

   

5. case class OmegaregexFormula(expression: OmegaregexExpression, options: Options) extends Formula with Product with Serializable