RltlFormula

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: RltlExpression

   

   Definition Classes

   RltlFormula → 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

    RltlFormula → Formula

17. def propositions: Set[String]

    

    Definition Classes

    Formula

18. def removeNegation: RltlFormula

    

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

    

    Definition Classes

    AnyRef

20. def toAMealy: AMealy

    

    Translates RLTL formula into an alternating Mealy machine

21. def toApa: Apa

    

22. def toApas: ApaSpecular

    

23. def toDeterministicNfa: Nfa

    

24. def toDeterministicNfas: NfaSpecular

    

25. def toFormulaWithEvents: Formula

    

    Definition Classes

    Formula

26. def toFormulaWithPropositions: Formula

    

    Definition Classes

    Formula

27. def toMoore: Moore

    

28. def toNba: Nba

    

29. def toNbas: NbaSpecular

    

30. def toNegApa: Apa

    

31. def toNegDeterministicNfa: Nfa

    

32. def toNegNba: Nba

    

33. def toNegNfa: Nfa

    

34. def toNfa: Nfa

    

35. def toNfas: NfaSpecular

    

36. def toString(): String

    

    Definition Classes

    Formula → AnyRef → Any

37. def usesEvents: Boolean

    

    Definition Classes

    Formula

38. def usesPropositions: Boolean

    

    Definition Classes

    Formula

39. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )