Class/Object

ostrich.automata

PrioStreamingTransducer

Related Docs: object PrioStreamingTransducer | package automata

Permalink

class PrioStreamingTransducer extends StreamingTransducer

Implementation of prioritised streaming transducers. All transitions have priority. A state is associated with three groups of transitions: pre epsilon, sigma, and post epsilon, with descending priority. 'numvars' is the number of string variables, which are internally labeled by indexes 0 ... (numvars - 1). Note that PSST is intrinsically functional (but not necessarily total), on the condition that there is no epsilon-circle (this property is not checked on transducer level).

Linear Supertypes
StreamingTransducer, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PrioStreamingTransducer
  2. StreamingTransducer
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new PrioStreamingTransducer(initialState: dk.brics.automaton.State, numvars: Int, lblTrans: Map[dk.brics.automaton.State, (Set[(Seq[Seq[UpdateOp]], Int, dk.brics.automaton.State)], Set[(AnchoredLabel, Seq[Seq[UpdateOp]], Int, dk.brics.automaton.State)], Set[(Seq[Seq[UpdateOp]], Int, dk.brics.automaton.State)])], acceptingStates: Map[dk.brics.automaton.State, Seq[UpdateOp]])

    Permalink

Type Members

  1. type Assignment = Seq[Seq[UpdateOp]]

    Permalink

  2. type ETransition = (Assignment, Int, State)

    Permalink

  3. type ProhibitionSet = Set[(State, Boolean, Boolean)]

    Permalink

  4. type SigmaTransition = (TLabel, Assignment, Int, State)

    Permalink

  5. type State = dk.brics.automaton.State

    Permalink

  6. type TLabel = AnchoredLabel

    Permalink

  7. type Transition = (Set[ETransition], Set[SigmaTransition], Set[ETransition])

    Permalink

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    AnyRef → Any

  4. val acceptingStates: Map[dk.brics.automaton.State, Seq[UpdateOp]]

    Permalink

  5. def apply(input: String, internal: String = ""): Option[String]

    Permalink

    Apply the transducer to the input, replacing any internal characters with the given string.

    Apply the transducer to the input, replacing any internal characters with the given string.

    Assumes transducer is functional, so returns the first found output or None

    Definition Classes
    PrioStreamingTransducer → StreamingTransducer

  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  7. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef

  9. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  10. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

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

    Permalink
    Definition Classes
    AnyRef → Any

  12. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  13. val initialState: dk.brics.automaton.State

    Permalink

  14. def isAccept(s: State): Boolean

    Permalink

  15. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  16. val lblTrans: Map[dk.brics.automaton.State, (Set[(Seq[Seq[UpdateOp]], Int, dk.brics.automaton.State)], Set[(AnchoredLabel, Seq[Seq[UpdateOp]], Int, dk.brics.automaton.State)], Set[(Seq[Seq[UpdateOp]], Int, dk.brics.automaton.State)])]

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  18. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  19. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  20. val numvars: Int

    Permalink

  21. def preImage[A <: AtomicStateAutomaton](aut: A, internal: Iterable[(preImage.A.State, preImage.A.State)]): AtomicStateAutomaton

    Permalink

    Calculates regular language that is pre-image of the given regular language.

    Calculates regular language that is pre-image of the given regular language. I.e. Pre_T(aut) for transducer T

    internal is a map indicating which states should be considered to have an Internal character between them. I.e. map(s) contains s' if there is an internal transition between s and s'

    Definition Classes
    PrioStreamingTransducer → StreamingTransducer

  22. def preImage(aut: AtomicStateAutomaton): AtomicStateAutomaton

    Permalink

    Calculates regular language that is pre-image of the given regular language.

    Calculates regular language that is pre-image of the given regular language. I.e. Pre_T(aut) for transducer T

    Convenience method for when there are no internal transitions

    Definition Classes
    StreamingTransducer

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

    Permalink
    Definition Classes
    AnyRef

  24. def toDot(): String

    Permalink

    Return a dot representation of the transducer (may not be implemented)

    Return a dot representation of the transducer (may not be implemented)

    Definition Classes
    PrioStreamingTransducer → StreamingTransducer

  25. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  26. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from StreamingTransducer

Inherited from AnyRef

Inherited from Any

Ungrouped