Package owl.automaton.transformations
Class BuchiDegeneralization
- java.lang.Object
-
- owl.automaton.transformations.BuchiDegeneralization
-
public final class BuchiDegeneralization extends Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <S> Automaton<? extends AnnotatedState<S>,BuchiAcceptance>
degeneralize(Automaton<S,? extends GeneralizedBuchiAcceptance> automaton)
-
-
-
Method Detail
-
degeneralize
public static <S> Automaton<? extends AnnotatedState<S>,BuchiAcceptance> degeneralize(Automaton<S,? extends GeneralizedBuchiAcceptance> automaton)
-
-