OmegaregexFormula

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

4. def alphabet: Set[String]

   

   Definition Classes

   Formula

5. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

6. def checkAlphabet: Formula

   

   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

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

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

   

   Definition Classes

   AnyRef

9. val expression: OmegaregexExpression

   

   Definition Classes

   OmegaregexFormula → Formula

10. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

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

    

    Definition Classes

    AnyRef → Any

12. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    Definition Classes

    AnyRef

14. final def notify(): Unit

    

    Definition Classes

    AnyRef

15. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

16. val options: Options

    

    Definition Classes

    OmegaregexFormula → Formula

17. def propositions: Set[String]

    

    Definition Classes

    Formula

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

    

    Definition Classes

    AnyRef

19. def toApa: Apa

    

20. def toApas: ApaSpecular

    

21. def toDeterministicNfa: Nfa

    

22. def toDeterministicNfas: NfaSpecular

    

23. def toFormulaWithEvents: Formula

    

    Definition Classes

    Formula

24. def toFormulaWithPropositions: Formula

    

    Definition Classes

    Formula

25. def toMoore: Moore

    

26. def toNba: Nba

    

27. def toNbas: NbaSpecular

    

28. def toNegApa: Apa

    

29. def toNegDeterministicNfa: Nfa

    

30. def toNegNba: Nba

    

31. def toNegNfa: Nfa

    

32. def toNfa: Nfa

    

33. def toNfas: NfaSpecular

    

34. def toRltl: RltlFormula

    

35. def toString(): String

    

    Definition Classes

    Formula → AnyRef → Any

36. def usesEvents: Boolean

    

    Definition Classes

    Formula

37. def usesPropositions: Boolean

    

    Definition Classes

    Formula

38. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

40. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )