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 |
---|---|
static <I,O,A extends MutableMealyMachine<?,I,?,O>> |
DOTParsers.mealy(AutomatonCreator<A,I> creator,
Function<Map<String,String>,Pair<I,O>> edgeParser)
Parser for
MealyMachine s with a custom automaton instance and custom edge attributes. |
static <I,O,A extends MutableMealyMachine<?,I,?,O>> |
DOTParsers.mealy(AutomatonCreator<A,I> creator,
Function<Map<String,String>,Pair<I,O>> edgeParser,
String initialNodeId)
Parser for
MealyMachine s with a custom automaton instance, custom edge attributes and a custom label for
the initial node. |
static <I,O,A extends MutableMealyMachine<?,I,?,O>> |
DOTParsers.mealy(AutomatonCreator<A,I> creator,
Function<Map<String,String>,Pair<I,O>> edgeParser,
String initialNodeId,
boolean fakeInitialNodeId)
Parser for
MealyMachine s with a custom automaton instance, custom edge attributes and a custom label for
the initial node and a flag whether or not the initial nodes are artificial. |
Modifier and Type | Class and Description |
---|---|
class |
MealyBuilder<S,I,T,O,A extends MutableMealyMachine<S,? super I,T,? super O>> |
Modifier and Type | Method and Description |
---|---|
static <S,I,T,O,A extends MutableMealyMachine<S,? super I,T,? super O>> |
AutomatonBuilders.forMealy(A mealy) |
Modifier and Type | Method and Description |
---|---|
static <A extends MutableMealyMachine<?,I,?,O>,I,O> |
HopcroftMinimization.minimizeMealy(MealyMachine<?,I,?,O> mealy,
Alphabet<I> alphabet,
HopcroftMinimization.PruningMode pruningMode,
AutomatonCreator<A,I> creator)
Minimizes the given Mealy machine.
|
Modifier and Type | Method and Description |
---|---|
static <A extends MutableMealyMachine<?,I,?,O>,I,O> |
PaigeTarjanMinimization.minimizeMealy(MealyMachine<?,I,?,O> mealy,
Alphabet<I> alphabet,
AutomatonCreator<A,I> creator)
Minimizes the given Mealy machine.
|
Modifier and Type | Method and Description |
---|---|
static <I,O1,O2,A extends MutableMealyMachine<?,I,?,Pair<O1,O2>>> |
MealyMachines.combine(MealyMachine<?,I,?,O1> mealy1,
MealyMachine<?,I,?,O2> mealy2,
Collection<? extends I> inputs,
A out)
Constructs the product automaton for two Mealy Machines.
|
static <S,I,T,O,A extends MutableMealyMachine<S,I,T,O>> |
MealyMachines.complete(MealyMachine<?,I,?,O> mealy,
Collection<? extends I> inputs,
O undefinedOutput,
A out)
Constructs a copy of the given Mealy machine in which every transition (with regards to the specified alphabet)
is guaranteed to be defined.
|
Modifier and Type | Method and Description |
---|---|
static <I,O> void |
MutableMealyMachines.complete(MutableMealyMachine<?,I,?,O> mealy,
Collection<? extends I> inputs,
O undefinedOutput) |
static <S,I,O> void |
MutableMealyMachines.complete(MutableMealyMachine<S,I,?,O> mealy,
Collection<? extends I> inputs,
O undefinedOutput,
boolean minimize) |
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) |
Copyright © 2020. All rights reserved.