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

A

AbstractAcceptorTS<S,I> - Class in net.automatalib.ts.acceptors.abstractimpl

AbstractAcceptorTS() - Constructor for class net.automatalib.ts.acceptors.abstractimpl.AbstractAcceptorTS

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

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

AbstractAutomaton<S,I,T> - Class in net.automatalib.automata.abstractimpl

Abstract base class for automata.

AbstractAutomaton() - Constructor for class net.automatalib.automata.abstractimpl.AbstractAutomaton

AbstractAutomatonGraph<S,I,T,SP,TP> - Class in net.automatalib.automata.graphs

AbstractAutomatonGraph() - Constructor for class net.automatalib.automata.graphs.AbstractAutomatonGraph

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

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

AbstractDeterministicAcceptorTS<S,I> - Class in net.automatalib.ts.acceptors.abstractimpl

AbstractDeterministicAcceptorTS() - Constructor for class net.automatalib.ts.acceptors.abstractimpl.AbstractDeterministicAcceptorTS

AbstractDeterministicAutomaton<S,I,T> - Class in net.automatalib.automata.abstractimpl

Abstract base class for deterministic automata.

AbstractDeterministicAutomaton() - Constructor for class net.automatalib.automata.abstractimpl.AbstractDeterministicAutomaton

AbstractDFA<S,I> - Class in net.automatalib.automata.fsa.abstractimpl

AbstractDFA() - Constructor for class net.automatalib.automata.fsa.abstractimpl.AbstractDFA

AbstractDTS<S,I,T> - Class in net.automatalib.ts.abstractimpl

AbstractDTS() - Constructor for class net.automatalib.ts.abstractimpl.AbstractDTS

AbstractFSA<S,I> - Class in net.automatalib.automata.fsa.abstractimpl

AbstractFSA() - Constructor for class net.automatalib.automata.fsa.abstractimpl.AbstractFSA

AbstractGraph<N,E> - Class in net.automatalib.graphs.abstractimpl

AbstractGraph() - Constructor for class net.automatalib.graphs.abstractimpl.AbstractGraph

AbstractIndefiniteGraph<N,E> - Class in net.automatalib.graphs.abstractimpl

AbstractIndefiniteGraph() - Constructor for class net.automatalib.graphs.abstractimpl.AbstractIndefiniteGraph

AbstractMealyMachine - Class in net.automatalib.automata.transout.abstractimpl

AbstractMealyMachine() - Constructor for class net.automatalib.automata.transout.abstractimpl.AbstractMealyMachine

AbstractMooreMachine - Class in net.automatalib.automata.transout.abstractimpl

AbstractMutableAutomaton<S,I,T,SP,TP> - Class in net.automatalib.automata.abstractimpl

Abstract base class for mutable automata.

AbstractMutableAutomaton() - Constructor for class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton

AbstractMutableDeterministic<S,I,T,SP,TP> - Class in net.automatalib.automata.abstractimpl

Abstract base class for mutable deterministic automata.

AbstractMutableDeterministic() - Constructor for class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic

AbstractMutableDFA<S,I> - Class in net.automatalib.automata.fsa.abstractimpl

AbstractMutableDFA() - Constructor for class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA

AbstractMutableFSA<S,I> - Class in net.automatalib.automata.fsa.abstractimpl

AbstractMutableFSA() - Constructor for class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA

AbstractMutableGraph<N,E,NP,EP> - Class in net.automatalib.graphs.abstractimpl

AbstractMutableGraph() - Constructor for class net.automatalib.graphs.abstractimpl.AbstractMutableGraph

AbstractMutableNFA<S,I> - Class in net.automatalib.automata.fsa.abstractimpl

AbstractMutableNFA() - Constructor for class net.automatalib.automata.fsa.abstractimpl.AbstractMutableNFA

AbstractNFA<S,I> - Class in net.automatalib.automata.fsa.abstractimpl

AbstractNFA() - Constructor for class net.automatalib.automata.fsa.abstractimpl.AbstractNFA

AbstractShrinkableAutomaton<S,I,T,SP,TP> - Class in net.automatalib.automata.abstractimpl

AbstractShrinkableAutomaton() - Constructor for class net.automatalib.automata.abstractimpl.AbstractShrinkableAutomaton

AbstractShrinkableDeterministic<S,I,T,SP,TP> - Class in net.automatalib.automata.abstractimpl

AbstractShrinkableDeterministic() - Constructor for class net.automatalib.automata.abstractimpl.AbstractShrinkableDeterministic

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

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

AbstractTransOutAutomaton - Class in net.automatalib.automata.transout.abstractimpl

AbstractTransOutAutomaton() - Constructor for class net.automatalib.automata.transout.abstractimpl.AbstractTransOutAutomaton

AbstractTS<S,I,T> - Class in net.automatalib.ts.abstractimpl

AbstractTS() - Constructor for class net.automatalib.ts.abstractimpl.AbstractTS

accepts(DFA<S, I>, Iterable<I>) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractDFA

accepts(Iterable<I>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractDFA

accepts(Iterable<I>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA

accepts(Iterable<I>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableNFA

accepts(NFA<S, I>, Iterable<I>) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractNFA

accepts(Iterable<I>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractNFA

accepts(Iterable<I>) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA

accepts(Iterable<I>) - Method in class net.automatalib.automata.fsa.impl.FastDFA

accepts(Iterable<I>) - Method in class net.automatalib.automata.fsa.impl.FastNFA

accepts(AcceptorTS<S, I>, Iterable<I>) - Static method in class net.automatalib.ts.acceptors.abstractimpl.AbstractAcceptorTS

accepts(Iterable<I>) - Method in class net.automatalib.ts.acceptors.abstractimpl.AbstractAcceptorTS

accepts(DeterministicAcceptorTS<S, I>, Iterable<I>) - Static method in class net.automatalib.ts.acceptors.abstractimpl.AbstractDeterministicAcceptorTS

accepts(Iterable<I>) - Method in class net.automatalib.ts.acceptors.abstractimpl.AbstractDeterministicAcceptorTS

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(MutableAutomaton<S, I, T, SP, TP>, SP) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton

Provides a realization of MutableAutomaton.addInitialState(Object) using MutableAutomaton.addState(Object) and MutableAutomaton.setInitial(Object, boolean).

addInitialState(MutableAutomaton<S, I, T, SP, TP>) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton

Provides a realization of MutableAutomaton.addInitialState() using MutableAutomaton.addInitialState(Object).

addInitialState(SP) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton

addInitialState() - Method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton

addInitialState(SP) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic

addInitialState() - Method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic

addInitialState(boolean) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA

addInitialState(MutableFSA<S, I>) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA

addInitialState(MutableFSA<S, I>, Boolean) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA

addInitialState(MutableFSA<S, I>, boolean) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA

addInitialState() - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA

addInitialState(Boolean) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA

addInitialState(boolean) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA

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

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

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

addInitialState() - Method in class net.automatalib.automata.transout.impl.FastMealy

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

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

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

addNode() - Method in class net.automatalib.graphs.abstractimpl.AbstractMutableGraph

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

addState(MutableAutomaton<S, I, T, SP, TP>) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton

Provides a realization of MutableAutomaton.addState() using MutableAutomaton.addState(Object).

addState() - Method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton

addState() - Method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic

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

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

addState(Boolean) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA

addState(MutableFSA<S, I>) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA

addState(MutableFSA<S, I>, Boolean) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA

addState() - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA

addState(Boolean) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA

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

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

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

addState() - Method in class net.automatalib.automata.transout.impl.FastMealy

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

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

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

addTransition(MutableAutomaton<S, I, T, SP, TP>, S, I, T) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton

Provides a realization of MutableAutomaton.addTransition(Object, Object, Object) using TransitionSystem.getTransitions(Object, Object) and MutableAutomaton.setTransitions(Object, Object, java.util.Collection).

addTransition(MutableAutomaton<S, I, T, SP, TP>, S, I, S, TP) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton

Provides a realization of MutableAutomaton.addTransition(Object, Object, Object, Object) using MutableAutomaton.createTransition(Object, Object) and MutableAutomaton.addTransition(Object, Object, Object).

addTransition(S, I, T) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton

addTransition(S, I, S, TP) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton

addTransition(MutableDeterministic<S, I, T, SP, TP>, S, I, T) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic

Provides a realization of MutableAutomaton.addTransition(Object, Object, Object) using DeterministicTransitionSystem.getTransition(Object, Object) and MutableDeterministic.setTransition(Object, Object, Object).

addTransition(S, I, T) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic

addTransition(S, I, S, TP) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic

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

addTransitions(MutableAutomaton<S, I, T, SP, TP>, S, I, Collection<? extends T>) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton

addTransitions(S, I, Collection<? extends T>) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton

addTransitions(S, I, Collection<? extends T>) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic

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

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

Alphabets - Class in net.automatalib.words.impl

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

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

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

automaton - Variable in class net.automatalib.automata.dot.DefaultDOTHelperAutomaton

C

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

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

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

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

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

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

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

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(I, I) - Method in class net.automatalib.words.abstractimpl.AbstractAlphabet

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<I>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractDFA

computeOutput(FiniteStateAcceptor<S, I>, Iterable<I>) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractFSA

computeOutput(Iterable<I>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractFSA

computeOutput(Iterable<I>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA

computeOutput(Iterable<I>) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA

computeOutput(Iterable<I>) - Method in class net.automatalib.automata.fsa.impl.FastDFA

computeOutput(Iterable<I>) - Method in class net.automatalib.automata.fsa.impl.FastNFA

computeOutput(TransitionOutputAutomaton<S, I, T, O>, Iterable<I>) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractTransOutAutomaton

computeOutput(Iterable<I>) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy

computeOutput(Iterable<I>) - Method in class net.automatalib.automata.transout.impl.FastMealy

computeOutput(Iterable<I>) - Method in class net.automatalib.automata.transout.impl.FastMoore

computeSuffixOutput(Iterable<I>, Iterable<I>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractDFA

computeSuffixOutput(FiniteStateAcceptor<S, I>, Iterable<I>, Iterable<I>) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractFSA

computeSuffixOutput(Iterable<I>, Iterable<I>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractFSA

computeSuffixOutput(Iterable<I>, Iterable<I>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA

computeSuffixOutput(Iterable<I>, Iterable<I>) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA

computeSuffixOutput(Iterable<I>, Iterable<I>) - Method in class net.automatalib.automata.fsa.impl.FastDFA

computeSuffixOutput(Iterable<I>, Iterable<I>) - Method in class net.automatalib.automata.fsa.impl.FastNFA

computeSuffixOutput(TransitionOutputAutomaton<S, I, T, O>, Iterable<I>, Iterable<I>) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractTransOutAutomaton

computeSuffixOutput(Iterable<I>, Iterable<I>) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy

computeSuffixOutput(Iterable<I>, Iterable<I>) - Method in class net.automatalib.automata.transout.impl.FastMealy

computeSuffixOutput(Iterable<I>, Iterable<I>) - Method in class net.automatalib.automata.transout.impl.FastMoore

connect(N, N) - Method in class net.automatalib.graphs.abstractimpl.AbstractMutableGraph

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

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(S, S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA

copyTransition(MutableFSA<S, I>, S, S) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA

copyTransition(S, S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA

copyTransition(S, S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableNFA

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

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

copyTransition(MutableMealyMachine<S, I, T, O>, T, S) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractMealyMachine

copyTransition(MutableMooreMachine<S, I, T, O>, T, S) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractMooreMachine

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

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

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

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

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

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

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

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

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

createDynamicNodeMapping(Automaton<S, I, T>) - Static method in class net.automatalib.automata.graphs.AbstractAutomatonGraph

createDynamicNodeMapping() - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraph

createDynamicNodeMapping(IndefiniteGraph<N, E>) - Static method in class net.automatalib.graphs.abstractimpl.AbstractIndefiniteGraph

Provides a realization for IndefiniteGraph.createDynamicNodeMapping() by defaulting to a HashMap backed mapping.

createDynamicNodeMapping() - Method in class net.automatalib.graphs.abstractimpl.AbstractIndefiniteGraph

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

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

createDynamicStateMapping(TransitionSystem<S, I, T>) - Static method in class net.automatalib.ts.abstractimpl.AbstractTS

createDynamicStateMapping() - Method in class net.automatalib.ts.abstractimpl.AbstractTS

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

createOutgoingEdges(Automaton<S, I, T>, Collection<? extends I>, S) - Static method in class net.automatalib.automata.graphs.AbstractAutomatonGraph

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

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

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

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

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

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

createStaticNodeMapping(Automaton<S, I, T>) - Static method in class net.automatalib.automata.graphs.AbstractAutomatonGraph

createStaticNodeMapping() - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraph

createStaticNodeMapping(IndefiniteGraph<N, E>) - Static method in class net.automatalib.graphs.abstractimpl.AbstractIndefiniteGraph

Provides a realization for IndefiniteGraph.createStaticNodeMapping() by defaulting to a HashMap backed mapping.

createStaticNodeMapping() - Method in class net.automatalib.graphs.abstractimpl.AbstractIndefiniteGraph

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

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

createStaticStateMapping(TransitionSystem<S, I, T>) - Static method in class net.automatalib.ts.abstractimpl.AbstractTS

createStaticStateMapping() - Method in class net.automatalib.ts.abstractimpl.AbstractTS

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(S, Void) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA

createTransition(MutableFSA<S, I>, S, Void) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA

createTransition(S, Void) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA

createTransition(S, Void) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableNFA

createTransition(FastDFAState, Void) - Method in class net.automatalib.automata.fsa.impl.FastDFA

createTransition(FastNFAState, Void) - Method in class net.automatalib.automata.fsa.impl.FastNFA

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

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

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

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

DefaultDOTHelperAutomaton<S,I,T,A extends Automaton<S,I,T>> - Class in net.automatalib.automata.dot

DefaultDOTHelperAutomaton(A) - Constructor for class net.automatalib.automata.dot.DefaultDOTHelperAutomaton

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

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

DOTHelperFSA<S,I> - Class in net.automatalib.automata.dot

DOTHelperFSA(FiniteStateAcceptor<S, I>) - Constructor for class net.automatalib.automata.dot.DOTHelperFSA

DOTHelperMealy<S,I,T,O> - Class in net.automatalib.automata.dot

DOTHelperMealy(TransitionOutputAutomaton<S, I, T, O>) - Constructor for class net.automatalib.automata.dot.DOTHelperMealy

DOTPlottableAutomaton<S,I,T> - Interface in net.automatalib.automata.dot

DOTPlottableGraph<N,E> - Interface in net.automatalib.graphs.dot

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

E

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

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

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

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, 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.automata.graphs.TransitionEdge

equals(Object) - Method in class net.automatalib.automata.graphs.TransitionEdge.Property

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

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

flipAcceptance(MutableFSA<S, I>) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA

flipAcceptance() - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA

flipAcceptance() - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableNFA

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

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

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

fromArray(T...) - 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

G

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

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

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

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

getDOTHelper() - Method in interface net.automatalib.automata.dot.DOTPlottableAutomaton

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

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

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

getDOTHelper() - Method in class net.automatalib.automata.transout.impl.FastMealy

getEdgeProperties(S, TransitionEdge<I, T>, S, Map<String, String>) - Method in class net.automatalib.automata.dot.DefaultDOTHelperAutomaton

getEdgeProperties(S, TransitionEdge<I, T>, S, Map<String, String>) - Method in class net.automatalib.automata.dot.DOTHelperMealy

getEdgeProperties(UniversalAutomaton<S, I, T, SP, TP>, TransitionEdge<I, T>) - Static method in class net.automatalib.automata.graphs.AbstractAutomatonGraph

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

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

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

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

Retrieves the GraphVIZ properties for rendering a single edge.

getEdgeProperty(TransitionEdge<I, Integer>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

getEdgeProperty(TransitionEdge<I, T>) - Method in class net.automatalib.automata.base.fast.FastMutableDet

getEdgeProperty(TransitionEdge<I, T>) - Method in class net.automatalib.automata.base.fast.FastMutableNondet

getEdgeProperty(TransitionEdge<I, T>) - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraph

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

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

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

getGraphDOTHelper() - Method in interface net.automatalib.graphs.dot.DOTPlottableGraph

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

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

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

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

getInitialStates(DeterministicTransitionSystem<S, I, T>) - Static method in class net.automatalib.ts.abstractimpl.AbstractDTS

Provides a realization of SimpleTS.getInitialStates() using SimpleDTS.getInitialState().

getInitialStates() - Method in class net.automatalib.ts.abstractimpl.AbstractDTS

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

getInput() - Method in class net.automatalib.automata.graphs.TransitionEdge

getInput() - Method in class net.automatalib.automata.graphs.TransitionEdge.Property

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

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

getInstance() - Static method in class net.automatalib.graphs.dot.DefaultDOTHelper

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

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

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

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

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

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

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

getNode(int) - Method in class net.automatalib.automata.graphs.StateAsNodeIDs

getNode(int) - Method in class net.automatalib.graphs.abstractimpl.SimpleNodeIDs

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

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

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

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

getNodeId(S) - Method in class net.automatalib.automata.graphs.StateAsNodeIDs

getNodeId(N) - Method in class net.automatalib.graphs.abstractimpl.SimpleNodeIDs

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

getNodeProperties(S, Map<String, String>) - Method in class net.automatalib.automata.dot.DOTHelperFSA

getNodeProperties(UniversalAutomaton<S, I, T, SP, TP>, S) - Static method in class net.automatalib.automata.graphs.AbstractAutomatonGraph

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

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

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

Retrieves the GraphVIZ properties for rendering a single node.

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

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

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

getNodeProperty(S) - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraph

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

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

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

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

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

getNodes(Automaton<S, I, T>) - Static method in class net.automatalib.automata.graphs.AbstractAutomatonGraph

getNodes() - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraph

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

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

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

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

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

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

getOutgoingEdges(FiniteAlphabetAutomaton<S, I, T>, S) - Static method in class net.automatalib.automata.graphs.AbstractAutomatonGraph

getOutgoingEdges(S) - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraph

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

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

getOutput(TransitionOutputAutomaton<S, I, T, O>, S, I) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractTransOutAutomaton

getOutput(Integer, I) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy

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

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

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

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.

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

getProperty() - Method in class net.automatalib.automata.graphs.TransitionEdge.Property

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

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

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

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

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

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

getState(DeterministicTransitionSystem<S, I, T>, Iterable<I>) - Static method in class net.automatalib.ts.abstractimpl.AbstractDTS

Provides a realization of SimpleDTS.getState(Iterable) using SimpleDTS.getSuccessor(Object, Iterable) and SimpleDTS.getInitialState().

getState(Iterable<I>) - Method in class net.automatalib.ts.abstractimpl.AbstractDTS

getStateId(S) - Method in class net.automatalib.automata.abstractimpl.SimpleStateIDs

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

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

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

getStateProperty(S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractDFA

getStateProperty(FiniteStateAcceptor<S, I>, S) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractFSA

getStateProperty(S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractFSA

getStateProperty(S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA

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

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

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

getStateProperty(MealyMachine<S, I, T, O>, S) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractMealyMachine

getStateProperty(MooreMachine<S, I, T, O>, S) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractMooreMachine

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

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

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

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

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

getStateProperty(AcceptorTS<S, I>, S) - Static method in class net.automatalib.ts.acceptors.abstractimpl.AbstractAcceptorTS

getStateProperty(S) - Method in class net.automatalib.ts.acceptors.abstractimpl.AbstractAcceptorTS

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

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

getStates(TransitionSystem<S, I, T>, Iterable<I>) - Static method in class net.automatalib.ts.abstractimpl.AbstractTS

Provides a realization of SimpleTS.getStates(Iterable) using SimpleTS.getSuccessors(Collection, Iterable) and SimpleTS.getInitialStates().

getStates(Iterable<I>) - Method in class net.automatalib.ts.abstractimpl.AbstractTS

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

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

getSuccessor(S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractDFA

getSuccessor(FiniteStateAcceptor<S, I>, S) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractFSA

getSuccessor(S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractFSA

getSuccessor(S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA

getSuccessor(S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableNFA

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

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

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(DeterministicTransitionSystem<S, I, T>, S, I) - Static method in class net.automatalib.ts.abstractimpl.AbstractDTS

Provides a realization of TransitionSystem.getSuccessor(Object) using DeterministicTransitionSystem.getTransition(Object, Object) and TransitionSystem.getSuccessor(Object).

getSuccessor(DeterministicTransitionSystem<S, I, T>, S, Iterable<I>) - Static method in class net.automatalib.ts.abstractimpl.AbstractDTS

Provides a realization of SimpleDTS.getSuccessor(Object, Iterable) using SimpleDTS.getSuccessor(Object, Object).

getSuccessor(S, I) - Method in class net.automatalib.ts.abstractimpl.AbstractDTS

getSuccessor(S, Iterable<I>) - Method in class net.automatalib.ts.abstractimpl.AbstractDTS

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(Collection<T>) - Method in class net.automatalib.ts.powerset.FastPowersetDTS

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

getSuccessor(Collection<T>) - Method in class net.automatalib.ts.powerset.PowersetDTS

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

getSuccessors(TransitionSystem<S, I, T>, S, I) - Static method in class net.automatalib.ts.abstractimpl.AbstractTS

Provides a realization of SimpleTS.getSuccessors(Object, Object) using TransitionSystem.getTransitions(Object, Object) and TransitionSystem.getSuccessor(Object).

getSuccessors(TransitionSystem<S, I, T>, S, Iterable<I>) - Static method in class net.automatalib.ts.abstractimpl.AbstractTS

Provides a realization of SimpleTS.getSuccessors(Object, Iterable) using SimpleTS.getSuccessors(Collection, Iterable).

getSuccessors(TransitionSystem<S, I, T>, Collection<S>, Iterable<I>) - Static method in class net.automatalib.ts.abstractimpl.AbstractTS

Provides a realization of SimpleTS.getSuccessors(Collection, Iterable) using SimpleTS.getSuccessors(Object, Object).

getSuccessors(S, I) - Method in class net.automatalib.ts.abstractimpl.AbstractTS

getSuccessors(S, Iterable<I>) - Method in class net.automatalib.ts.abstractimpl.AbstractTS

getSuccessors(Collection<S>, Iterable<I>) - Method in class net.automatalib.ts.abstractimpl.AbstractTS

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

getTarget(TransitionEdge<I, Integer>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet

getTarget(TransitionEdge<I, T>) - Method in class net.automatalib.automata.base.fast.FastMutableDet

getTarget(TransitionEdge<I, T>) - Method in class net.automatalib.automata.base.fast.FastMutableNondet

getTarget(Automaton<S, I, T>, TransitionEdge<I, T>) - Static method in class net.automatalib.automata.graphs.AbstractAutomatonGraph

getTarget(TransitionEdge<I, T>) - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraph

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

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

getTransition() - Method in class net.automatalib.automata.graphs.TransitionEdge

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

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

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

getTransitionOutput(MooreMachine<S, I, T, O>, T) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractMooreMachine

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(FastMooreState<O>) - Method in class net.automatalib.automata.transout.impl.FastMoore

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(S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractDFA

getTransitionProperty(FiniteStateAcceptor<S, I>, S) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractFSA

getTransitionProperty(S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractFSA

getTransitionProperty(S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA

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

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

getTransitionProperty(MealyMachine<S, I, T, O>, T) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractMealyMachine

getTransitionProperty(MooreMachine<S, I, T, O>, T) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractMooreMachine

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

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

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

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

getTransitionProperty(AcceptorTS<S, I>, S) - Static method in class net.automatalib.ts.acceptors.abstractimpl.AbstractAcceptorTS

getTransitionProperty(S) - Method in class net.automatalib.ts.acceptors.abstractimpl.AbstractAcceptorTS

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

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

getTransitions(DeterministicTransitionSystem<S, I, T>, S, I) - Static method in class net.automatalib.ts.abstractimpl.AbstractDTS

Provides a realization of TransitionSystem.getTransitions(Object, Object) using DeterministicTransitionSystem.getTransition(Object, Object).

getTransitions(S, I) - Method in class net.automatalib.ts.abstractimpl.AbstractDTS

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

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

GraphDOTHelper<N,E> - Interface in net.automatalib.graphs.dot

Helper interface for plotting graphs using the GraphVIZ DOT format.

H

hashCode() - Method in class net.automatalib.automata.graphs.TransitionEdge

hashCode() - Method in class net.automatalib.automata.graphs.TransitionEdge.Property

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

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

initialNodes() - Method in class net.automatalib.automata.dot.DefaultDOTHelperAutomaton

initialNodes() - Method in class net.automatalib.graphs.dot.DefaultDOTHelper

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

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

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(Collection<? extends S>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableNFA

isAccepting(NFA<S, I>, Collection<? extends S>) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractNFA

isAccepting(Collection<? extends S>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractNFA

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(FastDFAState) - Method in class net.automatalib.automata.fsa.impl.FastDFA

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

isAccepting(Collection<? extends FastNFAState>) - Method in class net.automatalib.automata.fsa.impl.FastNFA

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

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

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

iterator(Automaton<S, I, T>) - Static method in class net.automatalib.automata.abstractimpl.AbstractAutomaton

Provides a realization of Iterable.iterator() using Iterable.iterator().

iterator() - Method in class net.automatalib.automata.abstractimpl.AbstractAutomaton

iterator() - Method in class net.automatalib.automata.abstractimpl.AbstractDeterministicAutomaton

iterator(Graph<N, E>) - Static method in class net.automatalib.graphs.abstractimpl.AbstractGraph

Provides a realization for Iterable.iterator() relying on Graph.getNodes().

iterator() - Method in class net.automatalib.graphs.abstractimpl.AbstractGraph

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

LABEL - Static variable in interface net.automatalib.graphs.dot.GraphDOTHelper

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

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

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.dot - package net.automatalib.automata.dot

net.automatalib.automata.fsa.abstractimpl - package net.automatalib.automata.fsa.abstractimpl

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.graphs - package net.automatalib.automata.graphs

net.automatalib.automata.transout.abstractimpl - package net.automatalib.automata.transout.abstractimpl

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

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

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

net.automatalib.ts.abstractimpl - package net.automatalib.ts.abstractimpl

net.automatalib.ts.acceptors.abstractimpl - package net.automatalib.ts.acceptors.abstractimpl

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

net.automatalib.ts.powerset - package net.automatalib.ts.powerset

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

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

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

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

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

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

nodeIDs(Automaton<S, I, T>) - Static method in class net.automatalib.automata.graphs.AbstractAutomatonGraph

nodeIDs() - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraph

nodeIDs(Graph<N, E>) - Static method in class net.automatalib.graphs.abstractimpl.AbstractGraph

nodeIDs() - Method in class net.automatalib.graphs.abstractimpl.AbstractGraph

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

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

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

O

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

P

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

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

powersetView(TransitionSystem<S, I, T>) - Static method in class net.automatalib.ts.abstractimpl.AbstractTS

Provides a realization of TransitionSystem.powersetView().

powersetView() - Method in class net.automatalib.ts.abstractimpl.AbstractTS

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

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

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

property(UniversalTransitionSystem<?, ?, T, ?, TP>) - Method in class net.automatalib.automata.graphs.TransitionEdge

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

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

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

R

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

removeAllTransitions(MutableAutomaton<S, I, T, SP, TP>, S, I) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton

Provides a realization of MutableAutomaton.removeAllTransitions(Object, Object) using MutableAutomaton.setTransitions(Object, Object, java.util.Collection)

removeAllTransitions(S, I) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton

removeAllTransitions(MutableDeterministic<S, I, T, SP, TP>, S, I) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic

Provides a realization of MutableAutomaton.removeAllTransitions(Object, Object) using MutableDeterministic.setTransition(Object, Object, Object).

removeAllTransitions(S, I) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic

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

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

removeState(ShrinkableAutomaton<S, I, T, SP, TP>, S) - Static method in class net.automatalib.automata.abstractimpl.AbstractShrinkableAutomaton

removeState(S) - Method in class net.automatalib.automata.abstractimpl.AbstractShrinkableAutomaton

removeState(S) - Method in class net.automatalib.automata.abstractimpl.AbstractShrinkableDeterministic

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(MutableAutomaton<S, I, T, SP, TP>, S, I, T) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton

Provides a realization of MutableAutomaton.removeTransition(Object, Object, Object) using TransitionSystem.getTransitions(Object, Object) and MutableAutomaton.setTransitions(Object, Object, java.util.Collection)

removeTransition(S, I, T) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton

removeTransition(MutableDeterministic<S, I, T, SP, TP>, S, I, T) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic

Provides a realization of MutableAutomaton.removeTransition(Object, Object, Object) using DeterministicTransitionSystem.getTransition(Object, Object) and MutableDeterministic.setTransition(Object, Object, Object).

removeTransition(S, I, T) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic

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

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(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(E, EP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph

setInitial(MutableDeterministic<S, I, T, SP, TP>, S, boolean) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic

Provides a realization of MutableAutomaton.setInitial(Object, boolean) using SimpleDTS.getInitialState() and MutableDeterministic.setInitialState(Object).

setInitial(S, boolean) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic

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

setStateProperty(S, Boolean) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA

setStateProperty(MutableFSA<S, I>, S, Boolean) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA

setStateProperty(S, Boolean) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA

setStateProperty(S, Boolean) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableNFA

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

setStateProperty(FastDFAState, Boolean) - Method in class net.automatalib.automata.fsa.impl.FastDFA

setStateProperty(FastNFAState, Boolean) - Method in class net.automatalib.automata.fsa.impl.FastNFA

setStateProperty(MutableMealyMachine<S, I, T, O>, S, Void) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractMealyMachine

setStateProperty(MutableMooreMachine<S, I, T, O>, S, O) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractMooreMachine

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

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

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

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

setTransition(MutableDeterministic<S, I, T, SP, TP>, S, I, S, TP) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic

Provides a realization of MutableDeterministic.setTransition(Object, Object, Object, Object) using MutableAutomaton.createTransition(Object, Object) and MutableDeterministic.setTransition(Object, Object, Object).

setTransition(S, I, S, TP) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic

setTransition(int, int, T) - 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(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(S, Void) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA

setTransitionProperty(MutableFSA<S, I>, S, Void) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA

setTransitionProperty(S, Void) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA

setTransitionProperty(S, Void) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableNFA

setTransitionProperty(FastDFAState, Void) - Method in class net.automatalib.automata.fsa.impl.FastDFA

setTransitionProperty(FastNFAState, Void) - Method in class net.automatalib.automata.fsa.impl.FastNFA

setTransitionProperty(MutableMealyMachine<S, I, T, O>, T, O) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractMealyMachine

setTransitionProperty(MutableMooreMachine<S, I, T, O>, T, Void) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractMooreMachine

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

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

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

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

setTransitions(MutableDeterministic<S, I, T, SP, TP>, S, I, Collection<? extends T>) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic

Provides a realization of MutableAutomaton.setTransitions(Object, Object, Collection) using MutableDeterministic.setTransition(Object, Object, Object)

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

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

SHAPE - Static variable in interface net.automatalib.graphs.dot.GraphDOTHelper

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

SimpleNodeIDs<N> - Class in net.automatalib.graphs.abstractimpl

SimpleNodeIDs(Graph<N, ?>) - Constructor for class net.automatalib.graphs.abstractimpl.SimpleNodeIDs

SimpleStateIDs<S> - Class in net.automatalib.automata.abstractimpl

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

size(Automaton<S, I, T>) - Static method in class net.automatalib.automata.abstractimpl.AbstractAutomaton

Provides a realization of SimpleAutomaton.size() using SimpleAutomaton.getStates().

size() - Method in class net.automatalib.automata.abstractimpl.AbstractAutomaton

size() - Method in class net.automatalib.automata.abstractimpl.AbstractDeterministicAutomaton

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

size(Graph<N, E>) - Static method in class net.automatalib.graphs.abstractimpl.AbstractGraph

Provides a realization for Graph.size() relying on Graph.getNodes().

size() - Method in class net.automatalib.graphs.abstractimpl.AbstractGraph

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

START_PREFIX - Static variable in class net.automatalib.graphs.dot.DefaultDOTHelper

StateAsNodeIDs<S> - Class in net.automatalib.automata.graphs

StateAsNodeIDs(StateIDs<S>) - Constructor for class net.automatalib.automata.graphs.StateAsNodeIDs

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

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(Automaton<S, I, T>) - Static method in class net.automatalib.automata.abstractimpl.AbstractAutomaton

Provides a realization of SimpleAutomaton.stateIDs() using a SimpleStateIDs object.

stateIDs() - Method in class net.automatalib.automata.abstractimpl.AbstractAutomaton

stateIDs() - Method in class net.automatalib.automata.abstractimpl.AbstractDeterministicAutomaton

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

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

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

StateIDStaticMapping(StateIDs<S>, int) - Constructor for class net.automatalib.automata.base.StateIDStaticMapping

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

trace(TransitionOutputAutomaton<S, I, T, O>, Iterable<I>, List<O>) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractTransOutAutomaton

trace(TransitionOutputAutomaton<S, I, T, O>, S, Iterable<I>, List<O>) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractTransOutAutomaton

trace(Iterable<I>, List<O>) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy

trace(Integer, Iterable<I>, List<O>) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy

trace(Iterable<I>, List<O>) - Method in class net.automatalib.automata.transout.impl.FastMealy

trace(FastMealyState<O>, Iterable<I>, List<O>) - Method in class net.automatalib.automata.transout.impl.FastMealy

trace(Iterable<I>, List<O>) - Method in class net.automatalib.automata.transout.impl.FastMoore

trace(FastMooreState<O>, Iterable<I>, List<O>) - Method in class net.automatalib.automata.transout.impl.FastMoore

TransitionEdge<I,T> - Class in net.automatalib.automata.graphs

TransitionEdge(I, T) - Constructor for class net.automatalib.automata.graphs.TransitionEdge

TransitionEdge.Property<I,TP> - Class in net.automatalib.automata.graphs

TransitionEdge.Property(I, TP) - Constructor for class net.automatalib.automata.graphs.TransitionEdge.Property

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

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

unlinkState(MutableAutomaton<S, I, T, SP, TP>, S, S, Collection<I>) - Static method in class net.automatalib.automata.abstractimpl.AbstractShrinkableAutomaton

W

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

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

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

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

Called after the node and edge data are written, but before the closing brace.

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

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

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

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

writePreamble(Appendable) - Method in interface net.automatalib.graphs.dot.GraphDOTHelper

Called before the node and edge data are written, but after the opening "digraph {" statement.

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

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 W _