Class

de.uni_luebeck.isp.rltlconv.regex

RegexFormula

Related Doc: package regex

Permalink

case class RegexFormula(expression: RegexExpression, options: Options) extends Formula with Product with Serializable

Linear Supertypes
Serializable, Serializable, Product, Equals, Formula, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. RegexFormula
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. Formula
  7. AnyRef
  8. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Instance Constructors

  1. new RegexFormula(expression: RegexExpression, options: Options)

    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. def alphabet: Set[String]

    Permalink
    Definition Classes
    Formula

  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  6. def checkAlphabet: Formula

    Permalink

    Checks for every letter appearing in the formula if it is mentioned in the alphabet.

    Checks for every letter appearing in the formula if it is mentioned in the alphabet. If not an exception is raised. Therefore this method should be called directly after parsing a formula.

    Returns itself for chaining.

    Definition Classes
    Formula

  7. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef

  9. val expression: RegexExpression

    Permalink
    Definition Classes
    RegexFormula → Formula

  10. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  11. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  12. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  13. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  14. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  15. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  16. val options: Options

    Permalink
    Definition Classes
    RegexFormula → Formula

  17. def propositions: Set[String]

    Permalink
    Definition Classes
    Formula

  18. def removePast: RegexFormula

    Permalink

  19. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  20. def toFormulaWithEvents: Formula

    Permalink
    Definition Classes
    Formula

  21. def toFormulaWithPropositions: Formula

    Permalink
    Definition Classes
    Formula

  22. def toNfa: Nfa

    Permalink

  23. def toString(): String

    Permalink
    Definition Classes
    Formula → AnyRef → Any

  24. def usesEvents: Boolean

    Permalink
    Definition Classes
    Formula

  25. def usesPropositions: Boolean

    Permalink
    Definition Classes
    Formula

  26. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  27. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  28. 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 Formula

Inherited from AnyRef

Inherited from Any

Ungrouped