Uses of Interface
net.automatalib.ts.output.MealyTransitionSystem
-
-
Uses of MealyTransitionSystem in net.automatalib.automaton.procedural
Subinterfaces of MealyTransitionSystem in net.automatalib.automaton.procedural Modifier and Type Interface Description interface
SPMM<S,I,T,O>
A system of procedural Mealy machines.Classes in net.automatalib.automaton.procedural that implement MealyTransitionSystem Modifier and Type Class Description class
EmptySPMM<I,O>
A utility implementation of anSPMM
that transduces all input words to a sequence of the given erroneous output symbol.class
StackSPMM<S,I,T,O>
A stack-based implementation for the (instrumented) transductions of anSPMM
. -
Uses of MealyTransitionSystem in net.automatalib.automaton.transducer
Subinterfaces of MealyTransitionSystem in net.automatalib.automaton.transducer Modifier and Type Interface Description interface
MealyMachine<S,I,T,O>
interface
MutableMealyMachine<S,I,T,O>
interface
StateLocalInputMealyMachine<S,I,T,O>
Classes in net.automatalib.automaton.transducer that implement MealyTransitionSystem Modifier and Type Class Description class
CompactMealy<I,O>
class
FastMealy<I,O>
A fast implementation of a Mealy machine. -
Uses of MealyTransitionSystem in net.automatalib.incremental.mealy
Methods in net.automatalib.incremental.mealy that return MealyTransitionSystem Modifier and Type Method Description MealyTransitionSystem<?,I,?,O>
MealyBuilder. asTransitionSystem()
-
Uses of MealyTransitionSystem in net.automatalib.incremental.mealy.dag
Methods in net.automatalib.incremental.mealy.dag that return MealyTransitionSystem Modifier and Type Method Description MealyTransitionSystem<?,I,?,O>
IncrementalMealyDAGBuilder. asTransitionSystem()
-
Uses of MealyTransitionSystem in net.automatalib.modelchecking
Subinterfaces of MealyTransitionSystem in net.automatalib.modelchecking Modifier and Type Interface Description static interface
Lasso.MealyLasso<I,O>
A MealyLasso is a lasso forMealyMachine
s.Classes in net.automatalib.modelchecking that implement MealyTransitionSystem Modifier and Type Class Description class
MealyLassoImpl<I,O>
A MealyLasso is a lasso forMealyMachine
s. -
Uses of MealyTransitionSystem in net.automatalib.util.ts.transducer
Methods in net.automatalib.util.ts.transducer with type parameters of type MealyTransitionSystem Modifier and Type Method Description static <S1,S2,I,T1,T2,O1,O2,TS1 extends MealyTransitionSystem<S1,I,T1,O1>,TS2 extends MealyTransitionSystem<S2,I,T2,O2>>
MealyTransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>,Pair<O1,O2>>Transducers. combine(TS1 ts1, TS2 ts2)
static <S1,S2,I,T1,T2,O1,O2,TS1 extends MealyTransitionSystem<S1,I,T1,O1>,TS2 extends MealyTransitionSystem<S2,I,T2,O2>>
MealyTransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>,Pair<O1,O2>>Transducers. combine(TS1 ts1, TS2 ts2)
Methods in net.automatalib.util.ts.transducer that return MealyTransitionSystem Modifier and Type Method Description static <S1,S2,I,T1,T2,O1,O2,TS1 extends MealyTransitionSystem<S1,I,T1,O1>,TS2 extends MealyTransitionSystem<S2,I,T2,O2>>
MealyTransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>,Pair<O1,O2>>Transducers. combine(TS1 ts1, TS2 ts2)
-