public final class FlatRankingAutomaton
extends java.lang.Object
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,
java.util.function.Predicate<S> isAcceptingState,
boolean resetRanking,
boolean optimizeInitialState) |
public static <S,T,A,L> Automaton<FlatRankingState<S,T>,ParityAcceptance> of(LimitDeterministicAutomaton<S,T,BuchiAcceptance,A> ldba, LanguageLattice<T,A,L> lattice, java.util.function.Predicate<S> isAcceptingState, boolean resetRanking, boolean optimizeInitialState)