Uses of Interface
net.automatalib.ts.output.DeterministicTransitionOutputTS
-
Packages that use DeterministicTransitionOutputTS Package Description net.automatalib.automaton.procedural net.automatalib.automaton.transducer net.automatalib.modelchecking net.automatalib.ts.output -
-
Uses of DeterministicTransitionOutputTS in net.automatalib.automaton.procedural
Subinterfaces of DeterministicTransitionOutputTS 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 DeterministicTransitionOutputTS 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 DeterministicTransitionOutputTS in net.automatalib.automaton.transducer
Subinterfaces of DeterministicTransitionOutputTS 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>
interface
TransitionOutputAutomaton<S,I,T,O>
Classes in net.automatalib.automaton.transducer that implement DeterministicTransitionOutputTS Modifier and Type Class Description class
CompactMealy<I,O>
class
FastMealy<I,O>
A fast implementation of a Mealy machine. -
Uses of DeterministicTransitionOutputTS in net.automatalib.modelchecking
Subinterfaces of DeterministicTransitionOutputTS 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 DeterministicTransitionOutputTS Modifier and Type Class Description class
MealyLassoImpl<I,O>
A MealyLasso is a lasso forMealyMachine
s. -
Uses of DeterministicTransitionOutputTS in net.automatalib.ts.output
Subinterfaces of DeterministicTransitionOutputTS in net.automatalib.ts.output Modifier and Type Interface Description interface
MealyTransitionSystem<S,I,T,O>
-