@EverythingIsNonnullByDefault

# 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 |