Package owl.automaton.acceptance.degeneralization

Class RabinDegeneralization

java.lang.Object

owl.automaton.acceptance.degeneralization.RabinDegeneralization

public final class RabinDegeneralization
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	RabinDegeneralization.DegeneralizedRabinState<S>

Method Summary

Modifier and Type	Method	Description
static <S> Automaton<?,? extends RabinAcceptance>	degeneralize(Automaton<S,? extends GeneralizedRabinAcceptance> automaton)

Methods inherited from class java.lang.Object

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

Method Detail

degeneralize

public static <S> Automaton<?,? extends RabinAcceptance> degeneralize(Automaton<S,? extends GeneralizedRabinAcceptance> automaton)