Package owl.automaton.minimization
Class GfgCoBuchiMinimization
- java.lang.Object
-
- owl.automaton.minimization.GfgCoBuchiMinimization
-
public final class GfgCoBuchiMinimization extends Object
This class implements [ICALP'19] minimization of GFG automata.
-
-
Field Summary
Fields Modifier and Type Field Description static OwlModule<OwlModule.Transformer>
MODULE
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <S> Automaton<Set<S>,CoBuchiAcceptance>
minimize(Automaton<S,CoBuchiAcceptance> dcw)
-
-
-
Field Detail
-
MODULE
public static final OwlModule<OwlModule.Transformer> MODULE
-
-
Method Detail
-
minimize
public static <S> Automaton<Set<S>,CoBuchiAcceptance> minimize(Automaton<S,CoBuchiAcceptance> dcw)
-
-