Package owl.automaton.minimization
-
Class Summary Class Description GfgCoBuchiMinimization This class implements [ICALP'19] minimization of GFG automata.
| Class | Description |
|---|---|
| GfgCoBuchiMinimization |
This class implements [ICALP'19] minimization of GFG automata.
|