Trait/Object

ostrich.automata

Transducer

Related Docs: object Transducer | package automata

Permalink

trait Transducer extends AnyRef

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

Abstract Value Members

  1. abstract 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

  2. abstract def postImage[A <: AtomicStateAutomaton](aut: A, internalApprox: Option[A] = None): 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.

  3. abstract 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'

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

    Permalink
    Definition Classes
    Any

  5. def clone(): AnyRef

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

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

    Permalink
    Definition Classes
    AnyRef

  7. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  8. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any

  10. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  11. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  12. 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.

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

    Permalink
    Definition Classes
    AnyRef

  14. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  15. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  16. 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

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

    Permalink
    Definition Classes
    AnyRef

  18. def toDot: String

    Permalink

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

  19. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  20. final def wait(): Unit

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

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

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

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

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

Inherited from AnyRef

Inherited from Any

Ungrouped