Options

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

   

5. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

6. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

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

   

   Definition Classes

   AnyRef

8. def finalize(): Unit

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

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

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

   

   Definition Classes

   AnyRef → Any

10. def hasPropositions: Boolean

    

11. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    Definition Classes

    AnyRef

13. final def notify(): Unit

    

    Definition Classes

    AnyRef

14. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

15. val propositions: Option[Set[String]]

    

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

    

    Definition Classes

    AnyRef

17. def toLabels(proposition: String): List[String]

    

    Converts a proposition of a formula into a list of labels for the automata if the options contains propositions.

    Converts a proposition of a formula into a list of labels for the automata if the options contains propositions. If not it converts the given proposition into a set containing only this proposition for easier usage.

18. def toOtherLabels(proposition: String): List[String]

    

    Converts a proposition of a formula into a list of labels for the automata _not_ containing the proposition if the options contains propositions.

    Converts a proposition of a formula into a list of labels for the automata _not_ containing the proposition if the options contains propositions. If not it converts the given proposition into a set containing all proposition without the given one for easier usage.

19. def toSymbols(label: String): Set[String]

    

    Converts a label into all symbols of the formula that are encoded in this label.

    Converts a label into all symbols of the formula that are encoded in this label. If the labels are events the symbol is equivalent to the label. If the labels are sets of propositions encoded as strings the encoded propositions are returned as set.

20. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )