Uses of Interface
net.automatalib.automaton.concept.TransitionOutput

Packages that use TransitionOutput

Package	Description
net.automatalib.automaton.concept
net.automatalib.automaton.procedural
net.automatalib.automaton.transducer
net.automatalib.automaton.transducer.probabilistic
net.automatalib.modelchecking
net.automatalib.ts.output
net.automatalib.util.automaton.predicate

Uses of TransitionOutput in net.automatalib.automaton.concept

Subinterfaces of TransitionOutput in net.automatalib.automaton.concept

Modifier and Type	Interface	Description
interface	MutableTransitionOutput<T,O>

Uses of TransitionOutput in net.automatalib.automaton.procedural

Subinterfaces of TransitionOutput 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 TransitionOutput

Modifier and Type	Class	Description
class	EmptySPMM<I,O>	A utility implementation of an SPMM 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 an SPMM.

Uses of TransitionOutput in net.automatalib.automaton.transducer

Subinterfaces of TransitionOutput 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 TransitionOutput

Modifier and Type	Class	Description
class	CompactMealy<I,O>
class	FastMealy<I,O>	A fast implementation of a Mealy machine.

Uses of TransitionOutput in net.automatalib.automaton.transducer.probabilistic

Subinterfaces of TransitionOutput in net.automatalib.automaton.transducer.probabilistic

Modifier and Type	Interface	Description
interface	MutableProbabilisticMealy<S,I,T,O>
interface	ProbabilisticMealyMachine<S,I,T,O>

Classes in net.automatalib.automaton.transducer.probabilistic that implement TransitionOutput

Modifier and Type	Class	Description
class	FastProbMealy<I,O>

Uses of TransitionOutput in net.automatalib.modelchecking

Subinterfaces of TransitionOutput 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 TransitionOutput

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

Uses of TransitionOutput in net.automatalib.ts.output

Subinterfaces of TransitionOutput in net.automatalib.ts.output

Modifier and Type	Interface	Description
interface	DeterministicTransitionOutputTS<S,I,T,O>
interface	MealyTransitionSystem<S,I,T,O>

Uses of TransitionOutput in net.automatalib.util.automaton.predicate

Methods in net.automatalib.util.automaton.predicate with parameters of type TransitionOutput

Modifier and Type	Method	Description
static <S,I,T> TransitionPredicate<S,I,T>	TransitionPredicates.outputIn(TransitionOutput<? super T,?> transOut, @Nullable Object... outputs)
static <S,I,T> TransitionPredicate<S,I,T>	TransitionPredicates.outputIn(TransitionOutput<? super T,?> transOut, Collection<?> outputs)
static <S,I,T> TransitionPredicate<S,I,T>	TransitionPredicates.outputIs(TransitionOutput<? super T,?> transOut, @Nullable Object output)
static <S,I,T> TransitionPredicate<S,I,T>	TransitionPredicates.outputIsNot(TransitionOutput<? super T,?> transOut, @Nullable Object output)
static <S,I,T> TransitionPredicate<S,I,T>	TransitionPredicates.outputNotIn(TransitionOutput<? super T,?> transOut, @Nullable Object... outputs)
static <S,I,T> TransitionPredicate<S,I,T>	TransitionPredicates.outputNotIn(TransitionOutput<? super T,?> transOut, Collection<?> outputs)
static <S,I,T,O> TransitionPredicate<S,I,T>	TransitionPredicates.outputSatisfies(TransitionOutput<? super T,? extends O> transOut, Predicate<? super O> outputPred)
static <S,I,T,O> TransitionPredicate<S,I,T>	TransitionPredicates.outputViolates(TransitionOutput<? super T,? extends O> transOut, Predicate<? super O> outputPred)