PrioStreamingTransducerBuilder

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 LabelOps: AnchoredLabelOps.type

   

   Operations on labels

   Operations on labels

   Definition Classes

   PrioStreamingTransducerBuilder → StreamingTransducerBuilder

5. val acceptingStates: HashMap[State, Seq[UpdateOp]]

   

6. def addPostETransition(s1: State, ops: Seq[Seq[UpdateOp]], priority: Int, s2: State): HashMap[State, Set[(Seq[Seq[UpdateOp]], Int, dk.brics.automaton.State)]] with MultiMap[State, (Seq[Seq[UpdateOp]], Int, dk.brics.automaton.State)]

   

7. def addPostETransition(s1: State, ops: Seq[Seq[UpdateOp]], s2: State): Unit

   

   Definition Classes

   PrioStreamingTransducerBuilder → StreamingTransducerBuilder

8. def addPreETransition(s1: State, ops: Seq[Seq[UpdateOp]], priority: Int, s2: State): HashMap[State, Set[(Seq[Seq[UpdateOp]], Int, dk.brics.automaton.State)]] with MultiMap[State, (Seq[Seq[UpdateOp]], Int, dk.brics.automaton.State)]

   

9. def addPreETransition(s1: State, ops: Seq[Seq[UpdateOp]], s2: State): Unit

   

   Add a e-transition to the transducer

   Add a e-transition to the transducer

   Definition Classes

   PrioStreamingTransducerBuilder → StreamingTransducerBuilder

10. def addTransition(s1: State, lbl: TLabel, ops: Seq[Seq[UpdateOp]], priority: Int, s2: State): Any

    

11. def addTransition(s1: State, lbl: TLabel, ops: Seq[Seq[UpdateOp]], s2: State): Unit

    

    Add a transition to the transducer

    Add a transition to the transducer

    Definition Classes

    PrioStreamingTransducerBuilder → StreamingTransducerBuilder

12. final def asInstanceOf[T0]: T0

    

    Definition Classes

    Any

13. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

15. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

16. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

18. def getNewState: State

    

    A fresh state that can be added to the transducer

    A fresh state that can be added to the transducer

    Definition Classes

    PrioStreamingTransducerBuilder → StreamingTransducerBuilder

19. def getTransducer: PrioStreamingTransducer

    

    The transducer built.

    The transducer built. Builder should not be used after call to this

    Definition Classes

    PrioStreamingTransducerBuilder → StreamingTransducerBuilder

20. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

21. var initialState: State

    

    Initial state of transducer being built

    Initial state of transducer being built

    Definition Classes

    PrioStreamingTransducerBuilder → StreamingTransducerBuilder

22. def isAccept(s: State): Boolean

    

23. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    Definition Classes

    AnyRef

25. final def notify(): Unit

    

    Definition Classes

    AnyRef

26. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

27. val numvars: Int

    

28. val postTrans: HashMap[State, Set[(Seq[Seq[UpdateOp]], Int, dk.brics.automaton.State)]] with MultiMap[State, (Seq[Seq[UpdateOp]], Int, dk.brics.automaton.State)]

    

29. val preTrans: HashMap[State, Set[(Seq[Seq[UpdateOp]], Int, dk.brics.automaton.State)]] with MultiMap[State, (Seq[Seq[UpdateOp]], Int, dk.brics.automaton.State)]

    

30. val sTrans: HashMap[State, Set[(AnchoredLabel, Seq[Seq[UpdateOp]], Int, dk.brics.automaton.State)]] with MultiMap[State, (AnchoredLabel, Seq[Seq[UpdateOp]], Int, dk.brics.automaton.State)]

    

31. def setAccept(s: State, isAccept: Boolean, ops: Seq[UpdateOp]): Unit

    

    Set whether a state is accepting

    Set whether a state is accepting

    Definition Classes

    PrioStreamingTransducerBuilder → StreamingTransducerBuilder

32. def setInitialState(s: State): Unit

    

    Set the initial state of the transducer being built

    Set the initial state of the transducer being built

    Definition Classes

    PrioStreamingTransducerBuilder → StreamingTransducerBuilder

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

    

    Definition Classes

    AnyRef

34. def toString(): String

    

    Definition Classes

    AnyRef → Any

35. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )