Package owl.automaton.ldba
-
Interface Summary Interface Description LimitDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V> MutableAutomatonBuilder<S,T,U extends OmegaAcceptance> -
Class Summary Class Description LimitDeterministicAutomatonBuilder<S,KeyT,T,B extends GeneralizedBuchiAcceptance,C> LimitDeterministicAutomatonImpl<S,T,U extends GeneralizedBuchiAcceptance,V> -
Enum Summary Enum Description LimitDeterministicAutomatonBuilder.Configuration