A C D E F G H I L M N O P R S T U V W

A

AbstractAlphabet<I> - Class in net.automatalib.words.abstractimpl

AbstractAlphabet() - Constructor for class net.automatalib.words.abstractimpl.AbstractAlphabet

AbstractCompact<I,T,SP,TP> - Class in net.automatalib.automata.base.compact

Abstract super class for compact automata representations.

AbstractCompact(Alphabet<I>, AbstractCompact<?, ?, ?, ?>) - Constructor for class net.automatalib.automata.base.compact.AbstractCompact

AbstractCompact(Alphabet<I>, int, float) - Constructor for class net.automatalib.automata.base.compact.AbstractCompact

AbstractCompact.Payload - Class in net.automatalib.automata.base.compact

A utility class that encapsulates necessary information for performing an update of the stored automata data.

AbstractCompactDeterministic<I,T,SP,TP> - Class in net.automatalib.automata.base.compact

Abstract super class that refines AbstractCompact for deterministic automata.

AbstractCompactDeterministic(Alphabet<I>, int, float) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactDeterministic

AbstractCompactDeterministic(Alphabet<I>, AbstractCompactDeterministic<?, ?, ?, ?>) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactDeterministic

AbstractCompactGraph<E extends CompactEdge<EP>,NP,EP> - Class in net.automatalib.graphs.base.compact

AbstractCompactGraph() - Constructor for class net.automatalib.graphs.base.compact.AbstractCompactGraph

AbstractCompactGraph(int) - Constructor for class net.automatalib.graphs.base.compact.AbstractCompactGraph

AbstractCompactNPGraph<E extends CompactEdge<EP>,NP,EP> - Class in net.automatalib.graphs.base.compact

AbstractCompactNPGraph() - Constructor for class net.automatalib.graphs.base.compact.AbstractCompactNPGraph

AbstractCompactSimpleDeterministic<I,SP> - Class in net.automatalib.automata.base.compact

Abstract super class that refines AbstractCompactDeterministic for transition-property-less automata.

AbstractCompactSimpleDeterministic(Alphabet<I>, int, float) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic

AbstractCompactSimpleDeterministic(Alphabet<I>, AbstractCompactSimpleDeterministic<?, ?>) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic

AbstractCompactSimpleGraph<E extends CompactEdge<EP>,EP> - Class in net.automatalib.graphs.base.compact

AbstractCompactSimpleGraph() - Constructor for class net.automatalib.graphs.base.compact.AbstractCompactSimpleGraph

AbstractCompactSimpleGraph(int) - Constructor for class net.automatalib.graphs.base.compact.AbstractCompactSimpleGraph

AbstractCompactSimpleNondet<I,SP> - Class in net.automatalib.automata.base.compact

Abstract super class that refines AbstractCompact for transition-property-less automata.

AbstractCompactSimpleNondet(Alphabet<I>, int, float) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

AbstractCompactSimpleNondet(Alphabet<I>, AbstractCompactSimpleNondet<?, ?>) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

AbstractFastMutable<S extends AbstractFastState<?>,I,T,SP,TP> - Class in net.automatalib.automata.base.fast

Shared functionality for (non-) deterministic mutable automata.

AbstractFastMutable(Alphabet<I>) - Constructor for class net.automatalib.automata.base.fast.AbstractFastMutable

AbstractFastMutableDet<S extends AbstractFastState<T>,I,T,SP,TP> - Class in net.automatalib.automata.base.fast

AbstractFastMutableDet(Alphabet<I>) - Constructor for class net.automatalib.automata.base.fast.AbstractFastMutableDet

AbstractFastMutableNondet<S extends AbstractFastState<Collection<T>>,I,T,SP,TP> - Class in net.automatalib.automata.base.fast

AbstractFastMutableNondet(Alphabet<I>) - Constructor for class net.automatalib.automata.base.fast.AbstractFastMutableNondet

AbstractFastState<T> - Class in net.automatalib.automata.base.fast

AbstractFastState(int) - Constructor for class net.automatalib.automata.base.fast.AbstractFastState

AbstractLasso<I,D> - Class in net.automatalib.modelchecking.lasso

AbstractLasso(DetOutputAutomaton<S, I, ?, D>, Collection<? extends I>, int) - Constructor for class net.automatalib.modelchecking.lasso.AbstractLasso

Constructs a finite representation of a given automaton (that contains a lasso), by unrolling the loop unfoldTimes.

AbstractOneSEVPA<L,I> - Class in net.automatalib.automata.vpda

Abstract class for 1-SEVPAs that implements functionality shared across different subtypes.

AbstractOneSEVPA(VPDAlphabet<I>) - Constructor for class net.automatalib.automata.vpda.AbstractOneSEVPA

AbstractRecursiveADSLeafNode<S,I,O,N extends RecursiveADSNode<S,I,O,N>> - Class in net.automatalib.graphs.ads.impl

An abstract implementation of a leaf node, that may be used by other ADS-extending classes.

AbstractRecursiveADSLeafNode(N, S) - Constructor for class net.automatalib.graphs.ads.impl.AbstractRecursiveADSLeafNode

AbstractRecursiveADSSymbolNode<S,I,O,N extends RecursiveADSNode<S,I,O,N>> - Class in net.automatalib.graphs.ads.impl

An abstract implementation of a symbol node, that may be used by other ADS-extending classes.

AbstractRecursiveADSSymbolNode(N, I) - Constructor for class net.automatalib.graphs.ads.impl.AbstractRecursiveADSSymbolNode

AbstractSymbol<S> - Class in net.automatalib.words.abstractimpl

AbstractSymbol() - Constructor for class net.automatalib.words.abstractimpl.AbstractSymbol

AbstractUnfoldingModelChecker<I,A,P,L extends Lasso<I,?>> - Class in net.automatalib.modelchecking.modelchecker

An ModelCheckerLasso that can unfold loops of lassos.

AbstractUnfoldingModelChecker(int, double) - Constructor for class net.automatalib.modelchecking.modelchecker.AbstractUnfoldingModelChecker

Constructs a new AbstractUnfoldingModelChecker.

AbstractVPDAlphabet<I> - Class in net.automatalib.words.abstractimpl

Abstract utility class that implements functionality shared across different subtypes.

AbstractVPDAlphabet() - Constructor for class net.automatalib.words.abstractimpl.AbstractVPDAlphabet

add(S, int) - Method in class net.automatalib.ts.powerset.FastPowersetState

add(I) - Method in class net.automatalib.words.impl.SimpleAlphabet

addAlphabetSymbol(I) - Method in class net.automatalib.automata.base.compact.AbstractCompact

addAlphabetSymbol(I) - Method in class net.automatalib.automata.base.fast.AbstractFastMutable

addInitialLocation(boolean) - Method in class net.automatalib.automata.vpda.DefaultOneSEVPA

addInitialState(boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA

addIntInitialState(SP) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

addIntNode(NP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph

addIntNode() - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph

addIntNode(NP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactNPGraph

addIntNode(Void) - Method in class net.automatalib.graphs.base.compact.CompactSimpleBidiGraph

addIntState(SP) - Method in class net.automatalib.automata.base.compact.AbstractCompact

addLocation(boolean) - Method in class net.automatalib.automata.vpda.DefaultOneSEVPA

addNewSymbol(I, VPDAlphabet.SymbolType) - Method in class net.automatalib.words.impl.GrowingVPDAlphabet

addNode(N) - Method in class net.automatalib.automata.transducers.impl.map.SimpleMapGraph

addNode(NP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph

addState(SP) - Method in class net.automatalib.automata.base.compact.AbstractCompact

addState(SP) - Method in class net.automatalib.automata.base.fast.AbstractFastMutable

addState(boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA

addState(boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA

addState(boolean) - Method in class net.automatalib.automata.fsa.impl.FastDFA

addState(boolean) - Method in class net.automatalib.automata.fsa.impl.FastNFA

addSymbol(I) - Method in class net.automatalib.words.impl.FastAlphabet

addSymbol(I) - Method in class net.automatalib.words.impl.SimpleAlphabet

addTransition(Integer, I, Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

addTransition(int, I, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

addTransition(int, int, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

addTransition(FastProbMealyState<O>, I, FastProbMealyState<O>, O, float) - Method in class net.automatalib.automata.transducers.impl.FastProbMealy

adjacentTargetsIterator(N) - Method in class net.automatalib.automata.transducers.impl.map.SimpleMapGraph

adjacentTargetsStream(N) - Method in class net.automatalib.automata.transducers.impl.map.SimpleMapGraph

ADSLeafNode<S,I,O> - Class in net.automatalib.graphs.ads.impl

An ADS-specific implementation of a leaf node.

ADSLeafNode(ADSNode<S, I, O>, S) - Constructor for class net.automatalib.graphs.ads.impl.ADSLeafNode

ADSSymbolNode<S,I,O> - Class in net.automatalib.graphs.ads.impl

An ADS-specific implementation of a symbol node.

ADSSymbolNode(ADSNode<S, I, O>, I) - Constructor for class net.automatalib.graphs.ads.impl.ADSSymbolNode

AggregateVisualizationHelper<N,E> - Class in net.automatalib.visualization.helper

AggregateVisualizationHelper(VisualizationHelper<N, ? super E>, List<? extends VisualizationHelper<N, ? super E>>) - Constructor for class net.automatalib.visualization.helper.AggregateVisualizationHelper

AggregateVisualizationHelper(List<? extends VisualizationHelper<N, ? super E>>) - Constructor for class net.automatalib.visualization.helper.AggregateVisualizationHelper

allowPartial - Variable in class net.automatalib.ts.comp.DTSComposition

alphabet - Variable in class net.automatalib.automata.vpda.AbstractOneSEVPA

Alphabets - Class in net.automatalib.words.impl

ArrayAlphabet<I> - Class in net.automatalib.words.impl

ArrayAlphabet(I...) - Constructor for class net.automatalib.words.impl.ArrayAlphabet

C

characters(char, char) - Static method in class net.automatalib.words.impl.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.automata.base.compact.AbstractCompact

clear() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

clear() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic

clear() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

clear() - Method in class net.automatalib.automata.base.compact.UniversalCompactSimpleDet

clear() - Method in class net.automatalib.automata.base.fast.AbstractFastMutable

clear() - Method in class net.automatalib.automata.base.fast.AbstractFastMutableDet

clear() - Method in class net.automatalib.automata.base.fast.AbstractFastMutableNondet

clear() - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA

clear() - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA

clear() - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealy

clearTransitionObject(T) - Method in class net.automatalib.automata.base.fast.AbstractFastState

clearTransitionObjects() - Method in class net.automatalib.automata.base.fast.AbstractFastState

closedCharStringRange(char, char) - Static method in class net.automatalib.words.impl.Alphabets

CompactBidiEdge<EP> - Class in net.automatalib.graphs.base.compact

CompactBidiEdge(int, int, EP) - Constructor for class net.automatalib.graphs.base.compact.CompactBidiEdge

CompactDFA<I> - Class in net.automatalib.automata.fsa.impl.compact

CompactDFA(Alphabet<I>) - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactDFA

CompactDFA(Alphabet<I>, int) - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactDFA

CompactDFA(Alphabet<I>, float) - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactDFA

CompactDFA(Alphabet<I>, int, float) - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactDFA

CompactDFA(CompactDFA<I>) - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactDFA

CompactDFA(Alphabet<I>, CompactDFA<?>) - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactDFA

CompactDFA.Creator<I> - Class in net.automatalib.automata.fsa.impl.compact

CompactEdge<EP> - Class in net.automatalib.graphs.base.compact

An edge in a CompactSimpleGraph.

CompactEdge(int, EP) - Constructor for class net.automatalib.graphs.base.compact.CompactEdge

CompactGraph<NP,EP> - Class in net.automatalib.graphs.base.compact

CompactGraph() - Constructor for class net.automatalib.graphs.base.compact.CompactGraph

CompactGraph(int) - Constructor for class net.automatalib.graphs.base.compact.CompactGraph

CompactMealy<I,O> - Class in net.automatalib.automata.transducers.impl.compact

CompactMealy(Alphabet<I>, int, float) - Constructor for class net.automatalib.automata.transducers.impl.compact.CompactMealy

CompactMealy(Alphabet<I>, int) - Constructor for class net.automatalib.automata.transducers.impl.compact.CompactMealy

CompactMealy(Alphabet<I>) - Constructor for class net.automatalib.automata.transducers.impl.compact.CompactMealy

CompactMealy.Creator<I,O> - Class in net.automatalib.automata.transducers.impl.compact

CompactMealyTransition<O> - Class in net.automatalib.automata.transducers.impl.compact

CompactMoore<I,O> - Class in net.automatalib.automata.transducers.impl.compact

CompactMoore(Alphabet<I>) - Constructor for class net.automatalib.automata.transducers.impl.compact.CompactMoore

CompactMoore(Alphabet<I>, int, float) - Constructor for class net.automatalib.automata.transducers.impl.compact.CompactMoore

CompactNFA<I> - Class in net.automatalib.automata.fsa.impl.compact

CompactNFA(Alphabet<I>, int) - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactNFA

CompactNFA(Alphabet<I>) - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactNFA

CompactNFA(Alphabet<I>, CompactNFA<?>) - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactNFA

CompactNFA.Creator<I> - Class in net.automatalib.automata.fsa.impl.compact

CompactSimpleBidiGraph<EP> - Class in net.automatalib.graphs.base.compact

CompactSimpleBidiGraph() - Constructor for class net.automatalib.graphs.base.compact.CompactSimpleBidiGraph

CompactSimpleBidiGraph(int) - Constructor for class net.automatalib.graphs.base.compact.CompactSimpleBidiGraph

CompactSimpleGraph<EP> - Class in net.automatalib.graphs.base.compact

CompactSimpleGraph() - Constructor for class net.automatalib.graphs.base.compact.CompactSimpleGraph

CompactSimpleGraph(int) - Constructor for class net.automatalib.graphs.base.compact.CompactSimpleGraph

compare(E, E) - Method in class net.automatalib.words.impl.EnumAlphabet

compare(I, I) - Method in class net.automatalib.words.impl.FastAlphabet

compare(I, I) - Method in class net.automatalib.words.impl.SimpleAlphabet

compareTo(Symbol) - Method in class net.automatalib.words.impl.Symbol

compose(TS1, TS2) - Static method in class net.automatalib.ts.comp.TSCompositions

compose(TS1, TS2) - Static method in class net.automatalib.ts.comp.TSCompositions

computeOutput(Iterable<? extends I>) - Method in class net.automatalib.modelchecking.lasso.MealyLassoImpl

connect(N, N, Void) - Method in class net.automatalib.automata.transducers.impl.map.SimpleMapGraph

connect(Integer, Integer, EP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph

connect(int, int, EP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph

connect(int, int) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph

connect(int, int, EP) - Method in class net.automatalib.graphs.base.compact.CompactSimpleBidiGraph

containsSymbol(I) - Method in class net.automatalib.words.impl.ArrayAlphabet

containsSymbol(E) - Method in class net.automatalib.words.impl.EnumAlphabet

containsSymbol(I) - Method in class net.automatalib.words.impl.FastAlphabet

containsSymbol(I) - Method in class net.automatalib.words.impl.ListAlphabet

containsSymbol(I) - Method in class net.automatalib.words.impl.SimpleAlphabet

copyTransition(Integer, Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

createAutomaton(Alphabet<I>, int) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA.Creator

createAutomaton(Alphabet<I>) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA.Creator

createAutomaton(Alphabet<I>, int) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA.Creator

createAutomaton(Alphabet<I>) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA.Creator

createAutomaton(Alphabet<I>, int) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealy.Creator

createAutomaton(Alphabet<I>) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealy.Creator

createDynamicStateMapping() - Method in class net.automatalib.automata.base.fast.AbstractFastMutable

createEdge(int, int, EP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph

createEdge(int, int, EP) - Method in class net.automatalib.graphs.base.compact.CompactGraph

createEdge(int, int, EP) - Method in class net.automatalib.graphs.base.compact.CompactSimpleBidiGraph

createEdge(int, int, EP) - Method in class net.automatalib.graphs.base.compact.CompactSimpleGraph

createState(SP) - Method in class net.automatalib.automata.base.fast.AbstractFastMutable

createState(Boolean) - Method in class net.automatalib.automata.fsa.impl.FastDFA

createState(boolean) - Method in class net.automatalib.automata.fsa.impl.FastDFA

createState(Boolean) - Method in class net.automatalib.automata.fsa.impl.FastNFA

createState(Void) - Method in class net.automatalib.automata.transducers.impl.FastMealy

createState(O) - Method in class net.automatalib.automata.transducers.impl.FastMoore

createState(Void) - Method in class net.automatalib.automata.transducers.impl.FastProbMealy

createTransition(Integer, TP) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

createTransition(int, Void) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic

createTransition(Integer, Void) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

createTransition(int, O) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealy

createTransition(FastMealyState<O>, O) - Method in class net.automatalib.automata.transducers.impl.FastMealy

createTransition(FastMooreState<O>, Void) - Method in class net.automatalib.automata.transducers.impl.FastMoore

createTransition(FastProbMealyState<O>, ProbabilisticOutput<O>) - Method in class net.automatalib.automata.transducers.impl.FastProbMealy

Creator() - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactDFA.Creator

Creator() - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactNFA.Creator

Creator() - Constructor for class net.automatalib.automata.transducers.impl.compact.CompactMealy.Creator

D

DEFAULT_INIT_CAPACITY - Static variable in class net.automatalib.automata.base.compact.AbstractCompact

DEFAULT_RESIZE_FACTOR - Static variable in class net.automatalib.automata.base.compact.AbstractCompact

DefaultOneSEVPA<I> - Class in net.automatalib.automata.vpda

Default implementation for 1-SEVPA.

DefaultOneSEVPA(VPDAlphabet<I>) - Constructor for class net.automatalib.automata.vpda.DefaultOneSEVPA

DefaultOneSEVPA(VPDAlphabet<I>, int) - Constructor for class net.automatalib.automata.vpda.DefaultOneSEVPA

DefaultVPDAlphabet<I> - Class in net.automatalib.words.impl

A list-based, fixed size implementation of a VPDAlphabet.

DefaultVPDAlphabet(Collection<I>, Collection<I>, Collection<I>) - Constructor for class net.automatalib.words.impl.DefaultVPDAlphabet

DelegateVisualizationHelper<N,E> - Class in net.automatalib.visualization.helper

DelegateVisualizationHelper(VisualizationHelper<N, ? super E>) - Constructor for class net.automatalib.visualization.helper.DelegateVisualizationHelper

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

A DFALasso is a lasso for DFAs.

DFALassoImpl(DetOutputAutomaton<?, I, ?, Boolean>, Collection<? extends I>, int) - Constructor for class net.automatalib.modelchecking.lasso.DFALassoImpl

DTSComposition<S1,S2,I,T1,T2,TS1 extends DeterministicTransitionSystem<S1,I,T1>,TS2 extends DeterministicTransitionSystem<S2,I,T2>> - Class in net.automatalib.ts.comp

DTSComposition(TS1, TS2) - Constructor for class net.automatalib.ts.comp.DTSComposition

DTSComposition(TS1, TS2, boolean) - Constructor for class net.automatalib.ts.comp.DTSComposition

DummyVP - Class in net.automatalib.visualization

DummyVP() - Constructor for class net.automatalib.visualization.DummyVP

E

edges - Variable in class net.automatalib.graphs.base.compact.AbstractCompactGraph

encodeStackSym(L, I) - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA

encodeStackSym(L, int) - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA

ensureInputCapacity(int) - Method in class net.automatalib.automata.base.fast.AbstractFastState

See ResizingArrayStorage.ensureCapacity(int).

EnumAlphabet<E extends Enum<E>> - Class in net.automatalib.words.impl

EnumAlphabet(Class<E>, boolean) - Constructor for class net.automatalib.words.impl.EnumAlphabet

equals(Object) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealyTransition

equals(Object) - Method in class net.automatalib.ts.powerset.FastPowersetState

equals(Object) - Method in class net.automatalib.words.impl.Symbol

equals(Object) - Method in class net.automatalib.words.impl.VPDSym

F

FastAlphabet<I extends MutableNumericID> - Class in net.automatalib.words.impl

A fast alphabet implementation, that assumes identifiers are stored directly in the input symbols.

FastAlphabet() - Constructor for class net.automatalib.words.impl.FastAlphabet

FastAlphabet(I...) - Constructor for class net.automatalib.words.impl.FastAlphabet

FastAlphabet(List<? extends I>) - Constructor for class net.automatalib.words.impl.FastAlphabet

FastDFA<I> - Class in net.automatalib.automata.fsa.impl

FastDFA(Alphabet<I>) - Constructor for class net.automatalib.automata.fsa.impl.FastDFA

FastDFAState - Class in net.automatalib.automata.fsa.impl

FastDFAState(int, boolean) - Constructor for class net.automatalib.automata.fsa.impl.FastDFAState

FastMealy<I,O> - Class in net.automatalib.automata.transducers.impl

A fast implementation of a Mealy machine.

FastMealy(Alphabet<I>) - Constructor for class net.automatalib.automata.transducers.impl.FastMealy

Constructor.

FastMealyState<O> - Class in net.automatalib.automata.transducers.impl

A state in a FastMealy automaton.

FastMealyState(int) - Constructor for class net.automatalib.automata.transducers.impl.FastMealyState

FastMoore<I,O> - Class in net.automatalib.automata.transducers.impl

A fast implementation of a Moore automaton.

FastMoore(Alphabet<I>) - Constructor for class net.automatalib.automata.transducers.impl.FastMoore

FastMooreState<O> - Class in net.automatalib.automata.transducers.impl

A state in a FastMoore automaton.

FastMooreState(int, O) - Constructor for class net.automatalib.automata.transducers.impl.FastMooreState

Constructor.

FastNFA<I> - Class in net.automatalib.automata.fsa.impl

FastNFA(Alphabet<I>) - Constructor for class net.automatalib.automata.fsa.impl.FastNFA

FastNFAState - Class in net.automatalib.automata.fsa.impl

FastNFAState(int) - Constructor for class net.automatalib.automata.fsa.impl.FastNFAState

FastNFAState(int, boolean) - Constructor for class net.automatalib.automata.fsa.impl.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.automata.transducers.impl

FastProbMealy(Alphabet<I>) - Constructor for class net.automatalib.automata.transducers.impl.FastProbMealy

FastProbMealyState<O> - Class in net.automatalib.automata.transducers.impl

FastProbMealyState(int) - Constructor for class net.automatalib.automata.transducers.impl.FastProbMealyState

flipAcceptance() - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA

flipAcceptance() - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA

fromArray(T...) - Static method in class net.automatalib.words.impl.Alphabets

fromCollection(Collection<? extends I>) - Static method in class net.automatalib.words.impl.Alphabets

fromEnum(Class<E>) - Static method in class net.automatalib.words.impl.Alphabets

fromEnum(Class<E>, boolean) - Static method in class net.automatalib.words.impl.Alphabets

fromList(List<? extends T>) - Static method in class net.automatalib.words.impl.Alphabets

fullIntAbstraction(Alphabet<I>) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

G

get(S) - Method in class net.automatalib.automata.base.StateIDDynamicMapping

get(S) - Method in class net.automatalib.automata.base.StateIDGrowingMapping

get(int) - Method in class net.automatalib.words.abstractimpl.AbstractAlphabet

get(int) - Method in class net.automatalib.words.impl.ListAlphabet

get(int) - Method in class net.automatalib.words.impl.SimpleAlphabet

getAdjacentTargets(N) - Method in class net.automatalib.automata.transducers.impl.map.SimpleMapGraph

getAlphabet() - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA

getAutomaton() - Method in class net.automatalib.modelchecking.lasso.AbstractLasso

getBestProvider() - Method in class net.automatalib.visualization.VPManager

getCallAlphabet() - Method in class net.automatalib.words.abstractimpl.AbstractVPDAlphabet

getCallSym(int) - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA

getCallSymbol(int) - Method in class net.automatalib.words.impl.DefaultVPDAlphabet

getCallSymbol(int) - Method in class net.automatalib.words.impl.GrowingVPDAlphabet

getCallSymbolIndex(I) - Method in class net.automatalib.words.impl.DefaultVPDAlphabet

getCallSymbolIndex(VPDSym<I>) - Method in class net.automatalib.words.impl.GrowingVPDAlphabet

getCallSymbols() - Method in class net.automatalib.words.impl.DefaultVPDAlphabet

getCallSymbols() - Method in class net.automatalib.words.impl.GrowingVPDAlphabet

getChildren() - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSLeafNode

getChildren() - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSSymbolNode

getDescription() - Method in interface net.automatalib.visualization.VisualizationProvider

Returns a description of the provider.

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

getEdgeProperties(N, E, N, Map<String, String>) - Method in class net.automatalib.visualization.helper.PrettyVisualizationHelper

getEdgeProperty(N) - Method in class net.automatalib.automata.transducers.impl.map.SimpleMapGraph

getEdgeProperty(E) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph

getFirstTS() - Method in class net.automatalib.ts.comp.DTSComposition

getGlobalEdgeProperties(Map<String, String>) - Method in class net.automatalib.visualization.helper.AggregateVisualizationHelper

getGlobalEdgeProperties(Map<String, String>) - Method in class net.automatalib.visualization.helper.DelegateVisualizationHelper

getGlobalEdgeProperties(Map<String, String>) - Method in class net.automatalib.visualization.helper.PrettyVisualizationHelper

getGlobalIndex() - Method in class net.automatalib.words.impl.VPDSym

getGlobalNodeProperties(Map<String, String>) - Method in class net.automatalib.visualization.helper.AggregateVisualizationHelper

getGlobalNodeProperties(Map<String, String>) - Method in class net.automatalib.visualization.helper.DelegateVisualizationHelper

getGlobalNodeProperties(Map<String, String>) - Method in class net.automatalib.visualization.helper.PrettyVisualizationHelper

getHypothesisState() - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSLeafNode

getHypothesisState() - Method in class net.automatalib.graphs.ads.impl.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(Integer) - Method in class net.automatalib.graphs.base.compact.CompactSimpleBidiGraph

getIncomingEdges(int) - Method in class net.automatalib.graphs.base.compact.CompactSimpleBidiGraph

getIndex() - Method in class net.automatalib.automata.vpda.Location

getInEdgeList(int) - Method in class net.automatalib.graphs.base.compact.CompactSimpleBidiGraph

getInitialLocation() - Method in class net.automatalib.automata.vpda.DefaultOneSEVPA

getInitialState() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

getInitialState() - Method in class net.automatalib.automata.base.fast.AbstractFastMutableDet

getInitialState() - Method in class net.automatalib.modelchecking.lasso.AbstractLasso

getInitialState() - Method in class net.automatalib.ts.comp.DTSComposition

getInitialState() - Method in class net.automatalib.ts.powerset.DeterministicPowersetView

getInitialState() - Method in class net.automatalib.ts.powerset.FastPowersetDTS

getInitialStates() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

getInitialStates() - Method in class net.automatalib.automata.base.fast.AbstractFastMutableNondet

getInitialStates() - Method in class net.automatalib.ts.comp.TSComposition

getInputAlphabet() - Method in class net.automatalib.automata.base.compact.AbstractCompact

getInputAlphabet() - Method in class net.automatalib.automata.base.fast.AbstractFastMutable

getInputAlphabet() - Method in class net.automatalib.modelchecking.lasso.AbstractLasso

Gets the input alphabet of this automaton.

getInternalAlphabet() - Method in class net.automatalib.words.abstractimpl.AbstractVPDAlphabet

getInternalSuccessor(Location, I) - Method in class net.automatalib.automata.vpda.DefaultOneSEVPA

getInternalSuccessor(int) - Method in class net.automatalib.automata.vpda.Location

getInternalSymbol(int) - Method in class net.automatalib.words.impl.DefaultVPDAlphabet

getInternalSymbol(int) - Method in class net.automatalib.words.impl.GrowingVPDAlphabet

getInternalSymbolIndex(I) - Method in class net.automatalib.words.impl.DefaultVPDAlphabet

getInternalSymbolIndex(VPDSym<I>) - Method in class net.automatalib.words.impl.GrowingVPDAlphabet

getInternalSymbols() - Method in class net.automatalib.words.impl.DefaultVPDAlphabet

getInternalSymbols() - Method in class net.automatalib.words.impl.GrowingVPDAlphabet

getIntInitialState() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

getIntSource(CompactBidiEdge<EP>) - Method in class net.automatalib.graphs.base.compact.CompactSimpleBidiGraph

getIntSuccessor(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic

getIntSuccessor(CompactMealyTransition<O>) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealy

getLocalIndex() - Method in class net.automatalib.words.impl.VPDSym

getLocalInputs(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompact

getLocalInputs(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

getLocalInputs(S) - Method in class net.automatalib.automata.base.fast.AbstractFastMutableDet

getLocalInputs(S) - Method in class net.automatalib.automata.base.fast.AbstractFastMutableNondet

getLocation(int) - Method in class net.automatalib.automata.vpda.DefaultOneSEVPA

getLocationId(Location) - Method in class net.automatalib.automata.vpda.DefaultOneSEVPA

getLocations() - Method in class net.automatalib.automata.vpda.DefaultOneSEVPA

getLoop() - Method in class net.automatalib.modelchecking.lasso.AbstractLasso

getLoopBeginIndices() - Method in class net.automatalib.modelchecking.lasso.AbstractLasso

getMinimumUnfolds() - Method in class net.automatalib.modelchecking.modelchecker.AbstractUnfoldingModelChecker

getModelChecker() - Method in class net.automatalib.modelchecking.modelchecker.cache.SizeDFAModelCheckerLassoCache

getModelChecker() - Method in class net.automatalib.modelchecking.modelchecker.cache.SizeMealyModelCheckerCache

getModelChecker() - Method in class net.automatalib.modelchecking.modelchecker.cache.SizeMealyModelCheckerLassoCache

getMultiplier() - Method in class net.automatalib.modelchecking.modelchecker.AbstractUnfoldingModelChecker

getNode(int) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph

getNodeId(Integer) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph

getNodeProperties(int) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph

getNodeProperties(int) - Method in class net.automatalib.graphs.base.compact.AbstractCompactNPGraph

getNodeProperties(int) - Method in class net.automatalib.graphs.base.compact.AbstractCompactSimpleGraph

getNodeProperties(int) - Method in class net.automatalib.graphs.base.compact.CompactGraph

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

getNodeProperties(N, Map<String, String>) - Method in class net.automatalib.visualization.helper.PrettyVisualizationHelper

getNodeProperty(N) - Method in class net.automatalib.automata.transducers.impl.map.SimpleMapGraph

getNodeProperty(Integer) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph

getNodes() - Method in class net.automatalib.automata.transducers.impl.map.SimpleMapGraph

getNodes() - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA

getNodes() - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph

getNumCalls() - Method in class net.automatalib.words.impl.DefaultVPDAlphabet

getNumCalls() - Method in class net.automatalib.words.impl.GrowingVPDAlphabet

getNumInternals() - Method in class net.automatalib.words.impl.DefaultVPDAlphabet

getNumInternals() - Method in class net.automatalib.words.impl.GrowingVPDAlphabet

getNumReturns() - Method in class net.automatalib.words.impl.DefaultVPDAlphabet

getNumReturns() - Method in class net.automatalib.words.impl.GrowingVPDAlphabet

getNumStackSymbols() - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA

getOriginalStates(S) - Method in class net.automatalib.ts.powerset.DeterministicPowersetView

getOriginalStates(FastPowersetState<S>) - Method in class net.automatalib.ts.powerset.FastPowersetDTS

getOriginalTransitions(T) - Method in class net.automatalib.ts.powerset.DeterministicPowersetView

getOriginalTransitions(Set<T>) - Method in class net.automatalib.ts.powerset.FastPowersetDTS

getOutEdgeList(int) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph

getOutgoingEdges(N) - Method in class net.automatalib.automata.transducers.impl.map.SimpleMapGraph

getOutgoingEdges(L) - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA

getOutgoingEdges(Integer) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph

getOutgoingEdges(int) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph

getOutput() - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealyTransition

getOutput() - Method in class net.automatalib.automata.transducers.impl.FastMooreState

Retrieves the output symbol generated by this state.

getOutput() - Method in class net.automatalib.automata.transducers.impl.MealyTransition

Retrieves the output symbol.

getOutput() - Method in class net.automatalib.modelchecking.lasso.AbstractLasso

getParent() - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSLeafNode

getParent() - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSSymbolNode

getPrefix() - Method in class net.automatalib.modelchecking.lasso.AbstractLasso

getPriority() - Method in class net.automatalib.visualization.DummyVP

getPriority() - Method in interface net.automatalib.visualization.VisualizationProvider

Returns the priority of the provider.

getProbability() - Method in class net.automatalib.automata.transducers.impl.ProbMealyTransition

getProperty() - Method in class net.automatalib.graphs.base.compact.CompactEdge

getProviderById(String) - Method in class net.automatalib.visualization.VPManager

getReturnAlphabet() - Method in class net.automatalib.words.abstractimpl.AbstractVPDAlphabet

getReturnSuccessor(Location, I, int) - Method in class net.automatalib.automata.vpda.DefaultOneSEVPA

getReturnSuccessor(int, int) - Method in class net.automatalib.automata.vpda.Location

getReturnSymbol(int) - Method in class net.automatalib.words.impl.DefaultVPDAlphabet

getReturnSymbol(int) - Method in class net.automatalib.words.impl.GrowingVPDAlphabet

getReturnSymbolIndex(I) - Method in class net.automatalib.words.impl.DefaultVPDAlphabet

getReturnSymbolIndex(VPDSym<I>) - Method in class net.automatalib.words.impl.GrowingVPDAlphabet

getReturnSymbols() - Method in class net.automatalib.words.impl.DefaultVPDAlphabet

getReturnSymbols() - Method in class net.automatalib.words.impl.GrowingVPDAlphabet

getSecondTS() - Method in class net.automatalib.ts.comp.DTSComposition

getSource() - Method in class net.automatalib.graphs.base.compact.CompactBidiEdge

getSource(CompactBidiEdge<EP>) - Method in class net.automatalib.graphs.base.compact.CompactSimpleBidiGraph

getStackLoc(int) - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA

getState(int) - Method in class net.automatalib.automata.base.compact.AbstractCompact

getState(Iterable<? extends I>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic

getState(int) - Method in class net.automatalib.automata.base.fast.AbstractFastMutable

getStateId(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompact

getStateId(S) - Method in class net.automatalib.automata.base.fast.AbstractFastMutable

getStateOutput(Integer) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMoore

getStateOutput(FastMooreState<O>) - Method in class net.automatalib.automata.transducers.impl.FastMoore

getStateProperty(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

getStateProperty(int) - Method in class net.automatalib.automata.base.compact.UniversalCompactSimpleDet

getStateProperty(int) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA

getStateProperty(int) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealy

getStateProperty(FastProbMealyState<O>) - Method in class net.automatalib.automata.transducers.impl.FastProbMealy

getStates() - Method in class net.automatalib.automata.base.compact.AbstractCompact

getStates() - Method in class net.automatalib.automata.base.fast.AbstractFastMutable

getStates() - Method in class net.automatalib.modelchecking.lasso.AbstractLasso

getSuccessor(T) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

getSuccessor(Integer, Iterable<? extends I>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic

getSuccessor(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

getSuccessor(MealyTransition<FastMealyState<O>, O>) - Method in class net.automatalib.automata.transducers.impl.FastMealy

getSuccessor(FastMooreState<O>) - Method in class net.automatalib.automata.transducers.impl.FastMoore

getSuccessor(ProbMealyTransition<FastProbMealyState<O>, O>) - Method in class net.automatalib.automata.transducers.impl.FastProbMealy

getSuccessor() - Method in class net.automatalib.automata.transducers.impl.MealyTransition

Retrieves the successor state.

getSuccessor(Integer, I) - Method in class net.automatalib.modelchecking.lasso.AbstractLasso

Get the successor state of a given state, or null when no such successor exists.

getSuccessor(Integer) - Method in class net.automatalib.modelchecking.lasso.MealyLassoImpl

getSuccessor(Pair<T1, T2>) - Method in class net.automatalib.ts.comp.DTSComposition

getSuccessor(Pair<T1, T2>) - Method in class net.automatalib.ts.comp.TSComposition

getSuccessor(T) - Method in class net.automatalib.ts.powerset.DeterministicPowersetView

getSuccessor(Set<T>) - Method in class net.automatalib.ts.powerset.FastPowersetDTS

getSuccessor(FastPowersetState<S>, I) - Method in class net.automatalib.ts.powerset.FastPowersetDTS

getSuccId() - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealyTransition

getSymbol() - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSLeafNode

getSymbol() - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSSymbolNode

getSymbol(int) - Method in class net.automatalib.words.impl.ArrayAlphabet

getSymbol(int) - Method in class net.automatalib.words.impl.DefaultVPDAlphabet

getSymbol(int) - Method in class net.automatalib.words.impl.FastAlphabet

getSymbol(int) - Method in class net.automatalib.words.impl.GrowingVPDAlphabet

getSymbol(int) - Method in class net.automatalib.words.impl.ListAlphabet

getSymbol(int) - Method in class net.automatalib.words.impl.SimpleAlphabet

getSymbolIndex(I) - Method in class net.automatalib.automata.base.compact.AbstractCompact

getSymbolIndex(I) - Method in class net.automatalib.words.impl.ArrayAlphabet

getSymbolIndex(I) - Method in class net.automatalib.words.impl.DefaultVPDAlphabet

getSymbolIndex(E) - Method in class net.automatalib.words.impl.EnumAlphabet

getSymbolIndex(I) - Method in class net.automatalib.words.impl.FastAlphabet

getSymbolIndex(VPDSym<I>) - Method in class net.automatalib.words.impl.GrowingVPDAlphabet

getSymbolIndex(I) - Method in class net.automatalib.words.impl.ListAlphabet

getSymbolIndex(I) - Method in class net.automatalib.words.impl.SimpleAlphabet

getSymbolType(I) - Method in class net.automatalib.words.impl.DefaultVPDAlphabet

getSymbolType(VPDSym<I>) - Method in class net.automatalib.words.impl.GrowingVPDAlphabet

getTarget(N) - Method in class net.automatalib.automata.transducers.impl.map.SimpleMapGraph

getTarget(AbstractOneSEVPA.SevpaViewEdge<L, I>) - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA

getTarget(E) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph

getTarget() - Method in class net.automatalib.graphs.base.compact.CompactEdge

getTransition(int, I) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

getTransition(Integer, I) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

getTransition(int, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic

getTransition(S, I) - Method in class net.automatalib.automata.base.fast.AbstractFastMutableDet

getTransition(int, int) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealy

getTransition(State<L>, I) - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA

getTransition(Integer, I) - Method in class net.automatalib.modelchecking.lasso.AbstractLasso

getTransition(Pair<S1, S2>, I) - Method in class net.automatalib.ts.comp.DTSComposition

getTransition(S, I) - Method in class net.automatalib.ts.powerset.DeterministicPowersetView

getTransition(FastPowersetState<S>, I) - Method in class net.automatalib.ts.powerset.FastPowersetDTS

getTransitionObject(int) - Method in class net.automatalib.automata.base.fast.AbstractFastState

getTransitionOutput(CompactMealyTransition<O>) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealy

getTransitionOutput(MealyTransition<FastMealyState<O>, O>) - Method in class net.automatalib.automata.transducers.impl.FastMealy

getTransitionOutput(ProbMealyTransition<FastProbMealyState<O>, O>) - Method in class net.automatalib.automata.transducers.impl.FastProbMealy

getTransitionOutput(Integer) - Method in class net.automatalib.modelchecking.lasso.MealyLassoImpl

getTransitionProbability(ProbMealyTransition<FastProbMealyState<O>, O>) - Method in class net.automatalib.automata.transducers.impl.FastProbMealy

getTransitionProperty(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic

getTransitionProperty(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

getTransitionProperty(CompactMealyTransition<O>) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealy

getTransitionProperty(ProbMealyTransition<FastProbMealyState<O>, O>) - Method in class net.automatalib.automata.transducers.impl.FastProbMealy

getTransitions(Integer, I) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

getTransitions(int, I) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

getTransitions(int, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

getTransitions(S, I) - Method in class net.automatalib.automata.base.fast.AbstractFastMutableNondet

getTransitions(Pair<S1, S2>, I) - Method in class net.automatalib.ts.comp.TSComposition

getType() - Method in class net.automatalib.words.impl.VPDSym

getUnfolds() - Method in class net.automatalib.modelchecking.lasso.AbstractLasso

getUserObject() - Method in class net.automatalib.words.impl.Symbol

getUserObject() - Method in class net.automatalib.words.impl.VPDSym

getVisualizationHelper() - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA

getWord() - Method in class net.automatalib.modelchecking.lasso.AbstractLasso

GrowingVPDAlphabet<I> - Class in net.automatalib.words.impl

A VPDAlphabet implementation that allows to add new symbols after its construction.

GrowingVPDAlphabet() - Constructor for class net.automatalib.words.impl.GrowingVPDAlphabet

H

hashCode() - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealyTransition

hashCode() - Method in class net.automatalib.ts.powerset.FastPowersetState

hashCode() - Method in class net.automatalib.words.impl.Symbol

hashCode() - Method in class net.automatalib.words.impl.VPDSym

I

idChanged(S, int, int) - Method in class net.automatalib.automata.base.StateIDDynamicMapping

inIndex - Variable in class net.automatalib.graphs.base.compact.CompactBidiEdge

initial - Variable in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

inputAlphabet - Variable in class net.automatalib.automata.base.fast.AbstractFastMutable

integers(int, int) - Static method in class net.automatalib.words.impl.Alphabets

INVALID_STATE - Static variable in class net.automatalib.automata.base.compact.AbstractCompact

isAccepting(int) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA

isAccepting(Integer) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA

isAccepting(Integer) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA

isAccepting(int) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA

isAccepting(FastDFAState) - Method in class net.automatalib.automata.fsa.impl.FastDFA

isAccepting() - Method in class net.automatalib.automata.fsa.impl.FastDFAState

isAccepting(FastNFAState) - Method in class net.automatalib.automata.fsa.impl.FastNFA

isAccepting() - Method in class net.automatalib.automata.fsa.impl.FastNFAState

isAccepting() - Method in class net.automatalib.automata.vpda.Location

isAccepting(Integer) - Method in class net.automatalib.modelchecking.lasso.DFALassoImpl

Returns whether the given state is accepting.

isAcceptingLocation(Location) - Method in class net.automatalib.automata.vpda.DefaultOneSEVPA

isLeaf() - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSLeafNode

isLeaf() - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSSymbolNode

iterator() - Method in class net.automatalib.automata.transducers.impl.map.SimpleMapGraph

iterator() - Method in class net.automatalib.ts.powerset.FastPowersetState

iterator() - Method in class net.automatalib.words.impl.SimpleAlphabet

L

ListAlphabet<I> - Class in net.automatalib.words.impl

ListAlphabet(List<? extends I>) - Constructor for class net.automatalib.words.impl.ListAlphabet

load() - Method in class net.automatalib.visualization.VPManager

Location - Class in net.automatalib.automata.vpda

Location type used for the default 1-SEVPA.

Location(VPDAlphabet<?>, int, boolean) - Constructor for class net.automatalib.automata.vpda.Location

M

MealyLassoImpl<I,O> - Class in net.automatalib.modelchecking.lasso

A MealyLasso is a lasso for MealyMachines.

MealyLassoImpl(DetOutputAutomaton<?, I, ?, Word<O>>, Collection<? extends I>, int) - Constructor for class net.automatalib.modelchecking.lasso.MealyLassoImpl

MealyTransition<S,O> - Class in net.automatalib.automata.transducers.impl

A transition of a mealy machine, comprising a successor state and an output symbol.

MealyTransition(S, O) - Constructor for class net.automatalib.automata.transducers.impl.MealyTransition

Constructor.

N

net.automatalib.automata.base - package net.automatalib.automata.base

net.automatalib.automata.base.compact - package net.automatalib.automata.base.compact

net.automatalib.automata.base.fast - package net.automatalib.automata.base.fast

net.automatalib.automata.fsa.impl - package net.automatalib.automata.fsa.impl

net.automatalib.automata.fsa.impl.compact - package net.automatalib.automata.fsa.impl.compact

net.automatalib.automata.transducers.impl - package net.automatalib.automata.transducers.impl

net.automatalib.automata.transducers.impl.compact - package net.automatalib.automata.transducers.impl.compact

net.automatalib.automata.transducers.impl.map - package net.automatalib.automata.transducers.impl.map

net.automatalib.automata.vpda - package net.automatalib.automata.vpda

net.automatalib.graphs.ads.impl - package net.automatalib.graphs.ads.impl

net.automatalib.graphs.base.compact - package net.automatalib.graphs.base.compact

net.automatalib.modelchecking.lasso - package net.automatalib.modelchecking.lasso

net.automatalib.modelchecking.modelchecker - package net.automatalib.modelchecking.modelchecker

net.automatalib.modelchecking.modelchecker.cache - package net.automatalib.modelchecking.modelchecker.cache

net.automatalib.ts.comp - package net.automatalib.ts.comp

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

net.automatalib.words.abstractimpl - package net.automatalib.words.abstractimpl

net.automatalib.words.impl - package net.automatalib.words.impl

NO_LASSO - Static variable in class net.automatalib.modelchecking.lasso.AbstractLasso

nodeIDs() - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph

npStorage - Variable in class net.automatalib.graphs.base.compact.AbstractCompactNPGraph

numInputs() - Method in class net.automatalib.automata.base.compact.AbstractCompact

O

outIndex - Variable in class net.automatalib.graphs.base.compact.CompactEdge

P

powersetView() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

powersetView() - Method in class net.automatalib.automata.base.fast.AbstractFastMutableDet

powersetView() - Method in class net.automatalib.automata.base.fast.AbstractFastMutableNondet

PrettyVisualizationHelper<N,E> - Class in net.automatalib.visualization.helper

PrettyVisualizationHelper() - Constructor for class net.automatalib.visualization.helper.PrettyVisualizationHelper

ProbMealyTransition<S,O> - Class in net.automatalib.automata.transducers.impl

ProbMealyTransition(S, O, float) - Constructor for class net.automatalib.automata.transducers.impl.ProbMealyTransition

put(S, V) - Method in class net.automatalib.automata.base.StateIDDynamicMapping

put(S, V) - Method in class net.automatalib.automata.base.StateIDGrowingMapping

R

registerProvider(VisualizationProvider) - Method in class net.automatalib.visualization.VPManager

remove(Object) - Method in class net.automatalib.ts.powerset.FastPowersetState

removeAllTransitions(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic

removeAllTransitions(Integer, I) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

removeAllTransitions(int, I) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

removeAllTransitions(int, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

removeAllTransitions(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

removeAllTransitions(int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

removeAllTransitions(S) - Method in class net.automatalib.automata.base.fast.AbstractFastMutable

removeAllTransitions(Integer) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealy

removeEdge(N, N) - Method in class net.automatalib.automata.transducers.impl.map.SimpleMapGraph

removeNode(N) - Method in class net.automatalib.automata.transducers.impl.map.SimpleMapGraph

removeNode(N, N) - Method in class net.automatalib.automata.transducers.impl.map.SimpleMapGraph

removeState(S, S) - Method in class net.automatalib.automata.base.fast.AbstractFastMutable

removeState(S, S) - Method in class net.automatalib.automata.base.fast.AbstractFastMutableDet

removeState(S, S) - Method in class net.automatalib.automata.base.fast.AbstractFastMutableNondet

removeTransition(Integer, I, Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

removeTransition(int, I, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

removeTransition(int, int, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

S

setAccepting(Integer, boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA

setAccepting(int, boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA

setAccepting(Integer, boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA

setAccepting(int, boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA

setAccepting(FastDFAState, boolean) - Method in class net.automatalib.automata.fsa.impl.FastDFA

setAccepting(boolean) - Method in class net.automatalib.automata.fsa.impl.FastDFAState

setAccepting(FastNFAState, boolean) - Method in class net.automatalib.automata.fsa.impl.FastNFA

setAccepting(boolean) - Method in class net.automatalib.automata.fsa.impl.FastNFAState

setAccepting(boolean) - Method in class net.automatalib.automata.vpda.Location

setEdgeProperty(N, Void) - Method in class net.automatalib.automata.transducers.impl.map.SimpleMapGraph

setEdgeProperty(E, EP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph

setHypothesisState(S) - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSLeafNode

setHypothesisState(S) - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSSymbolNode

setInitial(Integer, boolean) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

setInitial(int, boolean) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

setInitial(S, boolean) - Method in class net.automatalib.automata.base.fast.AbstractFastMutableNondet

setInitialLocation(Location) - Method in class net.automatalib.automata.vpda.DefaultOneSEVPA

setInitialState(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

setInitialState(int) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

setInitialState(S) - Method in class net.automatalib.automata.base.fast.AbstractFastMutableDet

setInternalSuccessor(Location, I, Location) - Method in class net.automatalib.automata.vpda.DefaultOneSEVPA

setInternalSuccessor(int, Location) - Method in class net.automatalib.automata.vpda.Location

setMinimumUnfolds(int) - Method in class net.automatalib.modelchecking.modelchecker.AbstractUnfoldingModelChecker

setMultiplier(double) - Method in class net.automatalib.modelchecking.modelchecker.AbstractUnfoldingModelChecker

setNodeProperty(N, N) - Method in class net.automatalib.automata.transducers.impl.map.SimpleMapGraph

Deprecated.

setNodeProperty(Integer, NP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph

setNodeProperty(int, NP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph

setNodeProperty(int, NP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactNPGraph

setNodeProperty(int, Void) - Method in class net.automatalib.graphs.base.compact.AbstractCompactSimpleGraph

setNodeProperty(int, NP) - Method in class net.automatalib.graphs.base.compact.CompactGraph

setOutput(O) - Method in class net.automatalib.automata.transducers.impl.FastMooreState

Sets the output symbol generated by this state.

setOutput(O) - Method in class net.automatalib.automata.transducers.impl.MealyTransition

Sets the output symbol.

setParent(N) - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSLeafNode

setParent(N) - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSSymbolNode

setProbability(float) - Method in class net.automatalib.automata.transducers.impl.ProbMealyTransition

setProperty(EP) - Method in class net.automatalib.graphs.base.compact.CompactEdge

setReturnSuccessor(Location, I, int, Location) - Method in class net.automatalib.automata.vpda.DefaultOneSEVPA

setReturnSuccessor(int, int, Location) - Method in class net.automatalib.automata.vpda.Location

setStateOutput(Integer, O) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMoore

setStateOutput(FastMooreState<O>, O) - Method in class net.automatalib.automata.transducers.impl.FastMoore

setStateProperty(int, SP) - Method in class net.automatalib.automata.base.compact.AbstractCompact

setStateProperty(Integer, SP) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

setStateProperty(int, SP) - Method in class net.automatalib.automata.base.compact.UniversalCompactSimpleDet

setStateProperty(int, Boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA

setStateProperty(int, Boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA

setStateProperty(int, Void) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealy

setStateProperty(FastProbMealyState<O>, Void) - Method in class net.automatalib.automata.transducers.impl.FastProbMealy

setSymbol(I) - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSLeafNode

setSymbol(I) - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSSymbolNode

setTransition(Integer, I, T) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

setTransition(int, I, T) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

setTransition(int, I, int, TP) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

setTransition(int, int, Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic

setTransition(int, int, int, Void) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic

setTransition(int, int, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic

setTransition(S, I, T) - Method in class net.automatalib.automata.base.fast.AbstractFastMutableDet

setTransition(int, int, CompactMealyTransition<O>) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealy

setTransition(int, int, int, O) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealy

setTransitionObject(int, T) - Method in class net.automatalib.automata.base.fast.AbstractFastState

setTransitionOutput(CompactMealyTransition<O>, O) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealy

setTransitionOutput(MealyTransition<FastMealyState<O>, O>, O) - Method in class net.automatalib.automata.transducers.impl.FastMealy

setTransitionOutput(ProbMealyTransition<FastProbMealyState<O>, O>, O) - Method in class net.automatalib.automata.transducers.impl.FastProbMealy

setTransitionProbability(ProbMealyTransition<FastProbMealyState<O>, O>, float) - Method in class net.automatalib.automata.transducers.impl.FastProbMealy

setTransitionProperty(Integer, Void) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic

setTransitionProperty(Integer, Void) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

setTransitionProperty(CompactMealyTransition<O>, O) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealy

setTransitionProperty(ProbMealyTransition<FastProbMealyState<O>, O>, ProbabilisticOutput<O>) - Method in class net.automatalib.automata.transducers.impl.FastProbMealy

setTransitions(Integer, I, Collection<? extends Integer>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

setTransitions(int, I, Collection<? extends Integer>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

setTransitions(int, int, Collection<? extends Integer>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

setTransitions(S, I, Collection<? extends T>) - Method in class net.automatalib.automata.base.fast.AbstractFastMutableNondet

SimpleAlphabet<I> - Class in net.automatalib.words.impl

A simple alphabet implementation, that does not impose any restriction on the input symbol class.

SimpleAlphabet() - Constructor for class net.automatalib.words.impl.SimpleAlphabet

SimpleAlphabet(Collection<? extends I>) - Constructor for class net.automatalib.words.impl.SimpleAlphabet

SimpleMapGraph<N> - Class in net.automatalib.automata.transducers.impl.map

A very simple graph realization, where nodes can be arbitrary Java objects.

SimpleMapGraph() - Constructor for class net.automatalib.automata.transducers.impl.map.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(Map<N, Collection<N>>, Supplier<? extends Collection<N>>) - Constructor for class net.automatalib.automata.transducers.impl.map.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.

SimpleMapGraph(Supplier<? extends Collection<N>>) - Constructor for class net.automatalib.automata.transducers.impl.map.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.automata.transducers.impl.map.SimpleMapGraph

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

singleton(T) - Static method in class net.automatalib.words.impl.Alphabets

size() - Method in class net.automatalib.automata.base.compact.AbstractCompact

size() - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA

size() - Method in class net.automatalib.automata.vpda.DefaultOneSEVPA

size - Variable in class net.automatalib.graphs.base.compact.AbstractCompactGraph

size() - Method in class net.automatalib.ts.powerset.FastPowersetState

size() - Method in class net.automatalib.words.impl.ArrayAlphabet

size() - Method in class net.automatalib.words.impl.DefaultVPDAlphabet

size() - Method in class net.automatalib.words.impl.GrowingVPDAlphabet

size() - Method in class net.automatalib.words.impl.ListAlphabet

size() - Method in class net.automatalib.words.impl.SimpleAlphabet

SizeDFAModelCheckerCache<I,P,R> - Class in net.automatalib.modelchecking.modelchecker.cache

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 than the previous call.

SizeDFAModelCheckerCache(ModelChecker.DFAModelChecker<I, P, R>) - Constructor for class net.automatalib.modelchecking.modelchecker.cache.SizeDFAModelCheckerCache

SizeDFAModelCheckerLassoCache<I,P> - Class in net.automatalib.modelchecking.modelchecker.cache

SizeDFAModelCheckerLassoCache(ModelCheckerLasso.DFAModelCheckerLasso<I, P>) - Constructor for class net.automatalib.modelchecking.modelchecker.cache.SizeDFAModelCheckerLassoCache

SizeMealyModelCheckerCache<I,O,P,R> - Class in net.automatalib.modelchecking.modelchecker.cache

SizeMealyModelCheckerCache(ModelChecker.MealyModelChecker<I, O, P, R>) - Constructor for class net.automatalib.modelchecking.modelchecker.cache.SizeMealyModelCheckerCache

SizeMealyModelCheckerLassoCache<I,O,P> - Class in net.automatalib.modelchecking.modelchecker.cache

SizeMealyModelCheckerLassoCache(ModelCheckerLasso.MealyModelCheckerLasso<I, O, P>) - Constructor for class net.automatalib.modelchecking.modelchecker.cache.SizeMealyModelCheckerLassoCache

StateIDDynamicMapping<S extends NumericID,V> - Class in net.automatalib.automata.base

StateIDDynamicMapping(Automaton<S, ?, ?>) - Constructor for class net.automatalib.automata.base.StateIDDynamicMapping

StateIDGrowingMapping<S,V> - Class in net.automatalib.automata.base

StateIDGrowingMapping(Automaton<S, ?, ?>, StateIDs<S>) - Constructor for class net.automatalib.automata.base.StateIDGrowingMapping

stateIDs() - Method in class net.automatalib.automata.base.compact.AbstractCompact

stateIDs() - Method in class net.automatalib.automata.base.fast.AbstractFastMutable

stateIntAbstraction() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

Symbol - Class in net.automatalib.words.impl

Symbol(Object) - Constructor for class net.automatalib.words.impl.Symbol

symbols - Variable in class net.automatalib.words.impl.ArrayAlphabet

T

toGrowingAlphabetOrThrowException(Alphabet<I>) - Static method in class net.automatalib.words.impl.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.automata.base.compact.AbstractCompact

toMemoryIndex(int, int) - Method in class net.automatalib.automata.base.compact.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.automata.base.compact.AbstractCompact

toString() - Method in class net.automatalib.automata.base.fast.AbstractFastState

toString() - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSLeafNode

toString() - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSSymbolNode

toString() - Method in class net.automatalib.graphs.base.compact.CompactEdge

toString() - Method in class net.automatalib.words.impl.Symbol

toString() - Method in class net.automatalib.words.impl.VPDSym

transitions - Variable in class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic

transitions - Variable in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

translate(Alphabet<I2>) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA

translate(Alphabet<I2>) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA

ts1 - Variable in class net.automatalib.ts.comp.DTSComposition

ts1 - Variable in class net.automatalib.ts.comp.TSComposition

ts2 - Variable in class net.automatalib.ts.comp.DTSComposition

ts2 - Variable in class net.automatalib.ts.comp.TSComposition

TSComposition<S1,S2,I,T1,T2,TS1 extends TransitionSystem<S1,I,T1>,TS2 extends TransitionSystem<S2,I,T2>> - Class in net.automatalib.ts.comp

TSComposition(TS1, TS2) - Constructor for class net.automatalib.ts.comp.TSComposition

Constructor.

TSCompositions - Class in net.automatalib.ts.comp

U

UniversalCompactSimpleDet<I,SP> - Class in net.automatalib.automata.base.compact

A AbstractCompactSimpleDeterministic-based implementation for automata that need to store generic state properties.

UniversalCompactSimpleDet(Alphabet<I>) - Constructor for class net.automatalib.automata.base.compact.UniversalCompactSimpleDet

UniversalCompactSimpleDet(Alphabet<I>, int, float) - Constructor for class net.automatalib.automata.base.compact.UniversalCompactSimpleDet

updateStateStorage(AbstractCompact.Payload) - Method in class net.automatalib.automata.base.compact.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(Object[], Object, AbstractCompact.Payload) - Method in class net.automatalib.automata.base.compact.AbstractCompact

Return a copy of the provided array with updated memory layout.

updateStateStorage(AbstractCompact.Payload) - Method in class net.automatalib.automata.base.compact.UniversalCompactSimpleDet

updateTransitionStorage(AbstractCompact.Payload) - Method in class net.automatalib.automata.base.compact.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(int[], int, AbstractCompact.Payload) - Method in class net.automatalib.automata.base.compact.AbstractCompact

Return a copy of the provided array with updated memory layout.

updateTransitionStorage(Object[], Object, AbstractCompact.Payload) - Method in class net.automatalib.automata.base.compact.AbstractCompact

Return a copy of the provided array with updated memory layout.

updateTransitionStorage(T[], IntFunction<T[]>, T, AbstractCompact.Payload) - Method in class net.automatalib.automata.base.compact.AbstractCompact

Return a copy of the provided array with updated memory layout.

updateTransitionStorage(AbstractCompact.Payload) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic

updateTransitionStorage(AbstractCompact.Payload) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

updateTransitionStorage(AbstractCompact.Payload) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealy

V

Visualization - Class in net.automatalib.visualization

VisualizationProvider - Interface in net.automatalib.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>, 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>, boolean, Map<String, String>, VisualizationHelper<N, ? super E>...) - 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(Automaton<S, I, T>, Collection<? extends I>, 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>, boolean, Map<String, String>, VisualizationHelper<S, ? super TransitionEdge<I, T>>...) - Static method in class net.automatalib.visualization.Visualization

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.

VPDSym<T> - Class in net.automatalib.words.impl

Utility class used to wrap input symbols of a VPDAlphabet.

VPDSym(T, VPDAlphabet.SymbolType, int, int) - Constructor for class net.automatalib.words.impl.VPDSym

VPManager - Class in net.automatalib.visualization

VPManager() - Constructor for class net.automatalib.visualization.VPManager

W

writeToArray(int, Object[], int, int) - Method in class net.automatalib.words.impl.ArrayAlphabet

A C D E F G H I L M N O P R S T U V W