ApaSpecular

Value Members

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

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. def &(other: ApaSpecular): ApaSpecular

   

   Merges two APA speculars by merging their first and their second components accordingly.

   Merges two APA speculars by merging their first and their second components accordingly.

   returns

   a new APA specular containing the merged APAs.

4. def ::(other: Nfa)(implicit options: Options): ApaSpecular

   

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

   

   Definition Classes

   AnyRef → Any

6. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

7. def callDot(filetype: String, adot: ADotOption = SingleBool): Array[Byte]

   

   Attributes

   protected[de.uni_luebeck.isp.rltlconv.automata]

   Definition Classes

   Automata

8. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

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

   

   Definition Classes

   AnyRef

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. def map(f: (Apa) ⇒ Apa): ApaSpecular

    

    Applies a function to both APAs.

    Applies a function to both APAs.

    f

    the function to apply on both APAs.

    returns

    a new APA specular containing the two transformed APAs.

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

    

    Definition Classes

    AnyRef

15. val negative: Apa

    

16. final def notify(): Unit

    

    Definition Classes

    AnyRef

17. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

18. val positive: Apa

    

19. def power(delay: Nfa, attempt: ApaSpecular)(implicit options: Options): ApaSpecular

    

20. def swap: ApaSpecular

    

    Swaps the position of the two elements of the APA specular.

    Swaps the position of the two elements of the APA specular.

    returns

    a new APA specular with the second as first and the first as second component.

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

    

    Definition Classes

    AnyRef

22. def toDeterministicNfas: NfaSpecular

    

    Transforms the APA specular into a DFA specular by transforming the NBAs of the NBA specular resulting from toNbas.toMinimizedNbas into DFAs.

    Transforms the APA specular into a DFA specular by transforming the NBAs of the NBA specular resulting from toNbas.toMinimizedNbas into DFAs.

    returns

    a DFA specular containing the created DFAs.

23. def toDot(adot: ADotOption = SingleBool): String

    

    Converts the two APAs into dot format.

    Converts the two APAs into dot format.

    returns

    a string containing the two APAs in dot format.

    Definition Classes

    ApaSpecular → Automata

24. def toMoore: Moore

    

    Transforms the APA specular into a single FSM by transforming the NBAs of the NBA specular resulting from toNbas.toMinimizedNbas into a FSM.

    Transforms the APA specular into a single FSM by transforming the NBAs of the NBA specular resulting from toNbas.toMinimizedNbas into a FSM.

    returns

    a FSM.

25. def toNbas: NbaSpecular

    

    Transforms the APA specular into an NBA specular by applying toNba on the APAs.

    Transforms the APA specular into an NBA specular by applying toNba on the APAs.

    returns

    a NBA specular containing the created NBAs.

26. def toNfas: NfaSpecular

    

    Transforms the APA specular into a NFA specular by transforming the NBAs of the NBA specular resulting from toNbas.toMinimizedNbas into NFAs.

    Transforms the APA specular into a NFA specular by transforming the NBAs of the NBA specular resulting from toNbas.toMinimizedNbas into NFAs.

    returns

    a NFA specular containing the created NFAs.

27. def toPdf(aDot: ADotOption = SingleBool): Array[Byte]

    

    Definition Classes

    Automata

28. def toReducedApas: ApaSpecular

    

    Reduces both APAs by applying toReducedApa on both.

    Reduces both APAs by applying toReducedApa on both.

    returns

    a new APA specular containing the reduced APAs

29. def toSlimApas: ApaSpecular

    

    Slims both APAs by applying toSlimApa on both.

    Slims both APAs by applying toSlimApa on both.

    returns

    a new APA specular containing the slimed APAs

30. def toString(): String

    

    Converts the two APAs into AFF format.

    Converts the two APAs into AFF format.

    returns

    a string containing the two APAs in AFF format.

    Definition Classes

    ApaSpecular → AnyRef → Any

31. def uniPower(delay: Nfa, attempt: ApaSpecular)(implicit options: Options): ApaSpecular

    

32. def uniWeakPower(delay: Nfa, attempt: ApaSpecular)(implicit options: Options): ApaSpecular

    

33. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

36. def weakPower(delay: Nfa, attempt: ApaSpecular)(implicit options: Options): ApaSpecular

    

37. def |(other: ApaSpecular): ApaSpecular

    

    Merges two APA speculars by merging their first and their second components accordingly.

    Merges two APA speculars by merging their first and their second components accordingly.

    returns

    a new APA specular containing the merged APAs.

38. def ~::(other: Nfa)(implicit options: Options): ApaSpecular