Uses of Class
net.automatalib.util.automaton.minimizer.hopcroft.HopcroftMinimization.PruningMode

Packages that use HopcroftMinimization.PruningMode

Package	Description
net.automatalib.util.automaton.minimizer.hopcroft

Uses of HopcroftMinimization.PruningMode in net.automatalib.util.automaton.minimizer.hopcroft

Methods in net.automatalib.util.automaton.minimizer.hopcroft that return HopcroftMinimization.PruningMode

Modifier and Type	Method	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.

Methods in net.automatalib.util.automaton.minimizer.hopcroft with parameters of type HopcroftMinimization.PruningMode

Modifier and Type	Method	Description
static <S,I,A extends DFA<S,I> & InputAlphabetHolder<I>> CompactDFA<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> A	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>> CompactMealy<I,O>	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> A	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>> A	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.