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

Packages that use HopcroftMinimization.PruningMode

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

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

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

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.

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

Modifier and Type	Method and Description
static <I,A extends DFA<?,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 <I,O,A extends MealyMachine<?,I,?,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.