Modifier and Type | Interface and Description |
---|---|
interface |
MutableMealyMachine<S,I,T,O> |
Modifier and Type | Class and Description |
---|---|
class |
AbstractMealyMachine<S,I,T,O> |
Modifier and Type | Method and Description |
---|---|
static <S,I,T,O> Void |
AbstractMealyMachine.getStateProperty(MealyMachine<S,I,T,O> $this,
S state) |
static <S,I,T,O> O |
AbstractMealyMachine.getTransitionProperty(MealyMachine<S,I,T,O> $this,
T transition) |
Modifier and Type | Class and Description |
---|---|
class |
FastMealy<I,O>
A fast implementation of a Mealy machine.
|
Modifier and Type | Class and Description |
---|---|
class |
CompactMealy<I,O> |
Modifier and Type | Method and Description |
---|---|
Word<I> |
IncrementalMealyDAGBuilder.findSeparatingWord(MealyMachine<?,I,?,O> target,
Collection<? extends I> inputs,
boolean omitUndefined) |
Modifier and Type | Method and Description |
---|---|
Word<I> |
IncrementalMealyTreeBuilder.findSeparatingWord(MealyMachine<?,I,?,O> target,
Collection<? extends I> inputs,
boolean omitUndefined) |
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 <S1,T1,S2,I,O> |
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.
|
Copyright © 2015. All rights reserved.