LtlFormula

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

   

   Definition Classes

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

    LtlFormula → Formula

17. def propositions: Set[String]

    

    Definition Classes

    Formula

18. def removeNegation: LtlFormula

    

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

    

    Definition Classes

    AnyRef

20. def toAMealy: AMealy

    

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 toMealy: Mealy

    

28. def toMoore: Moore

    

29. def toNba: Nba

    

30. def toNbas: NbaSpecular

    

31. def toNegApa: Apa

    

32. def toNegDeterministicNfa: Nfa

    

33. def toNegNba: Nba

    

34. def toNegNfa: Nfa

    

35. def toNfa: Nfa

    

36. def toNfas: NfaSpecular

    

37. def toRltl: RltlFormula

    

38. def toSmv: String

    

39. def toSpin: String

    

40. def toString(): String

    

    Definition Classes

    Formula → AnyRef → Any

41. def usesEvents: Boolean

    

    Definition Classes

    Formula

42. def usesPropositions: Boolean

    

    Definition Classes

    Formula

43. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )