Uses of Class
net.automatalib.util.minimizer.MinimizationResult
-
Packages that use MinimizationResult Package Description net.automatalib.util.minimizer -
-
Uses of MinimizationResult in net.automatalib.util.minimizer
Methods in net.automatalib.util.minimizer that return MinimizationResult Modifier and Type Method Description static <S,L>
MinimizationResult<S,L>Minimizer. minimize(UniversalGraph<S,?,?,L> graph)Minimizes an automaton.static <S,L>
MinimizationResult<S,L>Minimizer. minimize(UniversalGraph<S,?,?,L> graph, Collection<? extends S> start)MinimizationResult<S,L>Minimizer. performMinimization(UniversalGraph<S,?,?,L> graph)<E> MinimizationResult<S,L>Minimizer. performMinimization(UniversalGraph<S,E,?,L> graph, Collection<? extends S> initialNodes)Performs the minimization of an automaton.Constructors in net.automatalib.util.minimizer with parameters of type MinimizationResult Constructor Description BlockMap(MinimizationResult<?,?> minResult)Constructor.
-