Package | Description |
---|---|
net.automatalib.util.automata.builders | |
net.automatalib.util.automata.random | |
net.automatalib.util.automata.transout |
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 |
---|---|
<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.