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.
-