Package owl.translations.ldba2dpa
Class FlatRankingAutomaton
- java.lang.Object
-
- owl.translations.ldba2dpa.FlatRankingAutomaton
-
public final class FlatRankingAutomaton extends Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <S,T,A,L> Automaton<FlatRankingState<S,T>,ParityAcceptance>
of(LimitDeterministicAutomaton<S,T,BuchiAcceptance,A> ldba, LanguageLattice<T,A,L> lattice, Predicate<? super S> isAcceptingState, boolean resetRanking, boolean optimizeInitialState)
-
-
-
Method Detail
-
of
public static <S,T,A,L> Automaton<FlatRankingState<S,T>,ParityAcceptance> of(LimitDeterministicAutomaton<S,T,BuchiAcceptance,A> ldba, LanguageLattice<T,A,L> lattice, Predicate<? super S> isAcceptingState, boolean resetRanking, boolean optimizeInitialState)
-
-