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.

Method Summary

Modifier and Type	Method	Description
static <S> Automaton<Set<S>,CoBuchiAcceptance>	minimize(Automaton<S,? extends CoBuchiAcceptance> dcw)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

minimize

public static <S> Automaton<Set<S>,CoBuchiAcceptance> minimize(Automaton<S,? extends CoBuchiAcceptance> dcw)