Package owl.translations.ldba2dpa
Class AbstractBuilder<S,T,A,L,B extends GeneralizedBuchiAcceptance>
- java.lang.Object
-
- owl.translations.ldba2dpa.AbstractBuilder<S,T,A,L,B>
-
public class AbstractBuilder<S,T,A,L,B extends GeneralizedBuchiAcceptance> extends Object
-
-
Field Summary
Fields Modifier and Type Field Description protected Predicate<? super S>isAcceptingStateprotected LanguageLattice<T,A,L>latticeprotected LimitDeterministicAutomaton<S,T,B,A>ldbaprotected List<A>safetyComponentsprotected List<A>sortingOrder
-
Constructor Summary
Constructors Modifier Constructor Description protectedAbstractBuilder(LimitDeterministicAutomaton<S,T,B,A> ldba, LanguageLattice<T,A,L> lattice, Predicate<? super S> isAcceptingState, boolean resetAfterSccSwitch)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description protected TfindNextSafety(List<T> availableJumps, int i)protected booleaninsertableToRanking(T state, Map<A,Language<L>> existingLanguages)static <S extends AnnotatedState<?>,A extends OmegaAcceptance>
Automaton<S,A>optimizeInitialState(Automaton<S,A> readOnly)protected booleansccSwitchOccurred(S state, S successor)
-
-
-
Field Detail
-
lattice
protected final LanguageLattice<T,A,L> lattice
-
ldba
protected final LimitDeterministicAutomaton<S,T,B extends GeneralizedBuchiAcceptance,A> ldba
-
-
Method Detail
-
optimizeInitialState
public static <S extends AnnotatedState<?>,A extends OmegaAcceptance> Automaton<S,A> optimizeInitialState(Automaton<S,A> readOnly)
-
insertableToRanking
protected boolean insertableToRanking(T state, Map<A,Language<L>> existingLanguages)
-
-