public class AbstractBuilder<S,T,A,L,B extends GeneralizedBuchiAcceptance>
extends java.lang.Object
Modifier and Type | Field | Description |
---|---|---|
protected java.util.function.Predicate<S> |
isAcceptingState |
|
protected LanguageLattice<T,A,L> |
lattice |
|
protected LimitDeterministicAutomaton<S,T,B,A> |
ldba |
|
protected java.util.List<A> |
safetyComponents |
|
protected java.util.List<A> |
sortingOrder |
Modifier | Constructor | Description |
---|---|---|
protected |
AbstractBuilder(LimitDeterministicAutomaton<S,T,B,A> ldba,
LanguageLattice<T,A,L> lattice,
java.util.function.Predicate<S> isAcceptingState,
boolean resetAfterSccSwitch) |
Modifier and Type | Method | Description |
---|---|---|
protected T |
findNextSafety(java.util.List<T> availableJumps,
int i) |
|
protected boolean |
insertableToRanking(T state,
java.util.Map<A,Language<L>> existingLanguages) |
|
static <S,A extends OmegaAcceptance,S2 extends AnnotatedState<S>> |
optimizeInitialState(Automaton<S2,A> readOnly) |
|
protected boolean |
sccSwitchOccurred(S state,
S successor) |
protected final java.util.function.Predicate<S> isAcceptingState
protected final LanguageLattice<T,A,L> lattice
protected final LimitDeterministicAutomaton<S,T,B extends GeneralizedBuchiAcceptance,A> ldba
protected final java.util.List<A> safetyComponents
protected final java.util.List<A> sortingOrder
protected AbstractBuilder(LimitDeterministicAutomaton<S,T,B,A> ldba, LanguageLattice<T,A,L> lattice, java.util.function.Predicate<S> isAcceptingState, boolean resetAfterSccSwitch)
public static <S,A extends OmegaAcceptance,S2 extends AnnotatedState<S>> Automaton<S2,A> optimizeInitialState(Automaton<S2,A> readOnly)
protected boolean insertableToRanking(T state, java.util.Map<A,Language<L>> existingLanguages)