Package owl.translations.ldba2dpa
-
Interface Summary Interface Description Language<L> LanguageLattice<S,A,L> -
Class Summary Class Description AbstractBuilder<S,T,A,L,B extends GeneralizedBuchiAcceptance> FlatRankingAutomaton FlatRankingState<S,T>
| Interface | Description |
|---|---|
| Language<L> | |
| LanguageLattice<S,A,L> |
| Class | Description |
|---|---|
| AbstractBuilder<S,T,A,L,B extends GeneralizedBuchiAcceptance> | |
| FlatRankingAutomaton | |
| FlatRankingState<S,T> |