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

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

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

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

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

AbstractCompactDeterministic(Alphabet<I>, int, float) - 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

add(GraphDOTHelper<N, ? super E>) - Method in class net.automatalib.graphs.dot.AggregateDOTHelper

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

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

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

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

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

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

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

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

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

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

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

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

addIntNode(NP) - 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() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

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

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

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

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

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

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

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

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

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

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

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

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

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.transout.impl.FastProbMealy

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

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

AggregateDOTHelper<N,E> - Class in net.automatalib.graphs.dot

AggregateDOTHelper() - Constructor for class net.automatalib.graphs.dot.AggregateDOTHelper

AggregateDOTHelper(List<? extends GraphDOTHelper<N, ? super E>>) - Constructor for class net.automatalib.graphs.dot.AggregateDOTHelper

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

alphabet - Variable in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

alphabet - Variable in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

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

Alphabets - Class in net.automatalib.words.impl

alphabetSize - Variable in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

alphabetSize - Variable in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

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

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

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

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

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

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

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

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

clearTransitions() - Method in class net.automatalib.automata.base.fast.FastDetState

clearTransitions() - Method in class net.automatalib.automata.base.fast.FastNondetState

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.transout.impl.compact

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

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

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

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

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

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

CompactMealyTransition(int) - Constructor for class net.automatalib.automata.transout.impl.compact.CompactMealyTransition

CompactMealyTransition(int, O) - Constructor for class net.automatalib.automata.transout.impl.compact.CompactMealyTransition

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

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

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

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

connect(N, N, Void) - Method in class net.automatalib.automata.transout.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(T, Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

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

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

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

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

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.CompactDFA.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.fsa.impl.compact.CompactNFA.Creator

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

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

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

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

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() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

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

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

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.transout.impl.FastMealy

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

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

createStaticStateMapping() - Method in class net.automatalib.automata.base.fast.FastMutableDet

createStaticStateMapping() - Method in class net.automatalib.automata.base.fast.FastMutableNondet

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

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

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

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

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

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

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

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

createTransition(FastProbMealyState<O>, ProbabilisticOutput<O>) - Method in class net.automatalib.automata.transout.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.transout.impl.compact.CompactMealy.Creator

D

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

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

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

DEFAULT_INIT_CAPACITY - Static variable in class net.automatalib.automata.fsa.impl.compact.CompactDFA

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

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

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

DEFAULT_RESIZE_FACTOR - Static variable in class net.automatalib.automata.fsa.impl.compact.CompactDFA

DelegateDOTHelper<N,E> - Class in net.automatalib.graphs.dot

DelegateDOTHelper(GraphDOTHelper<N, ? super E>) - Constructor for class net.automatalib.graphs.dot.DelegateDOTHelper

DeterministicPowersetView<S,I,T> - Class in net.automatalib.ts.powerset

DeterministicPowersetView(DeterministicTransitionSystem<S, I, T>) - Constructor for class net.automatalib.ts.powerset.DeterministicPowersetView

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

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, boolean) - Constructor for class net.automatalib.ts.comp.DTSComposition

DTSComposition(TS1, TS2) - 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

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

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

ensureCapacity(int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

ensureCapacity(int, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

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

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

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

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

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.ts.powerset.FastPowersetState

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

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

ExtensionWord(Word<I>, I) - Constructor for class net.automatalib.words.impl.ExtensionWord

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(List<? extends I>) - Constructor for class net.automatalib.words.impl.FastAlphabet

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

FastDetState<S extends FastDetState<S,T>,T> - Class in net.automatalib.automata.base.fast

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

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.transout.impl

A fast implementation of a Mealy machine.

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

Constructor.

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

A state in a FastMealy automaton.

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

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

A fast implementation of a Moore automaton.

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

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

A state in a FastMoore automaton.

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

Constructor.

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

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

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

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

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

FastNondetState<S extends FastNondetState<S,T>,T> - Class in net.automatalib.automata.base.fast

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

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.transout.impl

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

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

FastProbMealyState(int) - Constructor for class net.automatalib.automata.transout.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>, boolean) - Static method in class net.automatalib.words.impl.Alphabets

fromEnum(Class<E>) - 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

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

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

fullIntAbstraction() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

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.transout.impl.map.SimpleMapGraph

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

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

getEdgeProperties(N, E, N, Map<String, String>) - Method in class net.automatalib.graphs.dot.AggregateDOTHelper

getEdgeProperties(N, E, N, Map<String, String>) - Method in class net.automatalib.graphs.dot.DelegateDOTHelper

getEdgeProperty(N) - Method in class net.automatalib.automata.transout.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.graphs.dot.AggregateDOTHelper

getGlobalEdgeProperties(Map<String, String>) - Method in class net.automatalib.graphs.dot.DelegateDOTHelper

getGlobalEdgeProperties(Map<String, String>) - Method in class net.automatalib.graphs.dot.PrettyDOTHelper

getGlobalNodeProperties(Map<String, String>) - Method in class net.automatalib.graphs.dot.AggregateDOTHelper

getGlobalNodeProperties(Map<String, String>) - Method in class net.automatalib.graphs.dot.DelegateDOTHelper

getGlobalNodeProperties(Map<String, String>) - Method in class net.automatalib.graphs.dot.PrettyDOTHelper

getId(Integer) - Static method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

getIntSuccessor(int, I) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

getIntSuccessor(int, Iterable<? extends I>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

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

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

getIntTransition(int, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

getIntTransition(int, I) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

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

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

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.graphs.dot.AggregateDOTHelper

getNodeProperties(N, Map<String, String>) - Method in class net.automatalib.graphs.dot.DelegateDOTHelper

getNodeProperties(N, Map<String, String>) - Method in class net.automatalib.graphs.dot.PrettyDOTHelper

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

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

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

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

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<? extends 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.transout.impl.map.SimpleMapGraph

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.transout.impl.compact.CompactMealyTransition

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

Retrieves the output symbol generated by this state.

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

Retrieves the output symbol.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.fsa.impl.compact.CompactNFA

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

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

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

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

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

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

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

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

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

getSuccessor(int, I) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

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

getSuccessor(int, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

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

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

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

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

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

Retrieves the successor state.

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

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

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

getSuccessor(Set<? extends 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.transout.impl.compact.CompactMealyTransition

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

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

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

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.words.impl.ArrayAlphabet

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

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

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

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

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

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

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

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

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(Integer, I) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

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

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

getTransition(int) - Method in class net.automatalib.automata.base.fast.FastDetState

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

getTransition(IPair<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

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

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

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

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

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

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

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

getTransitionProperty(ProbMealyTransition<FastProbMealyState<O>, O>) - Method in class net.automatalib.automata.transout.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.FastMutableNondet

getTransitions(int) - Method in class net.automatalib.automata.base.fast.FastNondetState

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

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

H

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

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

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

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

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

initState(int, SP) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

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

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

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

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

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

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

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

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

isPrefixOf(Word<?>) - Method in class net.automatalib.words.impl.ExtensionWord

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

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

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

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

L

length() - Method in class net.automatalib.words.impl.ExtensionWord

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

M

makeId(int) - Static method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

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

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

MealyTransition(S, O) - Constructor for class net.automatalib.automata.transout.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.transout.impl - package net.automatalib.automata.transout.impl

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

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

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

net.automatalib.graphs.dot - package net.automatalib.graphs.dot

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.words.abstractimpl - package net.automatalib.words.abstractimpl

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

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

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

numStates - Variable in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

numStates - Variable in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

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

O

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

P

prepend(I) - Method in class net.automatalib.words.impl.ExtensionWord

PrettyDOTHelper<N,E> - Class in net.automatalib.graphs.dot

PrettyDOTHelper() - Constructor for class net.automatalib.graphs.dot.PrettyDOTHelper

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

ProbMealyTransition(S, O, float) - Constructor for class net.automatalib.automata.transout.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.AbstractCompactDeterministic

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

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

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

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(S) - Method in class net.automatalib.automata.base.fast.FastMutableDet

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

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

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

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

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

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

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

resizeFactor - Variable in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

resizeFactor - Variable in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

S

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

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

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

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

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

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

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

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

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

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

Deprecated.

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

setNodeProperty(Integer, 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.transout.impl.compact.CompactMealyTransition

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

Sets the output symbol generated by this state.

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

Sets the output symbol.

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

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

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

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

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

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

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

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

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

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.transout.impl.compact.CompactMealy

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

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

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

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

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

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

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

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

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

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

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

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

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

setTransition(int, T) - Method in class net.automatalib.automata.base.fast.FastDetState

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

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

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

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

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

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

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

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

setTransitionProperty(ProbMealyTransition<FastProbMealyState<O>, O>, ProbabilisticOutput<O>) - Method in class net.automatalib.automata.transout.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.FastMutableNondet

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

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.transout.impl.map

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

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

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

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

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

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

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

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

stateCapacity - Variable in class net.automatalib.automata.base.compact.AbstractCompactDeterministic

stateCapacity - Variable in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

TSCompositions() - Constructor for class net.automatalib.ts.comp.TSCompositions

U

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

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

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

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

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

unwrapState(Integer) - Static method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

V

Visualization - Class in net.automatalib.visualization

VisualizationProvider - Interface in net.automatalib.visualization

visualize(Graph<N, E>, GraphDOTHelper<N, ? super E>, boolean, Map<String, String>) - Method in class net.automatalib.visualization.DummyVP

visualize(GraphViewable, boolean) - Static method in class net.automatalib.visualization.Visualization

visualize(Graph<N, E>, boolean, GraphDOTHelper<N, ? super E>...) - Method in class net.automatalib.visualization.Visualization

visualize(Graph<N, E>, GraphDOTHelper<N, ? super E>, boolean, Map<String, String>) - Method in class net.automatalib.visualization.Visualization

visualize(Graph<N, E>, GraphDOTHelper<N, ? super E>, boolean, Map<String, String>) - Method in interface net.automatalib.visualization.VisualizationProvider

visualizeAutomaton(Automaton<S, I, T>, Collection<? extends I>, boolean, GraphDOTHelper<S, TransitionEdge<I, T>>...) - Static method in class net.automatalib.visualization.Visualization

visualizeGraph(Graph<N, E>, boolean, GraphDOTHelper<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

W

wrapState(int) - Static method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

wrapState(int) - Static method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet

writePostamble(Mapping<N, String>, Appendable) - Method in class net.automatalib.graphs.dot.AggregateDOTHelper

writePostamble(Mapping<N, String>, Appendable) - Method in class net.automatalib.graphs.dot.DelegateDOTHelper

writePreamble(Appendable) - Method in class net.automatalib.graphs.dot.AggregateDOTHelper

writePreamble(Appendable) - Method in class net.automatalib.graphs.dot.DelegateDOTHelper

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

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

_

_subWord(int, int) - Method in class net.automatalib.words.impl.ExtensionWord

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