Package | Description |
---|---|
net.automatalib.util.minimizer |
Modifier and Type | Method and 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) |
<E> MinimizationResult<S,L> |
Minimizer.performMinimization(UniversalGraph<S,E,?,L> graph) |
<E> MinimizationResult<S,L> |
Minimizer.performMinimization(UniversalGraph<S,E,?,L> graph,
Collection<? extends S> initialNodes)
Performs the minimization of an automaton.
|
Constructor and Description |
---|
BlockMap(MinimizationResult<?,?> minResult)
Constructor.
|
Copyright © 2015. All Rights Reserved.