NbaSpecular

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. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

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

   

   Attributes

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

   Definition Classes

   Automata

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. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

11. def map(f: (Nba) ⇒ Nba): NbaSpecular

    

    Applies a function to both NBAs.

    Applies a function to both NBAs.

    f

    the function to apply on both NBAs.

    returns

    a new NBA specular containing the two transformed NBAs.

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

    

    Definition Classes

    AnyRef

13. val negative: Nba

    

    the second NBA.

14. final def notify(): Unit

    

    Definition Classes

    AnyRef

15. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

16. val positive: Nba

    

    the first NBA.

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

    

    Definition Classes

    AnyRef

18. def toDeterministicNfas: NfaSpecular

    

    Converts the NBA specular into a DFA specular by transforming both NBAs.

    Converts the NBA specular into a DFA specular by transforming both NBAs.

    returns

    the DFA specular.

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

    

    Converts the two NBAs into dot format.

    Converts the two NBAs into dot format.

    returns

    a string containing the two NBAs in dot format.

    Definition Classes

    NbaSpecular → Automata

20. def toMinimizedNbas: NbaSpecular

    

    Minimizes the two NBAs of the specular.

    Minimizes the two NBAs of the specular.

    returns

    a specular containing the minimized NBAs

21. def toMoore: Moore

    

    Converts the two NBA of the specular to a single FSM by transforming them into NFAs and merging these two NFAs.

    Converts the two NBA of the specular to a single FSM by transforming them into NFAs and merging these two NFAs.

    returns

    the FSM.

22. def toNfas: NfaSpecular

    

    Converts the NBA specular into an NFA specular by transforming both NBAs.

    Converts the NBA specular into an NFA specular by transforming both NBAs.

    returns

    the NFA specular.

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

    

    Definition Classes

    Automata

24. def toString(): String

    

    Converts the two NBAs into AFF format.

    Converts the two NBAs into AFF format.

    returns

    a string containing the two NBAs in AFF format.

    Definition Classes

    NbaSpecular → AnyRef → Any

25. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )