OneSEVPAMinimizer (AutomataLib 0.11.0 API)

java.lang.Object
- net.automatalib.util.minimizer.OneSEVPAMinimizer

```
public final class OneSEVPAMinimizer
extends Object
```
A Paige/Tarjan partition refinement based minimizer for OneSEVPAs.

- Method Summary
  
  All Methods Static Methods Concrete Methods
  Modifier and Type Method Description
  
  static <I> DefaultOneSEVPA<I> minimize(OneSEVPA<?,I> sevpa, VPAlphabet<I> alphabet)
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

minimize

public static <I> DefaultOneSEVPA<I> minimize(OneSEVPA<?,I> sevpa,
                                              VPAlphabet<I> alphabet)