public final class MapRankingAutomaton
extends java.lang.Object
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,
java.util.function.Predicate<S> isAcceptingState,
boolean resetAfterSccSwitch,
boolean optimizeInitialState) |
public static <S,T,A,L> Automaton<MapRankingState<S,A,T>,GeneralizedRabinAcceptance> of(LimitDeterministicAutomaton<S,T,GeneralizedBuchiAcceptance,A> ldba, LanguageLattice<T,A,L> lattice, java.util.function.Predicate<S> isAcceptingState, boolean resetAfterSccSwitch, boolean optimizeInitialState)