Package | Description |
---|---|
net.automatalib.util.automata.minimizer.hopcroft |
Modifier and Type | Method and Description |
---|---|
static HopcroftMinimization.PruningMode |
HopcroftMinimization.PruningMode.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static HopcroftMinimization.PruningMode[] |
HopcroftMinimization.PruningMode.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
static <S,I,A extends DFA<S,I> & InputAlphabetHolder<I>> |
HopcroftMinimization.minimizeDFA(A dfa,
HopcroftMinimization.PruningMode pruningMode)
Minimizes the given DFA.
|
static <I> CompactDFA<I> |
HopcroftMinimization.minimizeDFA(DFA<?,I> dfa,
Alphabet<I> alphabet,
HopcroftMinimization.PruningMode pruningMode)
Minimizes the given DFA.
|
static <A extends MutableDFA<?,I>,I> |
HopcroftMinimization.minimizeDFA(DFA<?,I> dfa,
Alphabet<I> alphabet,
HopcroftMinimization.PruningMode pruningMode,
AutomatonCreator<A,I> creator)
Minimizes the given DFA.
|
static <S,I,T,O,A extends MealyMachine<S,I,T,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,
HopcroftMinimization.PruningMode pruningMode)
Minimizes the given Mealy machine.
|
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.
|
static <I,T,SP,TP,A extends MutableDeterministic<?,I,?,SP,TP>> |
HopcroftMinimization.minimizeUniversal(UniversalDeterministicAutomaton<?,I,T,SP,TP> automaton,
Alphabet<I> alphabet,
AutomatonCreator<A,I> creator,
AutomatonInitialPartitioning ap,
HopcroftMinimization.PruningMode pruningMode)
Minimizes the given automaton depending on the given partitioning function.
|
Copyright © 2020. All rights reserved.