NfaSpecular

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 areDeterministic: Boolean

   

5. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

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

   

   Attributes

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

   Definition Classes

   Automata

7. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

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

   

   Definition Classes

   AnyRef

9. def finalize(): Unit

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

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

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

    

    Definition Classes

    AnyRef → Any

11. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

12. def map(f: (Nfa) ⇒ Nfa): NfaSpecular

    

    Applies a function to both NFAs.

    Applies a function to both NFAs.

    f

    the function to apply on both NFAs.

    returns

    a new NFA specular containing the two transformed NFAs.

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

    

    Definition Classes

    AnyRef

14. val negative: Nfa

    

    the second NFA.

15. final def notify(): Unit

    

    Definition Classes

    AnyRef

16. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

17. val positive: Nfa

    

    the first NFA.

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

    

    Definition Classes

    AnyRef

19. def toDeterministicNfas: NfaSpecular

    

20. def toDot(aDot: ADotOption = SingleBool): String

    

    Converts the two NFAs into dot format.

    Converts the two NFAs into dot format.

    returns

    a string containing the two NFAs in dot format.

    Definition Classes

    NfaSpecular → Automata

21. def toMinimizedNfas: NfaSpecular

    

    Minimizes the two NFAs of the specular.

    Minimizes the two NFAs of the specular.

    returns

    a specular containing the minimized NFAs

22. def toMoore: Moore

    

    Converts the two NFAs of the specular into a Moore machine.

    Converts the two NFAs of the specular into a Moore machine.

    returns

    the Moore machine created from the two NFAs.

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

    

    Definition Classes

    Automata

24. def toReducedNfaSpecular: NfaSpecular

    

    Reduces the two NFAs of the specular.

    Reduces the two NFAs of the specular.

    returns

    a specular containing the reduced NFAs

25. def toString(): String

    

    Converts the two NFAs into AFF format.

    Converts the two NFAs into AFF format.

    returns

    a string containing the two NFAs in AFF format.

    Definition Classes

    NfaSpecular → AnyRef → Any

26. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )