Uses of Interface net.automatalib.automaton.transducer.MealyMachine (AutomataLib 0.11.0 API)

Packages that use MealyMachine
Package	Description
net.automatalib.automaton.procedural
net.automatalib.automaton.transducer
net.automatalib.incremental.mealy
net.automatalib.incremental.mealy.dag
net.automatalib.modelchecker.ltsmin	This package (and sub-packages) provides the integration of the model checker LTSmin as described in the paper Sound Black-Box Checking in the LearnLib by Jeroen Meijer and Jaco van de Pol.
net.automatalib.modelchecker.ltsmin.ltl
net.automatalib.modelchecker.ltsmin.monitor
net.automatalib.modelchecking
net.automatalib.serialization.etf.writer
net.automatalib.serialization.taf
net.automatalib.serialization.taf.writer
net.automatalib.util.automaton.ads
net.automatalib.util.automaton.minimizer.hopcroft
net.automatalib.util.automaton.minimizer.paigetarjan
net.automatalib.util.automaton.transducer

Uses of MealyMachine in net.automatalib.automaton.procedural

Methods in net.automatalib.automaton.procedural that return types with arguments of type MealyMachine
Modifier and Type	Method	Description
`StackState<S,I,MealyMachine<S,I,T,O>>`	StackSPMM.`getInitialState()`
`Map<I,MealyMachine<?,I,?,O>>`	EmptySPMM.`getProcedures()`
`Map<I,MealyMachine<?,I,?,O>>`	StackSPMM.`getProcedures()`
`StackState<S,I,MealyMachine<S,I,T,O>>`	StackSPMM.`getSuccessor(MealyTransition<StackState<S,I,MealyMachine<S,I,T,O>>,O> transition)`
`MealyTransition<StackState<S,I,MealyMachine<S,I,T,O>>,O>`	StackSPMM.`getTransition(StackState<S,I,MealyMachine<S,I,T,O>> state, I input)`

Method parameters in net.automatalib.automaton.procedural with type arguments of type MealyMachine
Modifier and Type	Method	Description
`StackState<S,I,MealyMachine<S,I,T,O>>`	StackSPMM.`getSuccessor(MealyTransition<StackState<S,I,MealyMachine<S,I,T,O>>,O> transition)`
`MealyTransition<StackState<S,I,MealyMachine<S,I,T,O>>,O>`	StackSPMM.`getTransition(StackState<S,I,MealyMachine<S,I,T,O>> state, I input)`
`O`	StackSPMM.`getTransitionOutput(MealyTransition<StackState<S,I,MealyMachine<S,I,T,O>>,O> transition)`

Constructor parameters in net.automatalib.automaton.procedural with type arguments of type MealyMachine
Constructor	Description
`StackSPMM(ProceduralInputAlphabet<I> alphabet, @Nullable I initialCall, O initialOutput, O errorOutput, Map<I,? extends MealyMachine<? extends S,I,? extends T,O>> procedures)`

Uses of MealyMachine in net.automatalib.automaton.transducer

Classes in net.automatalib.automaton.transducer with type parameters of type MealyMachine
Modifier and Type	Class	Description
`static class`	`MealyMachine.MealyGraphView<S,I,T,O,A extends MealyMachine<S,I,T,O>>`

Subinterfaces of MealyMachine in net.automatalib.automaton.transducer
Modifier and Type	Interface	Description
`interface`	`MutableMealyMachine<S,I,T,O>`
`interface`	`StateLocalInputMealyMachine<S,I,T,O>`

Classes in net.automatalib.automaton.transducer that implement MealyMachine
Modifier and Type	Class	Description
`class`	`CompactMealy<I,O>`
`class`	`FastMealy<I,O>`	A fast implementation of a Mealy machine.

Uses of MealyMachine in net.automatalib.incremental.mealy

Constructors in net.automatalib.incremental.mealy with parameters of type MealyMachine
Constructor Description

VisualizationHelper(MealyMachine<S,I,T,O> mealy)

Uses of MealyMachine in net.automatalib.incremental.mealy.dag

Methods in net.automatalib.incremental.mealy.dag with parameters of type MealyMachine
Modifier and Type	Method	Description
`@Nullable Word<I>`	IncrementalMealyDAGBuilder.`findSeparatingWord(MealyMachine<?,I,?,O> target, Collection<? extends I> inputs, boolean omitUndefined)`

Uses of MealyMachine in net.automatalib.modelchecker.ltsmin

Methods in net.automatalib.modelchecker.ltsmin with parameters of type MealyMachine
Modifier and Type	Method	Description
`default void`	LTSminMealy.`automaton2ETF(MealyMachine<?,I,?,O> mealyMachine, Collection<? extends I> inputs, File etf)`	Writes the `MealyMachine` to the `etf` file while pruning way the outputs given in `ModelChecker.MealyModelChecker.getSkipOutputs()`.
`default CompactMealy<I,O>`	LTSminAlternating.`fsm2Mealy(File fsm, MealyMachine<?,I,?,O> originalAutomaton, Collection<? extends I> inputs)`
`default CompactMealy<I,O>`	LTSminIO.`fsm2Mealy(File fsm, MealyMachine<?,I,?,O> originalAutomaton, Collection<? extends I> inputs)`
`CompactMealy<I,O>`	LTSminMealy.`fsm2Mealy(File fsm, MealyMachine<?,I,?,O> originalAutomaton, Collection<? extends I> inputs)`	Converts the given `fsm` to a `CompactMealy`.
`default void`	LTSminAlternating.`mealy2ETF(MealyMachine<?,I,?,O> automaton, Collection<? extends I> inputs, File etf)`
`default void`	LTSminIO.`mealy2ETF(MealyMachine<?,I,?,O> automaton, Collection<? extends I> inputs, File etf)`
`void`	LTSminMealy.`mealy2ETF(MealyMachine<?,I,?,O> automaton, Collection<? extends I> inputs, File etf)`	Writes the given `MealyMachine` to the `etf` file.

Uses of MealyMachine in net.automatalib.modelchecker.ltsmin.ltl

Methods in net.automatalib.modelchecker.ltsmin.ltl with parameters of type MealyMachine
Modifier and Type	Method	Description
`@Nullable Lasso.MealyLasso<I,O>`	AbstractLTSminLTLMealy.`findCounterExample(MealyMachine<?,I,?,O> automaton, Collection<? extends I> inputs, String property)`

Uses of MealyMachine in net.automatalib.modelchecker.ltsmin.monitor

Methods in net.automatalib.modelchecker.ltsmin.monitor that return MealyMachine
Modifier and Type	Method	Description
`@Nullable MealyMachine<?,I,?,O>`	AbstractLTSminMonitorMealy.`findCounterExample(MealyMachine<?,I,?,O> automaton, Collection<? extends I> inputs, String property)`	Converts the FSM file to a `MealyMachine`.

Methods in net.automatalib.modelchecker.ltsmin.monitor with parameters of type MealyMachine
Modifier and Type	Method	Description
`@Nullable MealyMachine<?,I,?,O>`	AbstractLTSminMonitorMealy.`findCounterExample(MealyMachine<?,I,?,O> automaton, Collection<? extends I> inputs, String property)`	Converts the FSM file to a `MealyMachine`.

Uses of MealyMachine in net.automatalib.modelchecking

Subinterfaces of MealyMachine in net.automatalib.modelchecking
Modifier and Type	Interface	Description
`static interface`	`Lasso.MealyLasso<I,O>`	A MealyLasso is a lasso for `MealyMachine`s.

Classes in net.automatalib.modelchecking that implement MealyMachine
Modifier and Type	Class	Description
`class`	`MealyLassoImpl<I,O>`	A MealyLasso is a lasso for `MealyMachine`s.

Uses of MealyMachine in net.automatalib.serialization.etf.writer

Methods in net.automatalib.serialization.etf.writer with parameters of type MealyMachine
Modifier and Type	Method	Description
`protected void`	Mealy2ETFWriterAlternating.`writeETF(PrintWriter pw, MealyMachine<?,I,?,O> mealy, Alphabet<I> inputs)`	Write the specific parts of the ETF for Mealy machines with alternating edge semantics.
`protected void`	Mealy2ETFWriterIO.`writeETF(PrintWriter pw, MealyMachine<?,I,?,O> mealy, Alphabet<I> inputs)`	Write ETF parts specific for Mealy machines with IO semantics.
`void`	Mealy2ETFWriterAlternating.`writeModel(OutputStream os, MealyMachine<?,I,?,O> model, Alphabet<I> alphabet)`
`void`	Mealy2ETFWriterIO.`writeModel(OutputStream os, MealyMachine<?,I,?,O> model, Alphabet<I> alphabet)`

Uses of MealyMachine in net.automatalib.serialization.taf

Methods in net.automatalib.serialization.taf that return types with arguments of type MealyMachine
Modifier and Type	Method	Description
`InputModelData<String,MealyMachine<?,String,?,String>>`	TAFSerializationMealy.`readModel(InputStream is)`

Methods in net.automatalib.serialization.taf with parameters of type MealyMachine
Modifier and Type	Method	Description
`void`	TAFSerializationMealy.`writeModel(OutputStream os, MealyMachine<?,String,?,?> model, Alphabet<String> alphabet)`

Uses of MealyMachine in net.automatalib.serialization.taf.writer

Methods in net.automatalib.serialization.taf.writer with parameters of type MealyMachine
Modifier and Type	Method	Description
`static <I> void`	TAFWriter.`mealyToString(MealyMachine<?,I,?,?> mealy, Collection<? extends I> inputs)`
`static <I> void`	TAFWriter.`writeMealy(MealyMachine<?,I,?,?> mealy, Collection<? extends I> inputs, File out)`
`static <I> void`	TAFWriter.`writeMealy(MealyMachine<?,I,?,?> mealy, Collection<? extends I> inputs, Appendable out)`

Uses of MealyMachine in net.automatalib.util.automaton.ads

Methods in net.automatalib.util.automaton.ads with parameters of type MealyMachine
Modifier and Type	Method	Description
`static <S,I,T,O> Pair<ADSNode<S,I,O>,ADSNode<S,I,O>>`	ADSUtil.`buildFromTrace(MealyMachine<S,I,T,O> automaton, Word<I> trace, S state)`
`static <S,I,O> Optional<ADSNode<S,I,O>>`	ADS.`compute(MealyMachine<S,I,?,O> automaton, Alphabet<I> input, Set<S> states)`	Compute an adaptive distinguishing sequence for the given automaton and the given set of states.
`static <S,I,O> Optional<ADSNode<S,I,O>>`	BacktrackingSearch.`compute(MealyMachine<S,I,?,O> automaton, Alphabet<I> input, Set<S> states)`	Computes an ADS by constructing (growing) splitting words for the current set of states and recursively computing sub-ADSs for the induced partitions.
`static <S,I,O> LYResult<S,I,O>`	LeeYannakakis.`compute(MealyMachine<S,I,?,O> automaton, Alphabet<I> input)`	Computes an ADS using the algorithm of Lee and Yannakakis.
`static <S,I,O> Optional<ADSNode<S,I,O>>`	StateEquivalence.`compute(MealyMachine<S,I,?,O> automaton, Alphabet<I> input, Set<S> states)`	Computes a two-state ADS by using `Automata.findSeparatingWord(UniversalDeterministicAutomaton, UniversalDeterministicAutomaton, Collection)`.
`static <S,I,O> Optional<ADSNode<S,I,O>>`	BacktrackingSearch.`computeOptimal(MealyMachine<S,I,?,O> automaton, Alphabet<I> input, Set<S> states, BacktrackingSearch.CostAggregator costAggregator)`	Computes an ADS by iterating over the successor tree in a breadth-first manner, yielding an optimal (dependent on the passed optimization function) ADS.

Uses of MealyMachine in net.automatalib.util.automaton.minimizer.hopcroft

Methods in net.automatalib.util.automaton.minimizer.hopcroft with type parameters of type MealyMachine
Modifier and Type	Method	Description
`static <S,I,T,O,A extends MealyMachine<S,I,T,O> & InputAlphabetHolder<I>> CompactMealy<I,O>`	HopcroftMinimization.`minimizeMealy(A mealy)`	Minimizes the given Mealy machine.
`static <S,I,T,O,A extends MealyMachine<S,I,T,O> & InputAlphabetHolder<I>> CompactMealy<I,O>`	HopcroftMinimization.`minimizeMealy(A mealy, HopcroftMinimization.PruningMode pruningMode)`	Minimizes the given Mealy machine.

Methods in net.automatalib.util.automaton.minimizer.hopcroft with parameters of type MealyMachine
Modifier and Type	Method	Description
`static <I,O> CompactMealy<I,O>`	HopcroftMinimization.`minimizeMealy(MealyMachine<?,I,?,O> mealy, Alphabet<I> alphabet)`	Minimizes the given Mealy machine.
`static <I,O> CompactMealy<I,O>`	HopcroftMinimization.`minimizeMealy(MealyMachine<?,I,?,O> mealy, Alphabet<I> alphabet, HopcroftMinimization.PruningMode pruningMode)`	Minimizes the given Mealy machine.
`static <A extends MutableMealyMachine<?,I,?,O>,I,O> A`	HopcroftMinimization.`minimizeMealy(MealyMachine<?,I,?,O> mealy, Alphabet<I> alphabet, HopcroftMinimization.PruningMode pruningMode, AutomatonCreator<A,I> creator)`	Minimizes the given Mealy machine.

Uses of MealyMachine in net.automatalib.util.automaton.minimizer.paigetarjan

Methods in net.automatalib.util.automaton.minimizer.paigetarjan with type parameters of type MealyMachine
Modifier and Type	Method	Description
`static <S,I,T,O,A extends MealyMachine<S,I,T,O> & InputAlphabetHolder<I>> CompactMealy<I,O>`	PaigeTarjanMinimization.`minimizeMealy(A mealy)`	Minimizes the given Mealy machine.

Methods in net.automatalib.util.automaton.minimizer.paigetarjan with parameters of type MealyMachine
Modifier and Type	Method	Description
`static <I,O> CompactMealy<I,O>`	PaigeTarjanMinimization.`minimizeMealy(MealyMachine<?,I,?,O> mealy, Alphabet<I> alphabet)`	Minimizes the given Mealy machine.
`static <A extends MutableMealyMachine<?,I,?,O>,I,O> A`	PaigeTarjanMinimization.`minimizeMealy(MealyMachine<?,I,?,O> mealy, Alphabet<I> alphabet, AutomatonCreator<A,I> creator)`	Minimizes the given Mealy machine.

Uses of MealyMachine in net.automatalib.util.automaton.transducer

Methods in net.automatalib.util.automaton.transducer with parameters of type MealyMachine
Modifier and Type	Method	Description
`static <I,O1,O2,A extends MutableMealyMachine<?,I,?,Pair<O1,O2>>> A`	MealyMachines.`combine(MealyMachine<?,I,?,O1> mealy1, MealyMachine<?,I,?,O2> mealy2, Collection<? extends I> inputs, A out)`	Constructs the product automaton for two Mealy Machines.
`static <I,O1,O2> CompactMealy<I,Pair<O1,O2>>`	MealyMachines.`combine(MealyMachine<?,I,?,O1> mealy1, MealyMachine<?,I,?,O2> mealy2, Alphabet<I> inputAlphabet)`	Constructs the product automaton for two Mealy Machines.
`static <S,I,T,O,A extends MutableMealyMachine<S,I,T,O>> A`	MealyMachines.`complete(MealyMachine<?,I,?,O> mealy, Collection<? extends I> inputs, O undefinedOutput, A out)`	Constructs a copy of the given Mealy machine in which every transition (in regard to the specified alphabet) is guaranteed to be defined.
`static <I,O> CompactMealy<I,O>`	MealyMachines.`complete(MealyMachine<?,I,?,O> mealy, Alphabet<I> inputs, O undefinedOutput)`	Constructs a copy of the given Mealy machine in which every transition (in regard to the specified alphabet) is guaranteed to be defined.
`static <I,O> CompactMealy<I,O>`	MealyFilter.`filterByOutput(MealyMachine<?,I,?,O> in, Alphabet<I> inputs, Predicate<? super O> outputPred)`
`static <S1,T1,S2,I,O> Mapping<S1,S2>`	MealyFilter.`filterByOutput(MealyMachine<S1,I,T1,O> in, Collection<? extends I> inputs, MutableMealyMachine<S2,I,?,O> out, Predicate<? super O> outputPred)`
`static <I,O> CompactMealy<I,O>`	MealyFilter.`pruneTransitionsWithOutput(MealyMachine<?,I,?,O> in, Alphabet<I> inputs, Collection<? super O> outputs)`	Returns a Mealy machine with all transitions removed that have one of the specified output values.
`static <I,O> CompactMealy<I,O>`	MealyFilter.`pruneTransitionsWithOutput(MealyMachine<?,I,?,O> in, Alphabet<I> inputs, O... outputs)`	Returns a Mealy machine with all transitions removed that have one of the specified output values.
`static <I,O> CompactMealy<I,O>`	MealyFilter.`retainTransitionsWithOutput(MealyMachine<?,I,?,O> in, Alphabet<I> inputs, Collection<? super O> outputs)`	Returns a Mealy machine with all transitions removed that have an output not among the specified values.
`static <I,O> CompactMealy<I,O>`	MealyFilter.`retainTransitionsWithOutput(MealyMachine<?,I,?,O> in, Alphabet<I> inputs, O... outputs)`	Returns a Mealy machine with all transitions removed that have an output not among the specified values.