A B C D E F G H I L M N P R S T U V W
All Classes All Packages
All Classes All Packages
All Classes All Packages
A
- AbstractAlphabet<I> - Class in net.automatalib.alphabet
- AbstractAlphabet() - Constructor for class net.automatalib.alphabet.AbstractAlphabet
- AbstractCompact<I,T,SP,TP> - Class in net.automatalib.automaton.base
-
Abstract super class for compact automata representations.
- AbstractCompact(Alphabet<I>, int, float) - Constructor for class net.automatalib.automaton.base.AbstractCompact
- AbstractCompact(Alphabet<I>, AbstractCompact<?, ?, ?, ?>) - Constructor for class net.automatalib.automaton.base.AbstractCompact
- AbstractCompact.Payload - Class in net.automatalib.automaton.base
-
A utility class that encapsulates necessary information for performing an update of the stored automata data.
- AbstractCompactBidiGraph<NP,EP> - Class in net.automatalib.graph.base
- AbstractCompactBidiGraph() - Constructor for class net.automatalib.graph.base.AbstractCompactBidiGraph
- AbstractCompactBidiGraph(int) - Constructor for class net.automatalib.graph.base.AbstractCompactBidiGraph
- AbstractCompactDeterministic<I,T,SP,TP> - Class in net.automatalib.automaton.base
-
Abstract super class that refines
AbstractCompact
for deterministic automata. - AbstractCompactDeterministic(Alphabet<I>, int, float) - Constructor for class net.automatalib.automaton.base.AbstractCompactDeterministic
- AbstractCompactDeterministic(Alphabet<I>, AbstractCompactDeterministic<?, ?, ?, ?>) - Constructor for class net.automatalib.automaton.base.AbstractCompactDeterministic
- AbstractCompactGraph<E extends CompactEdge<EP>,NP,EP> - Class in net.automatalib.graph.base
- AbstractCompactGraph() - Constructor for class net.automatalib.graph.base.AbstractCompactGraph
- AbstractCompactGraph(int) - Constructor for class net.automatalib.graph.base.AbstractCompactGraph
- AbstractCompactMTS<I,T,TP extends MutableModalEdgeProperty> - Class in net.automatalib.ts.modal
-
An abstract base-implementation for
MutableModalTransitionSystem
s. - AbstractCompactMTS(Alphabet<I>) - Constructor for class net.automatalib.ts.modal.AbstractCompactMTS
- AbstractCompactMTS(Alphabet<I>, int, float) - Constructor for class net.automatalib.ts.modal.AbstractCompactMTS
- AbstractCompactSimpleDeterministic<I,SP> - Class in net.automatalib.automaton.base
-
Abstract super class that refines
AbstractCompactDeterministic
for transition-property-less automata. - AbstractCompactSimpleDeterministic(Alphabet<I>, int, float) - Constructor for class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
- AbstractCompactSimpleDeterministic(Alphabet<I>, AbstractCompactSimpleDeterministic<?, SP>) - Constructor for class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
- AbstractCompactSimpleNondet<I,SP> - Class in net.automatalib.automaton.base
-
Abstract super class that refines
AbstractCompact
for transition-property-less automata. - AbstractCompactSimpleNondet(Alphabet<I>, int, float) - Constructor for class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- AbstractCompactSimpleNondet(Alphabet<I>, AbstractCompactSimpleNondet<?, ?>) - Constructor for class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- AbstractDefaultSEVPA<I> - Class in net.automatalib.automaton.vpa
-
Basic functionality for
Location
-based SEVPA implementations. - AbstractDefaultSEVPA(VPAlphabet<I>, int) - Constructor for class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
- AbstractFastMutable<S extends AbstractFastState<?>,I,T,SP,TP> - Class in net.automatalib.automaton.base
-
Shared functionality for (non-) deterministic mutable automata.
- AbstractFastMutable(Alphabet<I>) - Constructor for class net.automatalib.automaton.base.AbstractFastMutable
- AbstractFastMutableDet<S extends AbstractFastState<T>,I,T,SP,TP> - Class in net.automatalib.automaton.base
- AbstractFastMutableDet(Alphabet<I>) - Constructor for class net.automatalib.automaton.base.AbstractFastMutableDet
- AbstractFastMutableNondet<S extends AbstractFastState<Collection<T>>,I,T,SP,TP> - Class in net.automatalib.automaton.base
- AbstractFastMutableNondet(Alphabet<I>) - Constructor for class net.automatalib.automaton.base.AbstractFastMutableNondet
- AbstractFastState<T> - Class in net.automatalib.automaton.base
- AbstractFastState(int) - Constructor for class net.automatalib.automaton.base.AbstractFastState
- AbstractLasso<I,D> - Class in net.automatalib.modelchecking
- AbstractLasso(DetOutputAutomaton<S, I, ?, D>, Collection<? extends I>, int) - Constructor for class net.automatalib.modelchecking.AbstractLasso
-
Constructs a finite representation of a given automaton (that contains a lasso), by unrolling the loop
unfoldTimes
. - AbstractRecursiveADSLeafNode<S,I,O,N extends RecursiveADSNode<S,I,O,N>> - Class in net.automatalib.graph.ads
-
An abstract implementation of a leaf node, that may be used by other ADS-extending classes.
- AbstractRecursiveADSLeafNode(N, S) - Constructor for class net.automatalib.graph.ads.AbstractRecursiveADSLeafNode
- AbstractRecursiveADSSymbolNode<S,I,O,N extends RecursiveADSNode<S,I,O,N>> - Class in net.automatalib.graph.ads
-
An abstract implementation of a symbol node, that may be used by other ADS-extending classes.
- AbstractRecursiveADSSymbolNode(N, I) - Constructor for class net.automatalib.graph.ads.AbstractRecursiveADSSymbolNode
- AbstractSEVPA<L,I> - Class in net.automatalib.automaton.vpa
-
Abstract class for k-SEVPAs that implements functionality shared across different subtypes.
- AbstractSEVPA(VPAlphabet<I>) - Constructor for class net.automatalib.automaton.vpa.AbstractSEVPA
- AbstractSymbol<S extends AbstractSymbol<S>> - Class in net.automatalib.alphabet
- AbstractSymbol() - Constructor for class net.automatalib.alphabet.AbstractSymbol
- AbstractUnfoldingModelChecker<I,A,P,L extends Lasso<I,?>> - Class in net.automatalib.modelchecking
-
An
ModelCheckerLasso
that can unfold loops of lassos. - AbstractUnfoldingModelChecker(int, double) - Constructor for class net.automatalib.modelchecking.AbstractUnfoldingModelChecker
-
Constructs a new AbstractUnfoldingModelChecker.
- AbstractVPAlphabet<I> - Class in net.automatalib.alphabet
-
Abstract utility class that implements functionality shared across different subtypes.
- AbstractVPAlphabet(Alphabet<I>, Alphabet<I>, Alphabet<I>) - Constructor for class net.automatalib.alphabet.AbstractVPAlphabet
- add(I) - Method in class net.automatalib.alphabet.GrowingMapAlphabet
- add(S, int) - Method in class net.automatalib.ts.powerset.FastPowersetState
- addAlphabetSymbol(I) - Method in class net.automatalib.automaton.base.AbstractCompact
- addAlphabetSymbol(I) - Method in class net.automatalib.automaton.base.AbstractFastMutable
- addInitialLocation(boolean) - Method in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
- addIntInitialState(SP) - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
- addIntNode(NP) - Method in class net.automatalib.graph.base.AbstractCompactBidiGraph
- addIntNode(NP) - Method in class net.automatalib.graph.base.AbstractCompactGraph
- addIntState(SP) - Method in class net.automatalib.automaton.base.AbstractCompact
- addLocation(boolean) - Method in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
- addLocation(boolean) - Method in class net.automatalib.automaton.vpa.DefaultNSEVPA
- addLocation(I, boolean) - Method in class net.automatalib.automaton.vpa.DefaultNSEVPA
- addModalTransition(Integer, I, Integer, ModalEdgeProperty.ModalType) - Method in class net.automatalib.ts.modal.AbstractCompactMTS
- addModuleEntryLocation(I, boolean) - Method in class net.automatalib.automaton.vpa.DefaultNSEVPA
- addNewSymbol(I, VPAlphabet.SymbolType) - Method in class net.automatalib.alphabet.GrowingVPAlphabet
- addNode(N) - Method in class net.automatalib.graph.SimpleMapGraph
- addNode(NP) - Method in class net.automatalib.graph.base.AbstractCompactGraph
- addState(boolean) - Method in class net.automatalib.automaton.fsa.CompactDFA
- addState(boolean) - Method in class net.automatalib.automaton.fsa.CompactNFA
- addState(boolean) - Method in class net.automatalib.automaton.fsa.FastDFA
- addState(boolean) - Method in class net.automatalib.automaton.fsa.FastNFA
- addState(SP) - Method in class net.automatalib.automaton.base.AbstractCompact
- addState(SP) - Method in class net.automatalib.automaton.base.AbstractFastMutable
- addSymbol(I) - Method in class net.automatalib.alphabet.FastAlphabet
- addSymbol(I) - Method in class net.automatalib.alphabet.GrowingMapAlphabet
- addTransition(int, int, int) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- addTransition(int, I, int) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- addTransition(Integer, I, Integer) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- ADSLeafNode<S,I,O> - Class in net.automatalib.graph.ads
-
An ADS-specific implementation of a leaf node.
- ADSLeafNode(ADSNode<S, I, O>, S) - Constructor for class net.automatalib.graph.ads.ADSLeafNode
- ADSSymbolNode<S,I,O> - Class in net.automatalib.graph.ads
-
An ADS-specific implementation of a symbol node.
- ADSSymbolNode(ADSNode<S, I, O>, I) - Constructor for class net.automatalib.graph.ads.ADSSymbolNode
- AggregateVisualizationHelper<N,E> - Class in net.automatalib.visualization.helper
- AggregateVisualizationHelper(List<? extends VisualizationHelper<N, ? super E>>) - Constructor for class net.automatalib.visualization.helper.AggregateVisualizationHelper
- AggregateVisualizationHelper(VisualizationHelper<N, ? super E>, List<? extends VisualizationHelper<N, ? super E>>) - Constructor for class net.automatalib.visualization.helper.AggregateVisualizationHelper
- alphabet - Variable in class net.automatalib.automaton.vpa.AbstractSEVPA
- Alphabets - Class in net.automatalib.alphabet
-
Utility methods concerning alphabets.
- ArrayAlphabet<I> - Class in net.automatalib.alphabet
- ArrayAlphabet(I...) - Constructor for class net.automatalib.alphabet.ArrayAlphabet
B
- buildModalProperty(ModalEdgeProperty.ModalType) - Method in class net.automatalib.ts.modal.AbstractCompactMTS
- buildModalProperty(ModalEdgeProperty.ModalType) - Method in class net.automatalib.ts.modal.CompactMTS
C
- characters(char, char) - Static method in class net.automatalib.alphabet.Alphabets
- checkUsable() - Method in class net.automatalib.visualization.DummyVP
- checkUsable() - Method in interface net.automatalib.visualization.VisualizationProvider
-
Checks whether the provider is supported on the current platform.
- clear() - Method in class net.automatalib.automaton.base.AbstractCompact
- clear() - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
- clear() - Method in class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
- clear() - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- clear() - Method in class net.automatalib.automaton.base.AbstractFastMutable
- clear() - Method in class net.automatalib.automaton.base.AbstractFastMutableDet
- clear() - Method in class net.automatalib.automaton.base.AbstractFastMutableNondet
- clear() - Method in class net.automatalib.automaton.fsa.CompactDFA
- clear() - Method in class net.automatalib.automaton.fsa.CompactNFA
- clear() - Method in class net.automatalib.automaton.transducer.CompactMealy
- clear() - Method in class net.automatalib.automaton.UniversalCompactDet
- clear() - Method in class net.automatalib.automaton.UniversalCompactSimpleDet
- clear() - Method in class net.automatalib.ts.modal.AbstractCompactMTS
- clearTransitionObject(T) - Method in class net.automatalib.automaton.base.AbstractFastState
- clearTransitionObjects() - Method in class net.automatalib.automaton.base.AbstractFastState
- closedCharStringRange(char, char) - Static method in class net.automatalib.alphabet.Alphabets
- collector() - Static method in class net.automatalib.alphabet.Alphabets
-
Returns a
Collector
that collects individual symbols (in order and without duplicates) and aggregates them in aGrowingAlphabet
. - CompactBidiEdge<EP> - Class in net.automatalib.graph.base
- CompactBidiEdge(int, int, EP) - Constructor for class net.automatalib.graph.base.CompactBidiEdge
- CompactBidiGraph<NP,EP> - Class in net.automatalib.graph
- CompactBidiGraph() - Constructor for class net.automatalib.graph.CompactBidiGraph
- CompactBidiGraph(int) - Constructor for class net.automatalib.graph.CompactBidiGraph
- CompactDFA<I> - Class in net.automatalib.automaton.fsa
- CompactDFA(Alphabet<I>) - Constructor for class net.automatalib.automaton.fsa.CompactDFA
- CompactDFA(Alphabet<I>, float) - Constructor for class net.automatalib.automaton.fsa.CompactDFA
- CompactDFA(Alphabet<I>, int) - Constructor for class net.automatalib.automaton.fsa.CompactDFA
- CompactDFA(Alphabet<I>, int, float) - Constructor for class net.automatalib.automaton.fsa.CompactDFA
- CompactDFA(Alphabet<I>, CompactDFA<?>) - Constructor for class net.automatalib.automaton.fsa.CompactDFA
- CompactDFA(CompactDFA<I>) - Constructor for class net.automatalib.automaton.fsa.CompactDFA
- CompactDFA.Creator<I> - Class in net.automatalib.automaton.fsa
- CompactEdge<EP> - Class in net.automatalib.graph.base
-
An edge in a
CompactSimpleGraph
. - CompactEdge(int, EP) - Constructor for class net.automatalib.graph.base.CompactEdge
- CompactGraph<NP,EP> - Class in net.automatalib.graph
- CompactGraph() - Constructor for class net.automatalib.graph.CompactGraph
- CompactGraph(int) - Constructor for class net.automatalib.graph.CompactGraph
- CompactMealy<I,O> - Class in net.automatalib.automaton.transducer
- CompactMealy(Alphabet<I>) - Constructor for class net.automatalib.automaton.transducer.CompactMealy
- CompactMealy(Alphabet<I>, int) - Constructor for class net.automatalib.automaton.transducer.CompactMealy
- CompactMealy(Alphabet<I>, int, float) - Constructor for class net.automatalib.automaton.transducer.CompactMealy
- CompactMealy(Alphabet<I>, CompactMealy<?, O>) - Constructor for class net.automatalib.automaton.transducer.CompactMealy
- CompactMealy(CompactMealy<I, O>) - Constructor for class net.automatalib.automaton.transducer.CompactMealy
- CompactMealy.Creator<I,O> - Class in net.automatalib.automaton.transducer
- CompactMoore<I,O> - Class in net.automatalib.automaton.transducer
- CompactMoore(Alphabet<I>) - Constructor for class net.automatalib.automaton.transducer.CompactMoore
- CompactMoore(Alphabet<I>, int, float) - Constructor for class net.automatalib.automaton.transducer.CompactMoore
- CompactMoore(Alphabet<I>, CompactMoore<?, O>) - Constructor for class net.automatalib.automaton.transducer.CompactMoore
- CompactMoore(CompactMoore<I, O>) - Constructor for class net.automatalib.automaton.transducer.CompactMoore
- CompactMoore.Creator<I,O> - Class in net.automatalib.automaton.transducer
- CompactMTS<I> - Class in net.automatalib.ts.modal
- CompactMTS(Alphabet<I>) - Constructor for class net.automatalib.ts.modal.CompactMTS
- CompactMTS(Alphabet<I>, int, float) - Constructor for class net.automatalib.ts.modal.CompactMTS
- CompactNFA<I> - Class in net.automatalib.automaton.fsa
- CompactNFA(Alphabet<I>) - Constructor for class net.automatalib.automaton.fsa.CompactNFA
- CompactNFA(Alphabet<I>, int) - Constructor for class net.automatalib.automaton.fsa.CompactNFA
- CompactNFA(Alphabet<I>, CompactNFA<?>) - Constructor for class net.automatalib.automaton.fsa.CompactNFA
- CompactNFA(CompactNFA<I>) - Constructor for class net.automatalib.automaton.fsa.CompactNFA
- CompactNFA.Creator<I> - Class in net.automatalib.automaton.fsa
- CompactPMPG<L,AP> - Class in net.automatalib.graph
- CompactPMPG(L) - Constructor for class net.automatalib.graph.CompactPMPG
- CompactPMPGEdge<L,EP> - Class in net.automatalib.graph
- CompactPMPGEdge(int, EP, L) - Constructor for class net.automatalib.graph.CompactPMPGEdge
- CompactSimpleBidiGraph<EP> - Class in net.automatalib.graph
- CompactSimpleBidiGraph() - Constructor for class net.automatalib.graph.CompactSimpleBidiGraph
- CompactSimpleBidiGraph(int) - Constructor for class net.automatalib.graph.CompactSimpleBidiGraph
- CompactSimpleGraph<EP> - Class in net.automatalib.graph
- CompactSimpleGraph() - Constructor for class net.automatalib.graph.CompactSimpleGraph
- CompactSimpleGraph(int) - Constructor for class net.automatalib.graph.CompactSimpleGraph
- CompactSST<I,O> - Class in net.automatalib.automaton.transducer
- CompactSST(Alphabet<I>) - Constructor for class net.automatalib.automaton.transducer.CompactSST
- CompactSST(CompactSST<I, O>) - Constructor for class net.automatalib.automaton.transducer.CompactSST
- CompactTransition<TP> - Class in net.automatalib.automaton
- CompactTransition(int, int, TP) - Constructor for class net.automatalib.automaton.CompactTransition
- CompactTransition(int, TP) - Constructor for class net.automatalib.automaton.CompactTransition
- compare(E, E) - Method in class net.automatalib.alphabet.EnumAlphabet
- compare(I, I) - Method in class net.automatalib.alphabet.FastAlphabet
- compareTo(S) - Method in class net.automatalib.alphabet.AbstractSymbol
- computeOutput(Iterable<? extends I>) - Method in class net.automatalib.modelchecking.MealyLassoImpl
- computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in class net.automatalib.automaton.procedural.EmptySPMM
- connect(int, int, EP) - Method in class net.automatalib.graph.base.AbstractCompactBidiGraph
- connect(int, int, EP) - Method in class net.automatalib.graph.base.AbstractCompactGraph
- connect(Integer, Integer, EP) - Method in class net.automatalib.graph.base.AbstractCompactGraph
- connect(N, N, Void) - Method in class net.automatalib.graph.SimpleMapGraph
- containsSymbol(E) - Method in class net.automatalib.alphabet.EnumAlphabet
- containsSymbol(I) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
- containsSymbol(I) - Method in class net.automatalib.alphabet.ArrayAlphabet
- containsSymbol(I) - Method in class net.automatalib.alphabet.FastAlphabet
- containsSymbol(I) - Method in class net.automatalib.alphabet.ListAlphabet
- containsSymbol(I) - Method in class net.automatalib.alphabet.MapAlphabet
- containsSymbol(I) - Method in class net.automatalib.alphabet.SingletonAlphabet
- containsSymbol(VPSym<I>) - Method in class net.automatalib.alphabet.GrowingVPAlphabet
- copyTransition(Integer, Integer) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- createAutomaton(Alphabet<I>) - Method in class net.automatalib.automaton.fsa.CompactDFA.Creator
- createAutomaton(Alphabet<I>) - Method in class net.automatalib.automaton.fsa.CompactNFA.Creator
- createAutomaton(Alphabet<I>) - Method in class net.automatalib.automaton.transducer.CompactMealy.Creator
- createAutomaton(Alphabet<I>) - Method in class net.automatalib.automaton.transducer.CompactMoore.Creator
- createAutomaton(Alphabet<I>, int) - Method in class net.automatalib.automaton.fsa.CompactDFA.Creator
- createAutomaton(Alphabet<I>, int) - Method in class net.automatalib.automaton.fsa.CompactNFA.Creator
- createAutomaton(Alphabet<I>, int) - Method in class net.automatalib.automaton.transducer.CompactMealy.Creator
- createAutomaton(Alphabet<I>, int) - Method in class net.automatalib.automaton.transducer.CompactMoore.Creator
- createDynamicStateMapping() - Method in class net.automatalib.automaton.base.AbstractFastMutable
- createEdge(int, int, EP) - Method in class net.automatalib.graph.base.AbstractCompactBidiGraph
- createEdge(int, int, EP) - Method in class net.automatalib.graph.base.AbstractCompactGraph
- createEdge(int, int, EP) - Method in class net.automatalib.graph.CompactGraph
- createEdge(int, int, EP) - Method in class net.automatalib.graph.CompactSimpleGraph
- createEdge(int, int, MutableProceduralModalEdgeProperty) - Method in class net.automatalib.graph.CompactPMPG
- createState(Boolean) - Method in class net.automatalib.automaton.fsa.FastDFA
- createState(Boolean) - Method in class net.automatalib.automaton.fsa.FastNFA
- createState(O) - Method in class net.automatalib.automaton.transducer.FastMoore
- createState(SP) - Method in class net.automatalib.automaton.base.AbstractFastMutable
- createState(Void) - Method in class net.automatalib.automaton.transducer.FastMealy
- createState(Void) - Method in class net.automatalib.automaton.transducer.probabilistic.FastProbMealy
- createTransition(int, Void) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
- createTransition(int, O) - Method in class net.automatalib.automaton.transducer.CompactMealy
- createTransition(int, TP) - Method in class net.automatalib.automaton.UniversalCompactDet
- createTransition(Integer) - Method in class net.automatalib.ts.modal.CompactMTS
- createTransition(Integer, MutableModalEdgeProperty) - Method in class net.automatalib.ts.modal.CompactMTS
- createTransition(Integer, Void) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- createTransition(Integer, TP) - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
- createTransition(FastMealyState<O>, O) - Method in class net.automatalib.automaton.transducer.FastMealy
- createTransition(FastMooreState<O>, Void) - Method in class net.automatalib.automaton.transducer.FastMoore
- createTransition(FastProbMealyState<O>, ProbabilisticOutput<O>) - Method in class net.automatalib.automaton.transducer.probabilistic.FastProbMealy
- Creator() - Constructor for class net.automatalib.automaton.fsa.CompactDFA.Creator
- Creator() - Constructor for class net.automatalib.automaton.fsa.CompactNFA.Creator
- Creator() - Constructor for class net.automatalib.automaton.transducer.CompactMealy.Creator
- Creator() - Constructor for class net.automatalib.automaton.transducer.CompactMoore.Creator
D
- DEFAULT_INIT_CAPACITY - Static variable in class net.automatalib.automaton.base.AbstractCompact
- DEFAULT_RESIZE_FACTOR - Static variable in class net.automatalib.automaton.base.AbstractCompact
- DEFAULT_SIZE - Static variable in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
- DefaultCFMPS<L,AP> - Class in net.automatalib.graph
- DefaultCFMPS(L, Map<L, ? extends ProceduralModalProcessGraph<?, L, ?, AP, ?>>) - Constructor for class net.automatalib.graph.DefaultCFMPS
- DefaultNSEVPA<I> - Class in net.automatalib.automaton.vpa
-
Default implementation for n-SEVPAs.
- DefaultNSEVPA(VPAlphabet<I>) - Constructor for class net.automatalib.automaton.vpa.DefaultNSEVPA
- DefaultNSEVPA(VPAlphabet<I>, int) - Constructor for class net.automatalib.automaton.vpa.DefaultNSEVPA
- DefaultOneSEVPA<I> - Class in net.automatalib.automaton.vpa
-
Default implementation for 1-SEVPAs.
- DefaultOneSEVPA(VPAlphabet<I>) - Constructor for class net.automatalib.automaton.vpa.DefaultOneSEVPA
- DefaultOneSEVPA(VPAlphabet<I>, int) - Constructor for class net.automatalib.automaton.vpa.DefaultOneSEVPA
- DefaultProceduralInputAlphabet<I> - Class in net.automatalib.alphabet
-
Default implementation of a
ProceduralInputAlphabet
. - DefaultProceduralInputAlphabet(Alphabet<I>, Alphabet<I>, I) - Constructor for class net.automatalib.alphabet.DefaultProceduralInputAlphabet
- DefaultProceduralOutputAlphabet<O> - Class in net.automatalib.alphabet
-
Default implementation of a
ProceduralOutputAlphabet
. - DefaultProceduralOutputAlphabet(Alphabet<O>, O) - Constructor for class net.automatalib.alphabet.DefaultProceduralOutputAlphabet
- DefaultVPAlphabet<I> - Class in net.automatalib.alphabet
-
An alphabet-based, fixed size implementation of a
VPAlphabet
. - DefaultVPAlphabet(Collection<I>, Collection<I>, Collection<I>) - Constructor for class net.automatalib.alphabet.DefaultVPAlphabet
- DefaultVPAlphabet(Alphabet<I>, Alphabet<I>, Alphabet<I>) - Constructor for class net.automatalib.alphabet.DefaultVPAlphabet
- DeterministicPowersetView<S,I,T> - Class in net.automatalib.ts.powerset
- DeterministicPowersetView(DeterministicTransitionSystem<S, I, T>) - Constructor for class net.automatalib.ts.powerset.DeterministicPowersetView
- DFALassoImpl<I> - Class in net.automatalib.modelchecking
-
A DFALasso is a lasso for
DFA
s. - DFALassoImpl(DetOutputAutomaton<?, I, ?, Boolean>, Collection<? extends I>, int) - Constructor for class net.automatalib.modelchecking.DFALassoImpl
- DummyVP - Class in net.automatalib.visualization
- DummyVP() - Constructor for class net.automatalib.visualization.DummyVP
E
- EmptySBA<I> - Class in net.automatalib.automaton.procedural
-
A utility implementation of an
SBA
that rejects all inputs, i.e., which describes the empty language. - EmptySBA(ProceduralInputAlphabet<I>) - Constructor for class net.automatalib.automaton.procedural.EmptySBA
- EmptySPA<I> - Class in net.automatalib.automaton.procedural
-
A utility implementation of an
SPA
that rejects all inputs, i.e., describes the empty language. - EmptySPA(ProceduralInputAlphabet<I>) - Constructor for class net.automatalib.automaton.procedural.EmptySPA
- EmptySPMM<I,O> - Class in net.automatalib.automaton.procedural
-
A utility implementation of an
SPMM
that transduces all input words to a sequence of the given erroneous output symbol. - EmptySPMM(ProceduralInputAlphabet<I>, O) - Constructor for class net.automatalib.automaton.procedural.EmptySPMM
- encodeStackSym(L, int) - Method in class net.automatalib.automaton.vpa.AbstractSEVPA
- encodeStackSym(L, I) - Method in class net.automatalib.automaton.vpa.AbstractSEVPA
- ensureInputCapacity(int) - Method in class net.automatalib.automaton.base.AbstractFastState
- EnumAlphabet<E extends Enum<E>> - Class in net.automatalib.alphabet
- EnumAlphabet(Class<E>, boolean) - Constructor for class net.automatalib.alphabet.EnumAlphabet
- equals(Object) - Method in class net.automatalib.alphabet.AbstractSymbol
- equals(Object) - Method in class net.automatalib.automaton.CompactTransition
- equals(Object) - Method in class net.automatalib.ts.modal.transition.ModalEdgePropertyImpl
- equals(Object) - Method in class net.automatalib.ts.modal.transition.ProceduralModalEdgePropertyImpl
- equals(Object) - Method in class net.automatalib.ts.powerset.FastPowersetState
F
- FastAlphabet<I extends MutableNumericID> - Class in net.automatalib.alphabet
-
A fast alphabet implementation, that assumes identifiers are stored directly in the input symbols.
- FastAlphabet() - Constructor for class net.automatalib.alphabet.FastAlphabet
- FastAlphabet(I...) - Constructor for class net.automatalib.alphabet.FastAlphabet
- FastAlphabet(List<? extends I>) - Constructor for class net.automatalib.alphabet.FastAlphabet
- FastDFA<I> - Class in net.automatalib.automaton.fsa
- FastDFA(Alphabet<I>) - Constructor for class net.automatalib.automaton.fsa.FastDFA
- FastDFAState - Class in net.automatalib.automaton.fsa
- FastDFAState(int, boolean) - Constructor for class net.automatalib.automaton.fsa.FastDFAState
- FastMealy<I,O> - Class in net.automatalib.automaton.transducer
-
A fast implementation of a Mealy machine.
- FastMealy(Alphabet<I>) - Constructor for class net.automatalib.automaton.transducer.FastMealy
-
Constructor.
- FastMealyState<O> - Class in net.automatalib.automaton.transducer
-
A state in a
FastMealy
automaton. - FastMealyState(int) - Constructor for class net.automatalib.automaton.transducer.FastMealyState
- FastMoore<I,O> - Class in net.automatalib.automaton.transducer
-
A fast implementation of a Moore automaton.
- FastMoore(Alphabet<I>) - Constructor for class net.automatalib.automaton.transducer.FastMoore
- FastMooreState<O> - Class in net.automatalib.automaton.transducer
-
A state in a
FastMoore
automaton. - FastMooreState(int, O) - Constructor for class net.automatalib.automaton.transducer.FastMooreState
-
Constructor.
- FastNFA<I> - Class in net.automatalib.automaton.fsa
- FastNFA(Alphabet<I>) - Constructor for class net.automatalib.automaton.fsa.FastNFA
- FastNFAState - Class in net.automatalib.automaton.fsa
- FastNFAState(int) - Constructor for class net.automatalib.automaton.fsa.FastNFAState
- FastNFAState(int, boolean) - Constructor for class net.automatalib.automaton.fsa.FastNFAState
- FastPowersetDTS<S extends NumericID,I,T> - Class in net.automatalib.ts.powerset
- FastPowersetDTS(TransitionSystem<S, I, T>) - Constructor for class net.automatalib.ts.powerset.FastPowersetDTS
- FastPowersetState<S> - Class in net.automatalib.ts.powerset
- FastPowersetState() - Constructor for class net.automatalib.ts.powerset.FastPowersetState
- FastProbMealy<I,O> - Class in net.automatalib.automaton.transducer.probabilistic
- FastProbMealy(Alphabet<I>) - Constructor for class net.automatalib.automaton.transducer.probabilistic.FastProbMealy
- FastProbMealyState<O> - Class in net.automatalib.automaton.transducer.probabilistic
- FastProbMealyState(int) - Constructor for class net.automatalib.automaton.transducer.probabilistic.FastProbMealyState
- flipAcceptance() - Method in class net.automatalib.automaton.fsa.CompactDFA
- flipAcceptance() - Method in class net.automatalib.automaton.fsa.CompactNFA
- fromArray(T...) - Static method in class net.automatalib.alphabet.Alphabets
- fromCollection(Collection<? extends I>) - Static method in class net.automatalib.alphabet.Alphabets
- fromCollections(Collection<? extends I>...) - Static method in class net.automatalib.alphabet.Alphabets
- fromEnum(Class<E>) - Static method in class net.automatalib.alphabet.Alphabets
- fromEnum(Class<E>, boolean) - Static method in class net.automatalib.alphabet.Alphabets
- fromList(List<? extends T>) - Static method in class net.automatalib.alphabet.Alphabets
- fullIntAbstraction(Alphabet<I>) - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
G
- get(int) - Method in class net.automatalib.alphabet.AbstractAlphabet
- getAdjacentNodes(N) - Method in class net.automatalib.graph.SimpleMapGraph
- getAdjacentNodesIterator(N) - Method in class net.automatalib.graph.SimpleMapGraph
- getAutomaton() - Method in class net.automatalib.modelchecking.AbstractLasso
- getBestProvider() - Method in class net.automatalib.visualization.VPManager
- getCallAlphabet() - Method in class net.automatalib.alphabet.AbstractVPAlphabet
- getCallSym(int) - Method in class net.automatalib.automaton.vpa.AbstractSEVPA
- getCallSymbol(int) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
- getCallSymbolIndex(I) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
- getChildren() - Method in class net.automatalib.graph.ads.AbstractRecursiveADSLeafNode
- getChildren() - Method in class net.automatalib.graph.ads.AbstractRecursiveADSSymbolNode
- getDefaultTransitionProperty() - Method in class net.automatalib.ts.modal.AbstractCompactMTS
- getDefaultTransitionProperty() - Method in class net.automatalib.ts.modal.CompactMTS
- getDescription() - Method in interface net.automatalib.visualization.VisualizationProvider
-
Returns a description of the provider.
- getEdgeLabel(CompactPMPGEdge<L, MutableProceduralModalEdgeProperty>) - Method in class net.automatalib.graph.CompactPMPG
- getEdgeProperties(N, E, N, Map<String, String>) - Method in class net.automatalib.visualization.helper.AggregateVisualizationHelper
- getEdgeProperties(N, E, N, Map<String, String>) - Method in class net.automatalib.visualization.helper.PrettyVisualizationHelper
- getEdgeProperty(E) - Method in class net.automatalib.graph.base.AbstractCompactGraph
- getEdgeProperty(N) - Method in class net.automatalib.graph.SimpleMapGraph
- getErrorOutput() - Method in class net.automatalib.automaton.procedural.EmptySPMM
- getErrorOutput() - Method in class net.automatalib.automaton.procedural.StackSPMM
- getErrorSymbol() - Method in class net.automatalib.alphabet.DefaultProceduralOutputAlphabet
- getFinalNode() - Method in class net.automatalib.graph.CompactPMPG
- getGlobalEdgeProperties(Map<String, String>) - Method in class net.automatalib.visualization.helper.AggregateVisualizationHelper
- getGlobalEdgeProperties(Map<String, String>) - Method in class net.automatalib.visualization.helper.PrettyVisualizationHelper
- getGlobalIndex() - Method in class net.automatalib.alphabet.VPSym
- getGlobalNodeProperties(Map<String, String>) - Method in class net.automatalib.visualization.helper.AggregateVisualizationHelper
- getGlobalNodeProperties(Map<String, String>) - Method in class net.automatalib.visualization.helper.PrettyVisualizationHelper
- getHypothesisState() - Method in class net.automatalib.graph.ads.AbstractRecursiveADSLeafNode
- getHypothesisState() - Method in class net.automatalib.graph.ads.AbstractRecursiveADSSymbolNode
- getId() - Method in class net.automatalib.visualization.DummyVP
- getId() - Method in interface net.automatalib.visualization.VisualizationProvider
-
Returns the id of the visualization provider.
- getIncomingEdges(int) - Method in class net.automatalib.graph.base.AbstractCompactBidiGraph
- getIncomingEdges(Integer) - Method in class net.automatalib.graph.base.AbstractCompactBidiGraph
- getIndex() - Method in class net.automatalib.automaton.vpa.Location
- getInitialLocation() - Method in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
- getInitialNode() - Method in class net.automatalib.graph.CompactPMPG
- getInitialProcedure() - Method in class net.automatalib.automaton.procedural.EmptySBA
- getInitialProcedure() - Method in class net.automatalib.automaton.procedural.EmptySPA
- getInitialProcedure() - Method in class net.automatalib.automaton.procedural.EmptySPMM
- getInitialProcedure() - Method in class net.automatalib.automaton.procedural.StackSBA
- getInitialProcedure() - Method in class net.automatalib.automaton.procedural.StackSPA
- getInitialProcedure() - Method in class net.automatalib.automaton.procedural.StackSPMM
- getInitialState() - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
- getInitialState() - Method in class net.automatalib.automaton.base.AbstractFastMutableDet
- getInitialState() - Method in class net.automatalib.automaton.procedural.EmptySBA
- getInitialState() - Method in class net.automatalib.automaton.procedural.EmptySPA
- getInitialState() - Method in class net.automatalib.automaton.procedural.EmptySPMM
- getInitialState() - Method in class net.automatalib.automaton.procedural.StackSBA
- getInitialState() - Method in class net.automatalib.automaton.procedural.StackSPA
- getInitialState() - Method in class net.automatalib.automaton.procedural.StackSPMM
- getInitialState() - Method in class net.automatalib.modelchecking.AbstractLasso
- getInitialState() - Method in class net.automatalib.ts.powerset.DeterministicPowersetView
- getInitialState() - Method in class net.automatalib.ts.powerset.FastPowersetDTS
- getInitialStates() - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- getInitialStates() - Method in class net.automatalib.automaton.base.AbstractFastMutableNondet
- getInitialStates() - Method in class net.automatalib.ts.modal.AbstractCompactMTS
- getInputAlphabet() - Method in class net.automatalib.automaton.base.AbstractCompact
- getInputAlphabet() - Method in class net.automatalib.automaton.base.AbstractFastMutable
- getInputAlphabet() - Method in class net.automatalib.automaton.procedural.EmptySBA
- getInputAlphabet() - Method in class net.automatalib.automaton.procedural.EmptySPA
- getInputAlphabet() - Method in class net.automatalib.automaton.procedural.EmptySPMM
- getInputAlphabet() - Method in class net.automatalib.automaton.procedural.StackSBA
- getInputAlphabet() - Method in class net.automatalib.automaton.procedural.StackSPA
- getInputAlphabet() - Method in class net.automatalib.automaton.procedural.StackSPMM
- getInputAlphabet() - Method in class net.automatalib.automaton.vpa.AbstractSEVPA
- getInputAlphabet() - Method in class net.automatalib.modelchecking.AbstractLasso
-
Gets the input alphabet of this automaton.
- getInternalAlphabet() - Method in class net.automatalib.alphabet.AbstractVPAlphabet
- getInternalSuccessor(int) - Method in class net.automatalib.automaton.vpa.Location
- getInternalSuccessor(Location, I) - Method in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
- getInternalSymbol(int) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
- getInternalSymbolIndex(I) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
- getIntInitialState() - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
- getIntSource(CompactBidiEdge<EP>) - Method in class net.automatalib.graph.base.AbstractCompactBidiGraph
- getIntSuccessor(Integer) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
- getIntSuccessor(CompactTransition<O>) - Method in class net.automatalib.automaton.transducer.CompactMealy
- getIntSuccessor(CompactTransition<TP>) - Method in class net.automatalib.automaton.UniversalCompactDet
- getIntTarget(E) - Method in class net.automatalib.graph.base.AbstractCompactGraph
- getLabel() - Method in class net.automatalib.graph.CompactPMPGEdge
- getLocalIndex() - Method in class net.automatalib.alphabet.VPSym
- getLocalInputs(Integer) - Method in class net.automatalib.automaton.base.AbstractCompact
- getLocalInputs(Integer) - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
- getLocalInputs(S) - Method in class net.automatalib.automaton.base.AbstractFastMutableDet
- getLocalInputs(S) - Method in class net.automatalib.automaton.base.AbstractFastMutableNondet
- getLocation(int) - Method in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
- getLocationId(Location) - Method in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
- getLocations() - Method in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
- getLoop() - Method in class net.automatalib.modelchecking.AbstractLasso
- getLoopBeginIndices() - Method in class net.automatalib.modelchecking.AbstractLasso
- getMainProcess() - Method in class net.automatalib.graph.DefaultCFMPS
- getMemoryIdx() - Method in class net.automatalib.automaton.CompactTransition
- getMinimumUnfolds() - Method in class net.automatalib.modelchecking.AbstractUnfoldingModelChecker
- getModalType() - Method in class net.automatalib.ts.modal.transition.ModalEdgePropertyImpl
- getModelChecker() - Method in class net.automatalib.modelchecking.SizeDFAModelCheckerLassoCache
- getModelChecker() - Method in class net.automatalib.modelchecking.SizeMealyModelCheckerCache
- getModelChecker() - Method in class net.automatalib.modelchecking.SizeMealyModelCheckerLassoCache
- getModuleEntry(I) - Method in class net.automatalib.automaton.vpa.DefaultNSEVPA
- getMultiplier() - Method in class net.automatalib.modelchecking.AbstractUnfoldingModelChecker
- getNode(int) - Method in class net.automatalib.graph.base.AbstractCompactGraph
- getNodeId(Integer) - Method in class net.automatalib.graph.base.AbstractCompactGraph
- getNodeProperties(N, Map<String, String>) - Method in class net.automatalib.visualization.helper.AggregateVisualizationHelper
- getNodeProperties(N, Map<String, String>) - Method in class net.automatalib.visualization.helper.PrettyVisualizationHelper
- getNodeProperty(int) - Method in class net.automatalib.graph.CompactBidiGraph
- getNodeProperty(int) - Method in class net.automatalib.graph.CompactGraph
- getNodeProperty(int) - Method in class net.automatalib.graph.CompactPMPG
- getNodeProperty(int) - Method in class net.automatalib.graph.CompactSimpleBidiGraph
- getNodeProperty(int) - Method in class net.automatalib.graph.CompactSimpleGraph
- getNodeProperty(Integer) - Method in class net.automatalib.graph.base.AbstractCompactGraph
- getNodeProperty(N) - Method in class net.automatalib.graph.SimpleMapGraph
- getNodes() - Method in class net.automatalib.graph.base.AbstractCompactGraph
- getNodes() - Method in class net.automatalib.graph.SimpleMapGraph
- getNumCalls() - Method in class net.automatalib.alphabet.AbstractVPAlphabet
- getNumInternals() - Method in class net.automatalib.alphabet.AbstractVPAlphabet
- getNumReturns() - Method in class net.automatalib.alphabet.AbstractVPAlphabet
- getNumStackSymbols() - Method in class net.automatalib.automaton.vpa.AbstractSEVPA
- getOriginalStates(FastPowersetState<S>) - Method in class net.automatalib.ts.powerset.FastPowersetDTS
- getOriginalStates(S) - Method in class net.automatalib.ts.powerset.DeterministicPowersetView
- getOriginalTransitions(Set<T>) - Method in class net.automatalib.ts.powerset.FastPowersetDTS
- getOriginalTransitions(T) - Method in class net.automatalib.ts.powerset.DeterministicPowersetView
- getOutgoingEdges(int) - Method in class net.automatalib.graph.base.AbstractCompactGraph
- getOutgoingEdges(Integer) - Method in class net.automatalib.graph.base.AbstractCompactGraph
- getOutgoingEdges(N) - Method in class net.automatalib.graph.SimpleMapGraph
- getOutput() - Method in class net.automatalib.automaton.transducer.FastMooreState
-
Retrieves the output symbol generated by this state.
- getOutput() - Method in class net.automatalib.automaton.transducer.MealyTransition
-
Retrieves the output symbol.
- getOutput() - Method in class net.automatalib.modelchecking.AbstractLasso
- getParent() - Method in class net.automatalib.graph.ads.AbstractRecursiveADSLeafNode
- getParent() - Method in class net.automatalib.graph.ads.AbstractRecursiveADSSymbolNode
- getPMPGs() - Method in class net.automatalib.graph.DefaultCFMPS
- getPrefix() - Method in class net.automatalib.modelchecking.AbstractLasso
- getPriority() - Method in class net.automatalib.visualization.DummyVP
- getPriority() - Method in interface net.automatalib.visualization.VisualizationProvider
-
Returns the priority of the provider.
- getProceduralAlphabet() - Method in class net.automatalib.alphabet.DefaultProceduralInputAlphabet
- getProceduralType() - Method in class net.automatalib.ts.modal.transition.ProceduralModalEdgePropertyImpl
- getProcedures() - Method in class net.automatalib.automaton.procedural.EmptySBA
- getProcedures() - Method in class net.automatalib.automaton.procedural.EmptySPA
- getProcedures() - Method in class net.automatalib.automaton.procedural.EmptySPMM
- getProcedures() - Method in class net.automatalib.automaton.procedural.StackSBA
- getProcedures() - Method in class net.automatalib.automaton.procedural.StackSPA
- getProcedures() - Method in class net.automatalib.automaton.procedural.StackSPMM
- getProperty() - Method in class net.automatalib.automaton.CompactTransition
- getProperty() - Method in class net.automatalib.graph.base.CompactEdge
- getProperty() - Method in class net.automatalib.ts.modal.MTSTransition
- getProviderById(String) - Method in class net.automatalib.visualization.VPManager
- getRegularAlphabet() - Method in class net.automatalib.alphabet.DefaultProceduralOutputAlphabet
- getReturnAlphabet() - Method in class net.automatalib.alphabet.AbstractVPAlphabet
- getReturnSuccessor(int, int) - Method in class net.automatalib.automaton.vpa.Location
- getReturnSuccessor(Location, I, int) - Method in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
- getReturnSymbol(int) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
- getReturnSymbolIndex(I) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
- getSource() - Method in class net.automatalib.graph.base.CompactBidiEdge
- getSource(CompactBidiEdge<EP>) - Method in class net.automatalib.graph.base.AbstractCompactBidiGraph
- getStackLoc(int) - Method in class net.automatalib.automaton.vpa.AbstractSEVPA
- getState(int) - Method in class net.automatalib.automaton.base.AbstractCompact
- getState(int) - Method in class net.automatalib.automaton.base.AbstractFastMutable
- getState(Iterable<? extends I>) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
- getStateId(Integer) - Method in class net.automatalib.automaton.base.AbstractCompact
- getStateId(S) - Method in class net.automatalib.automaton.base.AbstractFastMutable
- getStateOutput(Integer) - Method in class net.automatalib.automaton.transducer.CompactMoore
- getStateOutput(FastMooreState<O>) - Method in class net.automatalib.automaton.transducer.FastMoore
- getStateProperty(int) - Method in class net.automatalib.automaton.fsa.CompactDFA
- getStateProperty(int) - Method in class net.automatalib.automaton.transducer.CompactMealy
- getStateProperty(int) - Method in class net.automatalib.automaton.UniversalCompactDet
- getStateProperty(int) - Method in class net.automatalib.automaton.UniversalCompactSimpleDet
- getStateProperty(Integer) - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
- getStateProperty(Integer) - Method in class net.automatalib.ts.modal.AbstractCompactMTS
- getStateProperty(FastProbMealyState<O>) - Method in class net.automatalib.automaton.transducer.probabilistic.FastProbMealy
- getStates() - Method in class net.automatalib.automaton.base.AbstractCompact
- getStates() - Method in class net.automatalib.automaton.base.AbstractFastMutable
- getStates() - Method in class net.automatalib.modelchecking.AbstractLasso
- getSuccessor() - Method in class net.automatalib.automaton.transducer.MealyTransition
-
Retrieves the successor state.
- getSuccessor(Integer) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- getSuccessor(Integer) - Method in class net.automatalib.modelchecking.MealyLassoImpl
- getSuccessor(Integer, I) - Method in class net.automatalib.modelchecking.AbstractLasso
-
Get the successor state of a given state, or
null
when no such successor exists. - getSuccessor(Integer, Iterable<? extends I>) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
- getSuccessor(Void) - Method in class net.automatalib.automaton.procedural.EmptySPMM
- getSuccessor(Set<T>) - Method in class net.automatalib.ts.powerset.FastPowersetDTS
- getSuccessor(FastMooreState<O>) - Method in class net.automatalib.automaton.transducer.FastMoore
- getSuccessor(MealyTransition<StackState<S, I, MealyMachine<S, I, T, O>>, O>) - Method in class net.automatalib.automaton.procedural.StackSPMM
- getSuccessor(MealyTransition<FastMealyState<O>, O>) - Method in class net.automatalib.automaton.transducer.FastMealy
- getSuccessor(MealyTransition<FastProbMealyState<O>, ProbabilisticOutput<O>>) - Method in class net.automatalib.automaton.transducer.probabilistic.FastProbMealy
- getSuccessor(MTSTransition<MutableModalEdgeProperty>) - Method in class net.automatalib.ts.modal.CompactMTS
- getSuccessor(FastPowersetState<S>, I) - Method in class net.automatalib.ts.powerset.FastPowersetDTS
- getSuccessor(T) - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
- getSuccessor(T) - Method in class net.automatalib.ts.powerset.DeterministicPowersetView
- getSuccId() - Method in class net.automatalib.automaton.CompactTransition
- getSymbol() - Method in class net.automatalib.graph.ads.AbstractRecursiveADSLeafNode
- getSymbol() - Method in class net.automatalib.graph.ads.AbstractRecursiveADSSymbolNode
- getSymbol(int) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
- getSymbol(int) - Method in class net.automatalib.alphabet.ArrayAlphabet
- getSymbol(int) - Method in class net.automatalib.alphabet.DefaultVPAlphabet
- getSymbol(int) - Method in class net.automatalib.alphabet.FastAlphabet
- getSymbol(int) - Method in class net.automatalib.alphabet.GrowingVPAlphabet
- getSymbol(int) - Method in class net.automatalib.alphabet.ListAlphabet
- getSymbol(int) - Method in class net.automatalib.alphabet.MapAlphabet
- getSymbol(int) - Method in class net.automatalib.alphabet.SingletonAlphabet
- getSymbolIndex(E) - Method in class net.automatalib.alphabet.EnumAlphabet
- getSymbolIndex(I) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
- getSymbolIndex(I) - Method in class net.automatalib.alphabet.ArrayAlphabet
- getSymbolIndex(I) - Method in class net.automatalib.alphabet.FastAlphabet
- getSymbolIndex(I) - Method in class net.automatalib.alphabet.ListAlphabet
- getSymbolIndex(I) - Method in class net.automatalib.alphabet.MapAlphabet
- getSymbolIndex(I) - Method in class net.automatalib.alphabet.SingletonAlphabet
- getSymbolIndex(I) - Method in class net.automatalib.automaton.base.AbstractCompact
- getSymbolIndex(VPSym<I>) - Method in class net.automatalib.alphabet.GrowingVPAlphabet
- getSymbolType(I) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
- getSymbolType(VPSym<I>) - Method in class net.automatalib.alphabet.GrowingVPAlphabet
- getTarget() - Method in class net.automatalib.graph.base.CompactEdge
- getTarget() - Method in class net.automatalib.ts.modal.MTSTransition
- getTarget(E) - Method in class net.automatalib.graph.base.AbstractCompactGraph
- getTarget(N) - Method in class net.automatalib.graph.SimpleMapGraph
- getTransition(int, int) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
- getTransition(int, int) - Method in class net.automatalib.automaton.transducer.CompactMealy
- getTransition(int, int) - Method in class net.automatalib.automaton.UniversalCompactDet
- getTransition(int, I) - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
- getTransition(Integer, I) - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
- getTransition(Integer, I) - Method in class net.automatalib.modelchecking.AbstractLasso
- getTransition(Void, I) - Method in class net.automatalib.automaton.procedural.EmptySBA
- getTransition(Void, I) - Method in class net.automatalib.automaton.procedural.EmptySPA
- getTransition(Void, I) - Method in class net.automatalib.automaton.procedural.EmptySPMM
- getTransition(StackState<S, I, DFA<S, I>>, I) - Method in class net.automatalib.automaton.procedural.StackSBA
- getTransition(StackState<S, I, DFA<S, I>>, I) - Method in class net.automatalib.automaton.procedural.StackSPA
- getTransition(StackState<S, I, MealyMachine<S, I, T, O>>, I) - Method in class net.automatalib.automaton.procedural.StackSPMM
- getTransition(State<L>, I) - Method in class net.automatalib.automaton.vpa.AbstractSEVPA
- getTransition(FastPowersetState<S>, I) - Method in class net.automatalib.ts.powerset.FastPowersetDTS
- getTransition(S, I) - Method in class net.automatalib.automaton.base.AbstractFastMutableDet
- getTransition(S, I) - Method in class net.automatalib.ts.powerset.DeterministicPowersetView
- getTransitionObject(int) - Method in class net.automatalib.automaton.base.AbstractFastState
- getTransitionOutput(Integer) - Method in class net.automatalib.modelchecking.MealyLassoImpl
- getTransitionOutput(Void) - Method in class net.automatalib.automaton.procedural.EmptySPMM
- getTransitionOutput(CompactTransition<O>) - Method in class net.automatalib.automaton.transducer.CompactMealy
- getTransitionOutput(MealyTransition<StackState<S, I, MealyMachine<S, I, T, O>>, O>) - Method in class net.automatalib.automaton.procedural.StackSPMM
- getTransitionOutput(MealyTransition<FastMealyState<O>, O>) - Method in class net.automatalib.automaton.transducer.FastMealy
- getTransitionOutput(MealyTransition<FastProbMealyState<O>, ProbabilisticOutput<O>>) - Method in class net.automatalib.automaton.transducer.probabilistic.FastProbMealy
- getTransitionProbability(MealyTransition<FastProbMealyState<O>, ProbabilisticOutput<O>>) - Method in class net.automatalib.automaton.transducer.probabilistic.FastProbMealy
- getTransitionProperty(Integer) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
- getTransitionProperty(Integer) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- getTransitionProperty(CompactTransition<O>) - Method in class net.automatalib.automaton.transducer.CompactMealy
- getTransitionProperty(CompactTransition<TP>) - Method in class net.automatalib.automaton.UniversalCompactDet
- getTransitionProperty(MealyTransition<FastProbMealyState<O>, ProbabilisticOutput<O>>) - Method in class net.automatalib.automaton.transducer.probabilistic.FastProbMealy
- getTransitionProperty(MTSTransition<MutableModalEdgeProperty>) - Method in class net.automatalib.ts.modal.CompactMTS
- getTransitions(int, int) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- getTransitions(int, I) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- getTransitions(Integer, I) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- getTransitions(Integer, I) - Method in class net.automatalib.ts.modal.AbstractCompactMTS
- getTransitions(S, I) - Method in class net.automatalib.automaton.base.AbstractFastMutableNondet
- getType() - Method in class net.automatalib.alphabet.VPSym
- getUnfolds() - Method in class net.automatalib.modelchecking.AbstractLasso
- getUserObject() - Method in class net.automatalib.alphabet.Symbol
- getUserObject() - Method in class net.automatalib.alphabet.VPSym
- getWord() - Method in class net.automatalib.modelchecking.AbstractLasso
- GrowingMapAlphabet<I> - Class in net.automatalib.alphabet
-
An extension of the
MapAlphabet
that also allows adding new symbol after construction. - GrowingMapAlphabet() - Constructor for class net.automatalib.alphabet.GrowingMapAlphabet
- GrowingMapAlphabet(Collection<? extends I>) - Constructor for class net.automatalib.alphabet.GrowingMapAlphabet
- GrowingVPAlphabet<I> - Class in net.automatalib.alphabet
-
A
VPAlphabet
implementation that allows to add new symbols after its construction. - GrowingVPAlphabet() - Constructor for class net.automatalib.alphabet.GrowingVPAlphabet
H
- hashCode() - Method in class net.automatalib.alphabet.AbstractSymbol
- hashCode() - Method in class net.automatalib.automaton.CompactTransition
- hashCode() - Method in class net.automatalib.ts.modal.transition.ModalEdgePropertyImpl
- hashCode() - Method in class net.automatalib.ts.modal.transition.ProceduralModalEdgePropertyImpl
- hashCode() - Method in class net.automatalib.ts.powerset.FastPowersetState
I
- ID - Static variable in class net.automatalib.visualization.DummyVP
-
the
id
of thisVisualizationProvider
. - indexMap - Variable in class net.automatalib.alphabet.MapAlphabet
- inputAlphabet - Variable in class net.automatalib.automaton.base.AbstractFastMutable
- integers(int, int) - Static method in class net.automatalib.alphabet.Alphabets
- INVALID_STATE - Static variable in class net.automatalib.automaton.base.AbstractCompact
- isAccepting() - Method in class net.automatalib.automaton.fsa.FastDFAState
- isAccepting() - Method in class net.automatalib.automaton.fsa.FastNFAState
- isAccepting() - Method in class net.automatalib.automaton.vpa.Location
- isAccepting(int) - Method in class net.automatalib.automaton.fsa.CompactDFA
- isAccepting(int) - Method in class net.automatalib.automaton.fsa.CompactNFA
- isAccepting(Integer) - Method in class net.automatalib.automaton.fsa.CompactDFA
- isAccepting(Integer) - Method in class net.automatalib.automaton.fsa.CompactNFA
- isAccepting(Integer) - Method in class net.automatalib.modelchecking.DFALassoImpl
-
Returns whether the given state is accepting.
- isAccepting(Void) - Method in class net.automatalib.automaton.procedural.EmptySBA
- isAccepting(Void) - Method in class net.automatalib.automaton.procedural.EmptySPA
- isAccepting(FastDFAState) - Method in class net.automatalib.automaton.fsa.FastDFA
- isAccepting(FastNFAState) - Method in class net.automatalib.automaton.fsa.FastNFA
- isAccepting(StackState<S, I, DFA<S, I>>) - Method in class net.automatalib.automaton.procedural.StackSBA
- isAccepting(StackState<S, I, DFA<S, I>>) - Method in class net.automatalib.automaton.procedural.StackSPA
- isAcceptingLocation(Location) - Method in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
- isAutomatonTransition() - Method in class net.automatalib.automaton.CompactTransition
- isCallSymbol(I) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
- isInternalSymbol(I) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
- isLeaf() - Method in class net.automatalib.graph.ads.AbstractRecursiveADSLeafNode
- isLeaf() - Method in class net.automatalib.graph.ads.AbstractRecursiveADSSymbolNode
- isReturnSymbol(I) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
- iterator() - Method in class net.automatalib.alphabet.ListAlphabet
- iterator() - Method in class net.automatalib.graph.SimpleMapGraph
- iterator() - Method in class net.automatalib.ts.powerset.FastPowersetState
L
- ListAlphabet<I> - Class in net.automatalib.alphabet
- ListAlphabet(List<? extends I>) - Constructor for class net.automatalib.alphabet.ListAlphabet
- listIterator(int) - Method in class net.automatalib.alphabet.ListAlphabet
- load() - Method in class net.automatalib.visualization.VPManager
- Location - Class in net.automatalib.automaton.vpa
-
Location type used for the default 1-SEVPA.
- Location(VPAlphabet<?>, int, boolean) - Constructor for class net.automatalib.automaton.vpa.Location
M
- MapAlphabet<I> - Class in net.automatalib.alphabet
-
A map-based alphabet implementation, that does not impose any restriction on the input symbol class.
- MapAlphabet(Collection<? extends I>) - Constructor for class net.automatalib.alphabet.MapAlphabet
- MealyLassoImpl<I,O> - Class in net.automatalib.modelchecking
-
A MealyLasso is a lasso for
MealyMachine
s. - MealyLassoImpl(DetOutputAutomaton<?, I, ?, Word<O>>, Collection<? extends I>, int) - Constructor for class net.automatalib.modelchecking.MealyLassoImpl
- MealyTransition<S,O> - Class in net.automatalib.automaton.transducer
-
A transition of a mealy machine, comprising a successor state and an output symbol.
- MealyTransition(S, O) - Constructor for class net.automatalib.automaton.transducer.MealyTransition
-
Constructor.
- ModalEdgePropertyImpl - Class in net.automatalib.ts.modal.transition
- ModalEdgePropertyImpl(ModalEdgeProperty.ModalType) - Constructor for class net.automatalib.ts.modal.transition.ModalEdgePropertyImpl
- MTSTransition<TP extends MutableModalEdgeProperty> - Class in net.automatalib.ts.modal
N
- net.automatalib.alphabet - package net.automatalib.alphabet
- net.automatalib.automaton - package net.automatalib.automaton
- net.automatalib.automaton.base - package net.automatalib.automaton.base
- net.automatalib.automaton.fsa - package net.automatalib.automaton.fsa
- net.automatalib.automaton.procedural - package net.automatalib.automaton.procedural
- net.automatalib.automaton.transducer - package net.automatalib.automaton.transducer
- net.automatalib.automaton.transducer.probabilistic - package net.automatalib.automaton.transducer.probabilistic
- net.automatalib.automaton.vpa - package net.automatalib.automaton.vpa
- net.automatalib.graph - package net.automatalib.graph
- net.automatalib.graph.ads - package net.automatalib.graph.ads
- net.automatalib.graph.base - package net.automatalib.graph.base
- net.automatalib.modelchecking - package net.automatalib.modelchecking
- net.automatalib.ts.modal - package net.automatalib.ts.modal
- net.automatalib.ts.modal.transition - package net.automatalib.ts.modal.transition
- net.automatalib.ts.powerset - package net.automatalib.ts.powerset
- net.automatalib.visualization - package net.automatalib.visualization
- net.automatalib.visualization.helper - package net.automatalib.visualization.helper
- NO_LASSO - Static variable in class net.automatalib.modelchecking.AbstractLasso
- nodeIDs() - Method in class net.automatalib.graph.base.AbstractCompactGraph
- numInputs() - Method in class net.automatalib.automaton.base.AbstractCompact
P
- powersetView() - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
- powersetView() - Method in class net.automatalib.automaton.base.AbstractFastMutableDet
- powersetView() - Method in class net.automatalib.automaton.base.AbstractFastMutableNondet
- PrettyVisualizationHelper<N,E> - Class in net.automatalib.visualization.helper
- PrettyVisualizationHelper() - Constructor for class net.automatalib.visualization.helper.PrettyVisualizationHelper
- ProceduralModalEdgePropertyImpl - Class in net.automatalib.ts.modal.transition
- ProceduralModalEdgePropertyImpl(ProceduralModalEdgeProperty.ProceduralType, ModalEdgeProperty.ModalType) - Constructor for class net.automatalib.ts.modal.transition.ProceduralModalEdgePropertyImpl
R
- registerProvider(VisualizationProvider) - Method in class net.automatalib.visualization.VPManager
- remove(Object) - Method in class net.automatalib.ts.powerset.FastPowersetState
- removeAllTransitions(int) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- removeAllTransitions(int, int) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- removeAllTransitions(int, I) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- removeAllTransitions(Integer) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
- removeAllTransitions(Integer) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- removeAllTransitions(Integer) - Method in class net.automatalib.automaton.transducer.CompactMealy
- removeAllTransitions(Integer) - Method in class net.automatalib.automaton.UniversalCompactDet
- removeAllTransitions(Integer) - Method in class net.automatalib.ts.modal.AbstractCompactMTS
- removeAllTransitions(Integer, I) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- removeAllTransitions(Integer, I) - Method in class net.automatalib.ts.modal.AbstractCompactMTS
- removeAllTransitions(S) - Method in class net.automatalib.automaton.base.AbstractFastMutable
- removeEdge(N, N) - Method in class net.automatalib.graph.SimpleMapGraph
- removeNode(N, N) - Method in class net.automatalib.graph.SimpleMapGraph
- removeState(S, S) - Method in class net.automatalib.automaton.base.AbstractFastMutable
- removeState(S, S) - Method in class net.automatalib.automaton.base.AbstractFastMutableDet
- removeState(S, S) - Method in class net.automatalib.automaton.base.AbstractFastMutableNondet
- removeTransition(int, int, int) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- removeTransition(int, I, int) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- removeTransition(Integer, I, Integer) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- reversed() - Method in class net.automatalib.alphabet.AbstractAlphabet
- reversed() - Method in class net.automatalib.alphabet.FastAlphabet
S
- setAccepting(boolean) - Method in class net.automatalib.automaton.fsa.FastDFAState
- setAccepting(boolean) - Method in class net.automatalib.automaton.fsa.FastNFAState
- setAccepting(boolean) - Method in class net.automatalib.automaton.vpa.Location
- setAccepting(int, boolean) - Method in class net.automatalib.automaton.fsa.CompactDFA
- setAccepting(int, boolean) - Method in class net.automatalib.automaton.fsa.CompactNFA
- setAccepting(Integer, boolean) - Method in class net.automatalib.automaton.fsa.CompactDFA
- setAccepting(Integer, boolean) - Method in class net.automatalib.automaton.fsa.CompactNFA
- setAccepting(FastDFAState, boolean) - Method in class net.automatalib.automaton.fsa.FastDFA
- setAccepting(FastNFAState, boolean) - Method in class net.automatalib.automaton.fsa.FastNFA
- setEdgeLabel(CompactPMPGEdge<L, MutableProceduralModalEdgeProperty>, L) - Method in class net.automatalib.graph.CompactPMPG
- setEdgeProperty(E, EP) - Method in class net.automatalib.graph.base.AbstractCompactGraph
- setEdgeProperty(N, Void) - Method in class net.automatalib.graph.SimpleMapGraph
- setFinalNode(Integer) - Method in class net.automatalib.graph.CompactPMPG
- setHypothesisState(S) - Method in class net.automatalib.graph.ads.AbstractRecursiveADSLeafNode
- setHypothesisState(S) - Method in class net.automatalib.graph.ads.AbstractRecursiveADSSymbolNode
- setInitial(int, boolean) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- setInitial(Integer, boolean) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- setInitial(Integer, boolean) - Method in class net.automatalib.ts.modal.AbstractCompactMTS
- setInitial(S, boolean) - Method in class net.automatalib.automaton.base.AbstractFastMutableNondet
- setInitialLocation(Location) - Method in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
- setInitialNode(Integer) - Method in class net.automatalib.graph.CompactPMPG
- setInitialState(int) - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
- setInitialState(Integer) - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
- setInitialState(S) - Method in class net.automatalib.automaton.base.AbstractFastMutableDet
- setInternalSuccessor(int, Location) - Method in class net.automatalib.automaton.vpa.Location
- setInternalSuccessor(Location, I, Location) - Method in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
- setInternalSuccessor(Location, I, Location) - Method in class net.automatalib.automaton.vpa.DefaultNSEVPA
- setMemoryIdx(int) - Method in class net.automatalib.automaton.CompactTransition
- setMinimumUnfolds(int) - Method in class net.automatalib.modelchecking.AbstractUnfoldingModelChecker
- setModalType(ModalEdgeProperty.ModalType) - Method in class net.automatalib.ts.modal.transition.ModalEdgePropertyImpl
- setMultiplier(double) - Method in class net.automatalib.modelchecking.AbstractUnfoldingModelChecker
- setNodeProperty(int, Void) - Method in class net.automatalib.graph.CompactSimpleBidiGraph
- setNodeProperty(int, Set<AP>) - Method in class net.automatalib.graph.CompactPMPG
- setNodeProperty(int, NP) - Method in class net.automatalib.graph.CompactBidiGraph
- setNodeProperty(int, NP) - Method in class net.automatalib.graph.CompactGraph
- setNodeProperty(int, Void) - Method in class net.automatalib.graph.CompactSimpleGraph
- setNodeProperty(Integer, NP) - Method in class net.automatalib.graph.base.AbstractCompactGraph
- setNodeProperty(N, N) - Method in class net.automatalib.graph.SimpleMapGraph
-
Deprecated.
- setOutput(O) - Method in class net.automatalib.automaton.transducer.FastMooreState
-
Sets the output symbol generated by this state.
- setOutput(O) - Method in class net.automatalib.automaton.transducer.MealyTransition
-
Sets the output symbol.
- setParent(N) - Method in class net.automatalib.graph.ads.AbstractRecursiveADSLeafNode
- setParent(N) - Method in class net.automatalib.graph.ads.AbstractRecursiveADSSymbolNode
- setProceduralType(ProceduralModalEdgeProperty.ProceduralType) - Method in class net.automatalib.ts.modal.transition.ProceduralModalEdgePropertyImpl
- setProperty(EP) - Method in class net.automatalib.graph.base.CompactEdge
- setProperty(TP) - Method in class net.automatalib.automaton.CompactTransition
- setReturnSuccessor(int, int, Location) - Method in class net.automatalib.automaton.vpa.Location
- setReturnSuccessor(Location, I, int, Location) - Method in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
- setReturnSuccessor(Location, I, int, Location) - Method in class net.automatalib.automaton.vpa.DefaultNSEVPA
- setStateOutput(Integer, O) - Method in class net.automatalib.automaton.transducer.CompactMoore
- setStateOutput(FastMooreState<O>, O) - Method in class net.automatalib.automaton.transducer.FastMoore
- setStateProperty(int, Boolean) - Method in class net.automatalib.automaton.fsa.CompactDFA
- setStateProperty(int, Boolean) - Method in class net.automatalib.automaton.fsa.CompactNFA
- setStateProperty(int, SP) - Method in class net.automatalib.automaton.base.AbstractCompact
- setStateProperty(int, SP) - Method in class net.automatalib.automaton.UniversalCompactDet
- setStateProperty(int, SP) - Method in class net.automatalib.automaton.UniversalCompactSimpleDet
- setStateProperty(int, Void) - Method in class net.automatalib.automaton.transducer.CompactMealy
- setStateProperty(int, Void) - Method in class net.automatalib.ts.modal.AbstractCompactMTS
- setStateProperty(Integer, Void) - Method in class net.automatalib.ts.modal.AbstractCompactMTS
- setStateProperty(Integer, SP) - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
- setStateProperty(FastProbMealyState<O>, Void) - Method in class net.automatalib.automaton.transducer.probabilistic.FastProbMealy
- setSymbol(I) - Method in class net.automatalib.graph.ads.AbstractRecursiveADSLeafNode
- setSymbol(I) - Method in class net.automatalib.graph.ads.AbstractRecursiveADSSymbolNode
- setTransition(int, int, int) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
- setTransition(int, int, int, O) - Method in class net.automatalib.automaton.transducer.CompactMealy
- setTransition(int, int, int, TP) - Method in class net.automatalib.automaton.UniversalCompactDet
- setTransition(int, int, int, Void) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
- setTransition(int, int, Integer) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
- setTransition(int, int, CompactTransition<O>) - Method in class net.automatalib.automaton.transducer.CompactMealy
- setTransition(int, int, CompactTransition<TP>) - Method in class net.automatalib.automaton.UniversalCompactDet
- setTransition(int, I, int, TP) - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
- setTransition(int, I, T) - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
- setTransition(Integer, I, T) - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
- setTransition(S, I, T) - Method in class net.automatalib.automaton.base.AbstractFastMutableDet
- setTransitionObject(int, T) - Method in class net.automatalib.automaton.base.AbstractFastState
- setTransitionOutput(CompactTransition<O>, O) - Method in class net.automatalib.automaton.transducer.CompactMealy
- setTransitionOutput(MealyTransition<FastMealyState<O>, O>, O) - Method in class net.automatalib.automaton.transducer.FastMealy
- setTransitionOutput(MealyTransition<FastProbMealyState<O>, ProbabilisticOutput<O>>, O) - Method in class net.automatalib.automaton.transducer.probabilistic.FastProbMealy
- setTransitionProbability(MealyTransition<FastProbMealyState<O>, ProbabilisticOutput<O>>, float) - Method in class net.automatalib.automaton.transducer.probabilistic.FastProbMealy
- setTransitionProperty(Integer, Void) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
- setTransitionProperty(Integer, Void) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- setTransitionProperty(CompactTransition<O>, O) - Method in class net.automatalib.automaton.transducer.CompactMealy
- setTransitionProperty(CompactTransition<TP>, TP) - Method in class net.automatalib.automaton.UniversalCompactDet
- setTransitionProperty(MealyTransition<FastProbMealyState<O>, ProbabilisticOutput<O>>, ProbabilisticOutput<O>) - Method in class net.automatalib.automaton.transducer.probabilistic.FastProbMealy
- setTransitionProperty(MTSTransition<MutableModalEdgeProperty>, MutableModalEdgeProperty) - Method in class net.automatalib.ts.modal.CompactMTS
- setTransitions(int, int, Collection<? extends Integer>) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- setTransitions(int, I, Collection<? extends Integer>) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- setTransitions(Integer, I, Collection<? extends Integer>) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- setTransitions(Integer, I, Collection<? extends T>) - Method in class net.automatalib.ts.modal.AbstractCompactMTS
- setTransitions(S, I, Collection<? extends T>) - Method in class net.automatalib.automaton.base.AbstractFastMutableNondet
- SimpleMapGraph<N> - Class in net.automatalib.graph
-
A very simple graph realization, where nodes can be arbitrary Java objects.
- SimpleMapGraph() - Constructor for class net.automatalib.graph.SimpleMapGraph
- SimpleMapGraph(Supplier<? extends Collection<N>>) - Constructor for class net.automatalib.graph.SimpleMapGraph
-
Initializes a graph where the adjacency structure is stored using a
HashMap
, and adjacency information for a single node is stored in data structures created via the provided supplier. - SimpleMapGraph(Map<N, Collection<N>>) - Constructor for class net.automatalib.graph.SimpleMapGraph
-
Initializes a graph using the given adjacency structure, and adjacency information for a single node is stored using
HashSet
s. - SimpleMapGraph(Map<N, Collection<N>>, Supplier<? extends Collection<N>>) - Constructor for class net.automatalib.graph.SimpleMapGraph
-
Initializes a graph using the given adjacency structure, and adjacency information for a single node is stored in data structures created via the provided supplier.
- singleton(T) - Static method in class net.automatalib.alphabet.Alphabets
- SingletonAlphabet<I> - Class in net.automatalib.alphabet
-
A specialized implementation for
Alphabet
s containing only a single symbol. - SingletonAlphabet(I) - Constructor for class net.automatalib.alphabet.SingletonAlphabet
- size() - Method in class net.automatalib.alphabet.AbstractVPAlphabet
- size() - Method in class net.automatalib.alphabet.ArrayAlphabet
- size() - Method in class net.automatalib.alphabet.GrowingVPAlphabet
- size() - Method in class net.automatalib.alphabet.ListAlphabet
- size() - Method in class net.automatalib.alphabet.MapAlphabet
- size() - Method in class net.automatalib.alphabet.SingletonAlphabet
- size() - Method in class net.automatalib.automaton.base.AbstractCompact
- size() - Method in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
- size() - Method in class net.automatalib.graph.base.AbstractCompactGraph
- size() - Method in class net.automatalib.ts.powerset.FastPowersetState
- SizeDFAModelCheckerCache<I,P,R> - Class in net.automatalib.modelchecking
-
A DFAModelCheckerCache that invalidates the cached counter examples when
ModelChecker.findCounterExample(Object, Collection, Object)
is called with a DFA with a size different, and an input alphabet different from the previous call. - SizeDFAModelCheckerCache(ModelChecker.DFAModelChecker<I, P, R>) - Constructor for class net.automatalib.modelchecking.SizeDFAModelCheckerCache
- SizeDFAModelCheckerLassoCache<I,P> - Class in net.automatalib.modelchecking
- SizeDFAModelCheckerLassoCache(ModelCheckerLasso.DFAModelCheckerLasso<I, P>) - Constructor for class net.automatalib.modelchecking.SizeDFAModelCheckerLassoCache
- SizeMealyModelCheckerCache<I,O,P,R> - Class in net.automatalib.modelchecking
- SizeMealyModelCheckerCache(ModelChecker.MealyModelChecker<I, O, P, R>) - Constructor for class net.automatalib.modelchecking.SizeMealyModelCheckerCache
- SizeMealyModelCheckerLassoCache<I,O,P> - Class in net.automatalib.modelchecking
- SizeMealyModelCheckerLassoCache(ModelCheckerLasso.MealyModelCheckerLasso<I, O, P>) - Constructor for class net.automatalib.modelchecking.SizeMealyModelCheckerLassoCache
- StackSBA<S,I> - Class in net.automatalib.automaton.procedural
-
A stack-based implementation for the (instrumented) language of an
SBA
. - StackSBA(ProceduralInputAlphabet<I>, I, Map<I, ? extends DFA<? extends S, I>>) - Constructor for class net.automatalib.automaton.procedural.StackSBA
- StackSPA<S,I> - Class in net.automatalib.automaton.procedural
-
A stack-based implementation for the (instrumented) language of an
SPA
. - StackSPA(ProceduralInputAlphabet<I>, I, Map<I, ? extends DFA<? extends S, I>>) - Constructor for class net.automatalib.automaton.procedural.StackSPA
- StackSPMM<S,I,T,O> - Class in net.automatalib.automaton.procedural
-
A stack-based implementation for the (instrumented) transductions of an
SPMM
. - StackSPMM(ProceduralInputAlphabet<I>, I, O, O, Map<I, ? extends MealyMachine<? extends S, I, ? extends T, O>>) - Constructor for class net.automatalib.automaton.procedural.StackSPMM
- StackState<S,I,P> - Class in net.automatalib.automaton.procedural
-
A stack-based state in a procedural system.
- stateIDs() - Method in class net.automatalib.automaton.base.AbstractCompact
- stateIDs() - Method in class net.automatalib.automaton.base.AbstractFastMutable
- stateIntAbstraction() - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
- Symbol<I> - Class in net.automatalib.alphabet
- Symbol(I) - Constructor for class net.automatalib.alphabet.Symbol
- symbols - Variable in class net.automatalib.alphabet.ArrayAlphabet
- symbols - Variable in class net.automatalib.alphabet.MapAlphabet
T
- toGrowingAlphabetOrThrowException(Alphabet<I>) - Static method in class net.automatalib.alphabet.Alphabets
-
Casts the given alphabet to a
GrowingAlphabet
if possible (i.e. the given alphabet is actually an instance of aGrowingAlphabet
). - toId(Integer) - Static method in class net.automatalib.automaton.base.AbstractCompact
- toMemoryIndex(int, int) - Method in class net.automatalib.automaton.base.AbstractCompact
-
Returns for a given state id and input symbol index, the memory location for its associated data.
- toState(int) - Static method in class net.automatalib.automaton.base.AbstractCompact
- toString() - Method in class net.automatalib.alphabet.Symbol
- toString() - Method in class net.automatalib.alphabet.VPSym
- toString() - Method in class net.automatalib.automaton.base.AbstractFastState
- toString() - Method in class net.automatalib.graph.ads.AbstractRecursiveADSLeafNode
- toString() - Method in class net.automatalib.graph.ads.AbstractRecursiveADSSymbolNode
- toString() - Method in class net.automatalib.graph.base.CompactEdge
- transitions - Variable in class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
- translate(Alphabet<I2>) - Method in class net.automatalib.automaton.fsa.CompactDFA
- translate(Alphabet<I2>) - Method in class net.automatalib.automaton.fsa.CompactNFA
U
- UniversalCompactDet<I,SP,TP> - Class in net.automatalib.automaton
-
A default implementation for
AbstractCompactDeterministic
that usesCompactTransition
as transition type and supports various types of state and transition properties. - UniversalCompactDet(Alphabet<I>) - Constructor for class net.automatalib.automaton.UniversalCompactDet
- UniversalCompactDet(Alphabet<I>, int, float) - Constructor for class net.automatalib.automaton.UniversalCompactDet
- UniversalCompactDet(Alphabet<I>, UniversalCompactDet<?, SP, TP>) - Constructor for class net.automatalib.automaton.UniversalCompactDet
- UniversalCompactSimpleDet<I,SP> - Class in net.automatalib.automaton
-
A
AbstractCompactSimpleDeterministic
-based implementation for automata that need to store generic state properties. - UniversalCompactSimpleDet(Alphabet<I>) - Constructor for class net.automatalib.automaton.UniversalCompactSimpleDet
- UniversalCompactSimpleDet(Alphabet<I>, int, float) - Constructor for class net.automatalib.automaton.UniversalCompactSimpleDet
- UniversalCompactSimpleDet(Alphabet<I>, UniversalCompactSimpleDet<?, SP>) - Constructor for class net.automatalib.automaton.UniversalCompactSimpleDet
- UniversalCompactSimpleDet(UniversalCompactSimpleDet<I, SP>) - Constructor for class net.automatalib.automaton.UniversalCompactSimpleDet
- updateStateStorage(Object[], Object, AbstractCompact.Payload) - Method in class net.automatalib.automaton.base.AbstractCompact
-
Return a copy of the provided array with updated memory layout.
- updateStateStorage(AbstractCompact.Payload) - Method in class net.automatalib.automaton.base.AbstractCompact
-
Implementing classes should override this method in order to react to changes to the layout of their array-based state data, e.g. due to calls to
MutableAutomaton.addState()
. - updateStateStorage(AbstractCompact.Payload) - Method in class net.automatalib.automaton.UniversalCompactDet
- updateStateStorage(AbstractCompact.Payload) - Method in class net.automatalib.automaton.UniversalCompactSimpleDet
- updateTransitionStorage(int[], int, AbstractCompact.Payload) - Method in class net.automatalib.automaton.base.AbstractCompact
-
Return a copy of the provided array with updated memory layout.
- updateTransitionStorage(Object[], Object, AbstractCompact.Payload) - Method in class net.automatalib.automaton.base.AbstractCompact
-
Return a copy of the provided array with updated memory layout.
- updateTransitionStorage(S[], IntFunction<S[]>, S, AbstractCompact.Payload) - Method in class net.automatalib.automaton.base.AbstractCompact
-
Return a copy of the provided array with updated memory layout.
- updateTransitionStorage(AbstractCompact.Payload) - Method in class net.automatalib.automaton.base.AbstractCompact
-
Implementing classes should override this method in order to react to changes to the layout of their array-based transition data, e.g. due to calls to
MutableAutomaton.addState()
orAbstractCompact.addAlphabetSymbol(Object)
. - updateTransitionStorage(AbstractCompact.Payload) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
- updateTransitionStorage(AbstractCompact.Payload) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
- updateTransitionStorage(AbstractCompact.Payload) - Method in class net.automatalib.automaton.transducer.CompactMealy
- updateTransitionStorage(AbstractCompact.Payload) - Method in class net.automatalib.automaton.UniversalCompactDet
- updateTransitionStorage(AbstractCompact.Payload) - Method in class net.automatalib.ts.modal.AbstractCompactMTS
V
- Visualization - Class in net.automatalib.visualization
- VisualizationProvider - Interface in net.automatalib.visualization
- visualize(Automaton<S, I, T>, Collection<? extends I>) - Static method in class net.automatalib.visualization.Visualization
- visualize(Automaton<S, I, T>, Collection<? extends I>, boolean) - Static method in class net.automatalib.visualization.Visualization
- visualize(Automaton<S, I, T>, Collection<? extends I>, boolean, Map<String, String>) - Static method in class net.automatalib.visualization.Visualization
- visualize(Automaton<S, I, T>, Collection<? extends I>, boolean, Map<String, String>, VisualizationHelper<S, ? super TransitionEdge<I, T>>...) - Static method in class net.automatalib.visualization.Visualization
- visualize(Automaton<S, I, T>, Collection<? extends I>, boolean, VisualizationHelper<S, ? super TransitionEdge<I, T>>...) - Static method in class net.automatalib.visualization.Visualization
- visualize(Automaton<S, I, T>, Collection<? extends I>, VisualizationHelper<S, ? super TransitionEdge<I, T>>...) - Static method in class net.automatalib.visualization.Visualization
- visualize(GraphViewable) - Static method in class net.automatalib.visualization.Visualization
- visualize(GraphViewable, boolean) - Static method in class net.automatalib.visualization.Visualization
- visualize(GraphViewable, boolean, Map<String, String>) - Static method in class net.automatalib.visualization.Visualization
- visualize(Graph<N, E>) - Static method in class net.automatalib.visualization.Visualization
- visualize(Graph<N, E>, boolean) - Static method in class net.automatalib.visualization.Visualization
- visualize(Graph<N, E>, boolean, Map<String, String>) - Static method in class net.automatalib.visualization.Visualization
- visualize(Graph<N, E>, boolean, Map<String, String>, VisualizationHelper<N, ? super E>...) - Static method in class net.automatalib.visualization.Visualization
- visualize(Graph<N, E>, boolean, VisualizationHelper<N, ? super E>...) - Static method in class net.automatalib.visualization.Visualization
- visualize(Graph<N, E>, List<VisualizationHelper<N, ? super E>>, boolean, Map<String, String>) - Method in class net.automatalib.visualization.DummyVP
- visualize(Graph<N, E>, List<VisualizationHelper<N, ? super E>>, boolean, Map<String, String>) - Method in interface net.automatalib.visualization.VisualizationProvider
-
Visualizes the given graph by means of executing the visualization implementation.
- visualize(Graph<N, E>, VisualizationHelper<N, ? super E>...) - Static method in class net.automatalib.visualization.Visualization
- VPManager - Class in net.automatalib.visualization
- VPManager() - Constructor for class net.automatalib.visualization.VPManager
- VPSym<T> - Class in net.automatalib.alphabet
-
Utility class used to wrap input symbols of a
VPAlphabet
.
W
- writeToArray(int, Object[], int, int) - Method in class net.automatalib.alphabet.ArrayAlphabet
All Classes All Packages