Class/Object

ostrich.automata

BricsPrioTransducer

Related Docs: object BricsPrioTransducer | package automata

Permalink

class BricsPrioTransducer extends Transducer

Implementation of prioritised transducers as automata with input and output states. That is, from an input state, all transitions read a character from input. From an output state, all transitions produce a character of output, and the transitions have priorities. The class mostly resembles BricsTransducer.

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

Instance Constructors

  1. new BricsPrioTransducer(initialState: dk.brics.automaton.State, lblTrans: Map[dk.brics.automaton.State, Set[((Char, Char), OutputOp, dk.brics.automaton.State)]], eTrans: Map[dk.brics.automaton.State, Set[(OutputOp, Int, dk.brics.automaton.State)]], acceptingStates: Set[dk.brics.automaton.State])

    Permalink

Type Members

  1. type State = dk.brics.automaton.State

    Permalink

  2. type TETransition = (OutputOp, Int, State)

    Permalink

  3. type TLabel = (Char, Char)

    Permalink

  4. type TTransition = ((Char, Char), OutputOp, State)

    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 LabelOps: TLabelOps[TLabel]

    Permalink

  5. val acceptingStates: Set[dk.brics.automaton.State]

    Permalink

  6. 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
    BricsPrioTransducer → Transducer

  7. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  8. lazy val bricsTransducer: BricsTransducer

    Permalink

  9. def clone(): AnyRef

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

  10. val eTrans: Map[dk.brics.automaton.State, Set[(OutputOp, Int, dk.brics.automaton.State)]]

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  12. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  13. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any

  15. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink

  17. def isAccept(s: State): Boolean

    Permalink

  18. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  19. val lblTrans: Map[dk.brics.automaton.State, Set[((Char, Char), OutputOp, dk.brics.automaton.State)]]

    Permalink

  20. def lengthApproximation(inputLen: Term, internalLen: Term, resultLen: Term, order: TermOrder): Formula

    Permalink

    Generate a formula that approximates the length relationship between arguments and result when calling apply.

    Generate a formula that approximates the length relationship between arguments and result when calling apply. It is sound to just return true.

    Definition Classes
    Transducer

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

    Permalink
    Definition Classes
    AnyRef

  22. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  23. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  24. def postImage[A <: AtomicStateAutomaton](aut: A, internalApprox: Option[A]): AtomicStateAutomaton

    Permalink

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

    Calculates regular language that is the post-image of the given regular language. I.e. Post_T(aut) for transducer T. Will fail if the transducer uses the internal char op. and internalApprox is None.

    internalApprox will nest the automaton internalApprox whenever an internal transition should have been output.

    Definition Classes
    BricsPrioTransducer → Transducer

  25. 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
    BricsPrioTransducer → Transducer

  26. 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
    Transducer

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

    Permalink
    Definition Classes
    AnyRef

  28. 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
    Transducer

  29. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  30. final def wait(): Unit

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

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

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

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

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

Inherited from Transducer

Inherited from AnyRef

Inherited from Any

Ungrouped