Uses of Interface
net.automatalib.automaton.transducer.TransitionOutputAutomaton
-
Packages that use TransitionOutputAutomaton Package Description net.automatalib.automaton.transducer net.automatalib.automaton.visualization net.automatalib.modelchecking -
-
Uses of TransitionOutputAutomaton in net.automatalib.automaton.transducer
Subinterfaces of TransitionOutputAutomaton 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 TransitionOutputAutomaton Modifier and Type Class Description class
CompactMealy<I,O>
class
FastMealy<I,O>
A fast implementation of a Mealy machine. -
Uses of TransitionOutputAutomaton in net.automatalib.automaton.visualization
Constructors in net.automatalib.automaton.visualization with parameters of type TransitionOutputAutomaton Constructor Description MealyVisualizationHelper(TransitionOutputAutomaton<S,I,T,O> automaton)
-
Uses of TransitionOutputAutomaton in net.automatalib.modelchecking
Subinterfaces of TransitionOutputAutomaton 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 TransitionOutputAutomaton Modifier and Type Class Description class
MealyLassoImpl<I,O>
A MealyLasso is a lasso forMealyMachine
s.
-