A B C D E F G H I L M N P R S T U V W
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 MutableModalTransitionSystems.

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 a GrowingAlphabet.

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 DFAs.

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

See ResizingArrayStorage.ensureCapacity(int).

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 this VisualizationProvider.

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 MealyMachines.

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

Initializes a graph where the adjacency structure is stored using a HashMap, and adjacency information for a single node is stored using HashSets.

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 HashSets.

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 Alphabets 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 a GrowingAlphabet).

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 uses CompactTransition 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() or AbstractCompact.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

A B C D E F G H I L M N P R S T U V W
All Classes All Packages