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 for MealyMachines.

Classes in net.automatalib.modelchecking that implement TransitionOutputAutomaton

Modifier and Type	Class	Description
class	MealyLassoImpl<I,O>	A MealyLasso is a lasso for MealyMachines.