Uses of Class
net.automatalib.automata.transducers.impl.compact.CompactMealy

Packages that use CompactMealy

Package	Description
net.automatalib.automata.transducers.impl.compact
net.automatalib.modelcheckers.ltsmin
net.automatalib.serialization.dot
net.automatalib.serialization.fsm.parser
net.automatalib.serialization.taf.parser
net.automatalib.util.automata.builders
net.automatalib.util.automata.minimizer.hopcroft
net.automatalib.util.automata.minimizer.paigetarjan
net.automatalib.util.automata.random
net.automatalib.util.automata.transducers

Uses of CompactMealy in net.automatalib.automata.transducers.impl.compact

Methods in net.automatalib.automata.transducers.impl.compact that return CompactMealy

Modifier and Type	Method and Description
CompactMealy<I,O>	CompactMealy.Creator.createAutomaton(Alphabet<I> alphabet)
CompactMealy<I,O>	CompactMealy.Creator.createAutomaton(Alphabet<I> alphabet, int sizeHint)

Uses of CompactMealy in net.automatalib.modelcheckers.ltsmin

Methods in net.automatalib.modelcheckers.ltsmin that return CompactMealy

Modifier and Type	Method and Description
default CompactMealy<I,O>	LTSminIO.fsm2Mealy(File fsm, MealyMachine<?,I,?,O> originalAutomaton, Collection<? extends I> inputs)
default CompactMealy<I,O>	LTSminAlternating.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 and Description
static InputModelDeserializer<String,CompactMealy<String,String>>	DOTParsers.mealy() Default parser for MealyMachines serialized by AutomataLib.
static <I,O> InputModelDeserializer<I,CompactMealy<I,O>>	DOTParsers.mealy(Function<Map<String,String>,Pair<I,O>> edgeParser) Parser for MealyMachines 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 and 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 and 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.automata.builders

Methods in net.automatalib.util.automata.builders that return types with arguments of type CompactMealy

Modifier and Type	Method and Description
static <I,O> MealyBuilder<Integer,I,CompactMealyTransition<O>,O,CompactMealy<I,O>>	AutomatonBuilders.newMealy(Alphabet<I> alphabet)

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

Methods in net.automatalib.util.automata.minimizer.hopcroft that return CompactMealy

Modifier and Type	Method and 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.automata.minimizer.paigetarjan

Methods in net.automatalib.util.automata.minimizer.paigetarjan that return CompactMealy

Modifier and Type	Method and 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.automata.random

Methods in net.automatalib.util.automata.random that return CompactMealy

Modifier and Type	Method and Description
<I,O> CompactMealy<I,O>	RandomAutomata.randomMealy(@NonNegative int numStates, Alphabet<I> inputs, Collection<? extends O> outputs)
<I,O> CompactMealy<I,O>	RandomAutomata.randomMealy(@NonNegative int numStates, Alphabet<I> inputs, Collection<? extends O> outputs, boolean minimize)
static <I,O> CompactMealy<I,O>	RandomAutomata.randomMealy(Random rand, @NonNegative int numStates, Alphabet<I> inputs, Collection<? extends O> outputs)
static <I,O> CompactMealy<I,O>	RandomAutomata.randomMealy(Random rand, @NonNegative int numStates, Alphabet<I> inputs, Collection<? extends O> outputs, boolean minimize)

Uses of CompactMealy in net.automatalib.util.automata.transducers

Methods in net.automatalib.util.automata.transducers that return CompactMealy

Modifier and Type	Method and 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 (with regards 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.