Uses of Class net.automatalib.automaton.transducer.CompactMealy (AutomataLib 0.11.0 API)

Packages that use CompactMealy
Package	Description
net.automatalib.automaton.transducer
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.serialization.dot
net.automatalib.serialization.fsm.parser
net.automatalib.serialization.taf.parser
net.automatalib.util.automaton.builder
net.automatalib.util.automaton.minimizer.hopcroft
net.automatalib.util.automaton.minimizer.paigetarjan
net.automatalib.util.automaton.random
net.automatalib.util.automaton.transducer

Uses of CompactMealy in net.automatalib.automaton.transducer

Methods in net.automatalib.automaton.transducer that return CompactMealy
Modifier and Type	Method	Description
`CompactMealy<I,O>`	CompactMealy.Creator.`createAutomaton(Alphabet<I> alphabet)`
`CompactMealy<I,O>`	CompactMealy.Creator.`createAutomaton(Alphabet<I> alphabet, int sizeHint)`

Constructors in net.automatalib.automaton.transducer with parameters of type CompactMealy
Constructor	Description
`CompactMealy(Alphabet<I> alphabet, CompactMealy<?,O> other)`
`CompactMealy(CompactMealy<I,O> other)`

Uses of CompactMealy in net.automatalib.modelchecker.ltsmin

Methods in net.automatalib.modelchecker.ltsmin that return CompactMealy
Modifier and Type	Method	Description
`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`.

Uses of CompactMealy in net.automatalib.serialization.dot

Methods in net.automatalib.serialization.dot that return types with arguments of type CompactMealy
Modifier and Type	Method	Description
`static DOTInputModelDeserializer<Integer,@Nullable String,CompactMealy<@Nullable String,@Nullable String>>`	DOTParsers.`mealy()`	Default parser for `MealyMachine`s serialized by AutomataLib.
`static <I,O> DOTInputModelDeserializer<Integer,I,CompactMealy<I,O>>`	DOTParsers.`mealy(Function<Map<String,String>,Pair<I,O>> edgeParser)`	Parser for `MealyMachine`s with custom edge attributes.

Uses of CompactMealy in net.automatalib.serialization.fsm.parser

Methods in net.automatalib.serialization.fsm.parser that return CompactMealy
Modifier and Type	Method	Description
`protected CompactMealy<I,O>`	AbstractFSM2MealyParser.`parseMealy(Reader reader)`	Constructs the actual `MealyMachine`, using `AbstractFSM2MealyParser.states`, and `AbstractFSM2MealyParser.transitions`.
`CompactMealy<I,O>`	AbstractFSM2MealyParser.`readModel(InputStream is)`

Uses of CompactMealy in net.automatalib.serialization.taf.parser

Methods in net.automatalib.serialization.taf.parser that return CompactMealy
Modifier and Type	Method	Description
`static CompactMealy<String,String>`	TAFParser.`parseMealy(File file, TAFParseDiagnosticListener listener)`
`static CompactMealy<String,String>`	TAFParser.`parseMealy(InputStream stream, TAFParseDiagnosticListener listener)`
`static CompactMealy<String,String>`	TAFParser.`parseMealy(Reader reader, TAFParseDiagnosticListener listener)`
`static CompactMealy<String,String>`	TAFParser.`parseMealy(String string, TAFParseDiagnosticListener listener)`

Uses of CompactMealy in net.automatalib.util.automaton.builder

Methods in net.automatalib.util.automaton.builder that return types with arguments of type CompactMealy
Modifier and Type	Method	Description
`static <I,O> MealyBuilder<Integer,I,CompactTransition<O>,O,CompactMealy<I,O>>`	AutomatonBuilders.`newMealy(Alphabet<I> alphabet)`

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

Methods in net.automatalib.util.automaton.minimizer.hopcroft that return CompactMealy
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.
`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.

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

Methods in net.automatalib.util.automaton.minimizer.paigetarjan that return CompactMealy
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.
`static <I,O> CompactMealy<I,O>`	PaigeTarjanMinimization.`minimizeMealy(MealyMachine<?,I,?,O> mealy, Alphabet<I> alphabet)`	Minimizes the given Mealy machine.

Uses of CompactMealy in net.automatalib.util.automaton.random

Methods in net.automatalib.util.automaton.random that return CompactMealy
Modifier and Type	Method	Description
`static <I,O> CompactMealy<I,O>`	RandomAutomata.`randomMealy(Random rand, @org.checkerframework.checker.index.qual.NonNegative int numStates, Alphabet<I> inputs, Collection<? extends O> outputs)`
`static <I,O> CompactMealy<I,O>`	RandomAutomata.`randomMealy(Random rand, @org.checkerframework.checker.index.qual.NonNegative int numStates, Alphabet<I> inputs, Collection<? extends O> outputs, boolean minimize)`

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

Methods in net.automatalib.util.automaton.transducer that return CompactMealy
Modifier and Type	Method	Description
`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 <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 <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.