BricsTransducer

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: TLabelOps[(Char, Char)]

   

5. val acceptingStates: Set[State]

   

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

   

   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

   Definition Classes

   BricsTransducer → Transducer

7. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

8. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

9. val eTrans: Map[State, Set[(OutputOp, State)]]

   

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

    

    Definition Classes

    AnyRef

11. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

12. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

14. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

15. val initialState: State

    

16. def isAccept(s: State): Boolean

    

17. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

18. val lblTrans: Map[State, Set[((Char, Char), OutputOp, State)]]

    

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

    

    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

    BricsTransducer → Transducer

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

    

    Definition Classes

    AnyRef

21. final def notify(): Unit

    

    Definition Classes

    AnyRef

22. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

23. def postImage[A <: AtomicStateAutomaton](aut: A, internalAut: Option[A] = None): AtomicStateAutomaton

    

    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

    BricsTransducer → Transducer

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

    

    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

    BricsTransducer → Transducer

25. def preImage(aut: AtomicStateAutomaton): AtomicStateAutomaton

    

    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

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

    

    Definition Classes

    AnyRef

27. def toDot(): String

    

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

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

    Definition Classes

    BricsTransducer → Transducer

28. def toString(): String

    

    Definition Classes

    BricsTransducer → AnyRef → Any

29. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )