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) |
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) |
Modifier and Type | Method and Description |
---|---|
static <I,O> net.automatalib.util.automata.builders.MealyBuilder<Integer,I,CompactMealyTransition<O>,O,CompactMealy<I,O>> |
AutomatonBuilders.newMealy(Alphabet<I> alphabet) |
Modifier and Type | Method and Description |
---|---|
static <I,O,A extends MealyMachine<?,I,?,O> & InputAlphabetHolder<I>> |
HopcroftMinimization.minimizeMealy(A mealy)
Minimizes the given Mealy machine.
|
static <I,O,A extends MealyMachine<?,I,?,O> & InputAlphabetHolder<I>> |
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.
|
Modifier and Type | Method and Description |
---|---|
<I,O> CompactMealy<I,O> |
RandomAutomata.randomMealy(int numStates,
Alphabet<I> inputs,
Collection<? extends O> outputs) |
<I,O> CompactMealy<I,O> |
RandomAutomata.randomMealy(int numStates,
Alphabet<I> inputs,
Collection<? extends O> outputs,
boolean minimize) |
static <I,O> CompactMealy<I,O> |
RandomAutomata.randomMealy(Random rand,
int numStates,
Alphabet<I> inputs,
Collection<? extends O> outputs) |
static <I,O> CompactMealy<I,O> |
RandomAutomata.randomMealy(Random rand,
int numStates,
Alphabet<I> inputs,
Collection<? extends O> outputs,
boolean minimize) |
Modifier and Type | Method and Description |
---|---|
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.
|
Copyright © 2015. All rights reserved.