Package owl.translations.ldba2dra
Class MapRankingAutomaton
- java.lang.Object
-
- owl.translations.ldba2dra.MapRankingAutomaton
-
public final class MapRankingAutomaton extends Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <S,T,A,L> Automaton<MapRankingState<S,A,T>,GeneralizedRabinAcceptance>
of(LimitDeterministicAutomaton<S,T,GeneralizedBuchiAcceptance,A> ldba, LanguageLattice<T,A,L> lattice, Predicate<S> isAcceptingState, boolean resetAfterSccSwitch, boolean optimizeInitialState)
-
-
-
Method Detail
-
of
public static <S,T,A,L> Automaton<MapRankingState<S,A,T>,GeneralizedRabinAcceptance> of(LimitDeterministicAutomaton<S,T,GeneralizedBuchiAcceptance,A> ldba, LanguageLattice<T,A,L> lattice, Predicate<S> isAcceptingState, boolean resetAfterSccSwitch, boolean optimizeInitialState)
-
-