Index (AutomataLib :: API 0.7.0 API)

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

A

AbstractAutomatonGraphView<S,A extends Automaton<S,?,?>,E> - Class in net.automatalib.automata.graphs
AbstractAutomatonGraphView(A) - Constructor for class net.automatalib.automata.graphs.AbstractAutomatonGraphView
AcceptanceGraph<N,E> - Interface in net.automatalib.graphs: Interface for finite graphs that embody the concept of node acceptance.
ACCEPTING - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeAttrs
AcceptorTS<S,I> - Interface in net.automatalib.ts.acceptors: A transition system whose semantics are defined by whether a state is "accepting" or not.
accepts(Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.DFA
accepts(Iterable<? extends I>) - Method in interface net.automatalib.ts.acceptors.AcceptorTS: Determines whether the given input word is accepted by this acceptor.
accepts(Iterable<? extends I>) - Method in interface net.automatalib.ts.acceptors.DeterministicAcceptorTS
add(I) - Method in class net.automatalib.words.WordBuilder
addAlphabetSymbol(I) - Method in interface net.automatalib.automata.GrowableAlphabetAutomaton: Adds a new symbol to the alphabet of the automaton.
addInitialState() - Method in interface net.automatalib.automata.fsa.MutableFSA
addInitialState(boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA
addInitialState(Boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA
addInitialState() - Method in interface net.automatalib.automata.MutableAutomaton
addInitialState(SP) - Method in interface net.automatalib.automata.MutableAutomaton
addIntInitialState() - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction
addIntInitialState(SP) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction
addIntInitialState() - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction
addIntInitialState(SP) - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction
addIntInitialState() - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction
addIntInitialState(SP) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction
addIntState() - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction
addIntState(SP) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction
addIntState() - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction
addIntState(SP) - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction
addIntState() - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction
addIntState(SP) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction
addNode() - Method in interface net.automatalib.graphs.MutableGraph: Adds a new node with default properties to the graph.
addNode(NP) - Method in interface net.automatalib.graphs.MutableGraph: Adds a new node to the graph.
addState(boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA
addState() - Method in interface net.automatalib.automata.fsa.MutableFSA
addState(Boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA
addState() - Method in interface net.automatalib.automata.MutableAutomaton
addState(SP) - Method in interface net.automatalib.automata.MutableAutomaton: Adds a state to the automaton.
addSymbol(I) - Method in interface net.automatalib.words.GrowingAlphabet: Adds a new symbol to the alphabet.
addTransition(S, I, S, TP) - Method in interface net.automatalib.automata.MutableAutomaton
addTransition(S, I, T) - Method in interface net.automatalib.automata.MutableAutomaton
addTransition(S, I, T) - Method in interface net.automatalib.automata.MutableDeterministic
addTransitions(S, I, Collection<? extends T>) - Method in interface net.automatalib.automata.MutableAutomaton
adjacentTargets(N) - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph
adjacentTargets(N) - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView
adjacentTargetsIterator(N) - Method in interface net.automatalib.graphs.IndefiniteGraph
adjacentTargetsIterator(N) - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph
adjacentTargetsIterator(N) - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView
adjacentTargetsStream(N) - Method in interface net.automatalib.graphs.IndefiniteGraph
adjacentTargetsStream(N) - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph
adjacentTargetsStream(N) - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView
ADSNode<S,I,O> - Interface in net.automatalib.graphs.ads: A (simplified) node in an adaptive distinguishing sequence.
Alphabet - Interface in net.automatalib.words: Class implementing an (indexed) alphabet.
append(I) - Method in class net.automatalib.words.Word: Appends a symbol to this word and returns the result as a new word.
append(I) - Method in class net.automatalib.words.WordBuilder: Appends a symbol to the contents of the internal storage.
append(List<? extends I>) - Method in class net.automatalib.words.WordBuilder
append(Word<? extends I>) - Method in class net.automatalib.words.WordBuilder: Appends a word to the contents of the internal storage.
append(Word<? extends I>...) - Method in class net.automatalib.words.WordBuilder: Appends several words to the contents of the internal storage.
append(I...) - Method in class net.automatalib.words.WordBuilder: Appends several symbols to the contents of the internal storage.
apply(S, I, T) - Method in interface net.automatalib.ts.TransitionPredicate
apply(int) - Method in interface net.automatalib.words.Alphabet
applyAsInt(I) - Method in interface net.automatalib.words.Alphabet
ARROWHEAD - Static variable in class net.automatalib.visualization.VisualizationHelper.EdgeAttrs
asList() - Method in class net.automatalib.words.Word: Retrieves a List view on the contents of this word.
asNormalGraph() - Method in interface net.automatalib.graphs.Graph
asNormalGraph() - Method in interface net.automatalib.graphs.IndefiniteGraph
asNormalGraph() - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph
asNormalGraph() - Method in interface net.automatalib.graphs.SimpleGraph
AutomataLibLocalPropertiesSource - Class in net.automatalib.settingssources
AutomataLibLocalPropertiesSource() - Constructor for class net.automatalib.settingssources.AutomataLibLocalPropertiesSource
AutomataLibPropertiesSource - Class in net.automatalib.settingssources
AutomataLibPropertiesSource() - Constructor for class net.automatalib.settingssources.AutomataLibPropertiesSource
AutomataLibSettings - Class in net.automatalib
AutomataLibSettingsSource - Interface in net.automatalib
AutomataLibSystemPropertiesSource - Class in net.automatalib.settingssources
AutomataLibSystemPropertiesSource() - Constructor for class net.automatalib.settingssources.AutomataLibSystemPropertiesSource
Automaton<S,I,T> - Interface in net.automatalib.automata: Basic interface for an automaton.
automaton - Variable in class net.automatalib.automata.graphs.AbstractAutomatonGraphView
automaton - Variable in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction
automaton - Variable in class net.automatalib.automata.visualization.AutomatonVisualizationHelper
AutomatonCreator<A,I> - Interface in net.automatalib.automata
AutomatonGraphView<S,I,T,A extends Automaton<S,I,T>> - Class in net.automatalib.automata.graphs
AutomatonGraphView(A, Collection<? extends I>) - Constructor for class net.automatalib.automata.graphs.AutomatonGraphView
AutomatonVisualizationHelper<S,I,T,A extends Automaton<S,I,T>> - Class in net.automatalib.automata.visualization
AutomatonVisualizationHelper(A) - Constructor for class net.automatalib.automata.visualization.AutomatonVisualizationHelper

B

BidirectionalGraph<N,E> - Interface in net.automatalib.graphs: Interface for bidirectional graph.
BOLD - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonStyles
BOX - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes

C

callReturnBalance(Word) - Method in interface net.automatalib.words.VPDAlphabet
canonicalComparator(Comparator<? super I>) - Static method in class net.automatalib.words.Word
canonicalNext(Alphabet) - Method in class net.automatalib.words.Word: Retrieves the next word after this in canonical order.
CIRCLE - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes
clear() - Method in interface net.automatalib.automata.MutableAutomaton: Removes all states and transitions.
clear() - Method in class net.automatalib.words.WordBuilder
COLOR - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonAttrs
CommonAttrs() - Constructor for class net.automatalib.visualization.VisualizationHelper.CommonAttrs
CommonStyles() - Constructor for class net.automatalib.visualization.VisualizationHelper.CommonStyles
compare(I, I) - Method in interface net.automatalib.words.Alphabet
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.DetSuffixOutputAutomaton
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.Output
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.SuffixOutput
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.DFA
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.FiniteStateAcceptor
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.vpda.OneSEVPA
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.ts.acceptors.DeterministicAcceptorTS
computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.DetSuffixOutputAutomaton
computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.DFA
computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automata.transout.TransitionOutputAutomaton
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.DetSuffixOutputAutomaton
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.SuffixOutput
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.DFA
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.FiniteStateAcceptor
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automata.vpda.OneSEVPA
concat(Word<? extends I>...) - Method in class net.automatalib.words.Word: Concatenates this word with several other words and returns the result as a new word.
concatInternal(Word<? extends I>...) - Method in class net.automatalib.words.Word: Realizes the concatenation of this word with several other words.
connect(N, N) - Method in interface net.automatalib.graphs.MutableGraph: Inserts an edge in the graph, with the default property.
connect(N, N, EP) - Method in interface net.automatalib.graphs.MutableGraph: Inserts an edge in the graph.
containsSymbol(I) - Method in interface net.automatalib.words.Alphabet: Checks whether the given symbol is part of the alphabet.
copyTransition(S, S) - Method in interface net.automatalib.automata.fsa.MutableFSA
copyTransition(T, S) - Method in interface net.automatalib.automata.MutableAutomaton
create(A, Collection<? extends I>) - Static method in class net.automatalib.automata.graphs.AutomatonGraphView
create(A) - Static method in class net.automatalib.automata.graphs.AutomatonGraphView
create(A, Collection<? extends I>) - Static method in class net.automatalib.automata.graphs.UniversalAutomatonGraphView
create(A) - Static method in class net.automatalib.automata.graphs.UniversalAutomatonGraphView
createAutomaton(Alphabet, int) - Method in interface net.automatalib.automata.AutomatonCreator
createAutomaton(Alphabet) - Method in interface net.automatalib.automata.AutomatonCreator
createDynamicNodeMapping() - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraphView
createDynamicNodeMapping() - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph
createDynamicNodeMapping() - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView
createDynamicStateMapping() - Method in interface net.automatalib.ts.simple.SimpleTS: Creates a MutableMapping allowing to associate arbitrary data with this transition system's states.
createStaticNodeMapping() - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraphView
createStaticNodeMapping() - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph
createStaticNodeMapping() - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView
createStaticStateMapping() - Method in interface net.automatalib.automata.simple.SimpleAutomaton
createStaticStateMapping() - Method in interface net.automatalib.ts.simple.SimpleTS: Creates a MutableMapping allowing to associate arbitrary data with this transition system's states.
createTransition(S, Void) - Method in interface net.automatalib.automata.fsa.MutableFSA
createTransition(S, TP) - Method in interface net.automatalib.automata.MutableAutomaton
createTransition(int, TP) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction
createTransition(int, TP) - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction
createTransition(int, TP) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction
createTransitionEdges(Automaton<S, I, T>, Collection<? extends I>, S) - Static method in class net.automatalib.automata.graphs.AutomatonGraphView

D

DASHED - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonStyles
DefaultAbstraction(A, int, IntFunction<? extends I>) - Constructor for class net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
DefaultAbstraction(A) - Constructor for class net.automatalib.automata.DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction
DefaultAbstraction(A, int, IntFunction<? extends I>) - Constructor for class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction
DefaultAbstraction(A) - Constructor for class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction
DefaultAbstraction(A, int, IntFunction<? extends I>) - Constructor for class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
DefaultAbstraction(A) - Constructor for class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction
DefaultAbstraction(A) - Constructor for class net.automatalib.automata.simple.SimpleDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction
DefaultAbstraction(A, int, IntFunction<? extends I>) - Constructor for class net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
DefaultAbstraction(A) - Constructor for class net.automatalib.automata.UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction
DefaultVisualizationHelper<N,E> - Class in net.automatalib.visualization
DefaultVisualizationHelper() - Constructor for class net.automatalib.visualization.DefaultVisualizationHelper
DeterministicAcceptorTS<S,I> - Interface in net.automatalib.ts.acceptors: A deterministic acceptor transition system.
DeterministicAutomaton<S,I,T> - Interface in net.automatalib.automata: Basic interface for a deterministic automaton.
DeterministicAutomaton.FullIntAbstraction<T> - Interface in net.automatalib.automata: Interface for full integer abstractions of a DeterministicAutomaton.
DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,A extends DeterministicAutomaton.StateIntAbstraction<I,T>> - Class in net.automatalib.automata
DeterministicAutomaton.IntAbstraction<T> - Interface in net.automatalib.automata: Base interface for integer abstractions of a DeterministicAutomaton.
DeterministicAutomaton.StateIntAbstraction<I,T> - Interface in net.automatalib.automata: Interface for state integer abstractions of a DeterministicAutomaton.
DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,T,A extends DeterministicAutomaton<S,I,T>> - Class in net.automatalib.automata
DeterministicTransitionOutputTS<S,I,T,O> - Interface in net.automatalib.ts.transout
DeterministicTransitionSystem<S,I,T> - Interface in net.automatalib.ts: Deterministic transition system.
DetOutputAutomaton<S,I,T,D> - Interface in net.automatalib.automata.concepts: An automaton which deterministically produces an output for an input word.
DetSuffixOutputAutomaton<S,I,T,D> - Interface in net.automatalib.automata.concepts
DFA<S,I> - Interface in net.automatalib.automata.fsa: Deterministic finite state acceptor.
DIAGONALS - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeStyles
DirectPowersetDTS<S,I,T> - Class in net.automatalib.ts.powerset
DirectPowersetDTS(TransitionSystem<S, I, T>) - Constructor for class net.automatalib.ts.powerset.DirectPowersetDTS
DOTTED - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonStyles
DOUBLECIRCLE - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes
DOUBLEOCTAGON - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes
DOUBLEOVAL - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes

E

EdgeAttrs() - Constructor for class net.automatalib.visualization.VisualizationHelper.EdgeAttrs
EdgeLabels<E,L> - Interface in net.automatalib.graphs.concepts: Edge label context, for Graphs with labeled edges.
EdgeStyles() - Constructor for class net.automatalib.visualization.VisualizationHelper.EdgeStyles
EdgeWeights<E> - Interface in net.automatalib.graphs.concepts: Edge weights concepts.
encodeStackSym(L, I) - Method in interface net.automatalib.automata.vpda.OneSEVPA
ensureAdditionalCapacity(int) - Method in class net.automatalib.words.WordBuilder: Ensures that the internal storage has additionally the given capacity.
ensureCapacity(int) - Method in class net.automatalib.words.WordBuilder: Ensures that the internal storage has in total the given capacity.
epsilon() - Static method in class net.automatalib.words.Word: Retrieves the empty word.
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.automata.transout.probabilistic.ProbabilisticOutput
equals(Object) - Method in class net.automatalib.words.Word

F

FILLED - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeStyles
FiniteAlphabetAutomaton<S,I,T> - Interface in net.automatalib.automata
FiniteKripkeStructure<N,E,AP> - Interface in net.automatalib.graphs: A Kripke structure is a graph which has sets of atomic properties assigned to its nodes.
FiniteKTS<N,E,AP,L> - Interface in net.automatalib.graphs: A finite Kripke Transition System combines the properties of both a labeled transition system and a Kripke structure.
FiniteLTS<N,E,L> - Interface in net.automatalib.graphs: A finite LTS is an IndefiniteLTS with a finite number of nodes.
FiniteStateAcceptor<S,I> - Interface in net.automatalib.automata.fsa: FiniteStateAcceptors accept regular languages.
FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>> - Class in net.automatalib.automata.fsa
firstSymbol() - Method in class net.automatalib.words.Word: Retrieves the first symbol of this word.
FIXEDSIZE - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeAttrs
flatten() - Method in class net.automatalib.words.Word: Retrieves a "flattened" version of this word, i.e., without any hierarchical structure attached.
flipAcceptance() - Method in interface net.automatalib.automata.fsa.MutableFSA
fromArray(I[], int, int) - Static method in class net.automatalib.words.Word: Creates a word from a subrange of an array of symbols.
fromCharSequence(CharSequence) - Static method in class net.automatalib.words.Word
fromLetter(I) - Static method in class net.automatalib.words.Word: Constructs a word from a single letter.
fromList(List<? extends I>) - Static method in class net.automatalib.words.Word: Creates a word from a list of symbols.
fromString(String) - Static method in class net.automatalib.words.Word
fromSymbols(I...) - Static method in class net.automatalib.words.Word: Creates a word from an array of symbols.
fromWords(Word<? extends I>...) - Static method in class net.automatalib.words.Word
fromWords(Collection<? extends Word<? extends I>>) - Static method in class net.automatalib.words.Word
FSAGraphView(A, Collection<? extends I>) - Constructor for class net.automatalib.automata.fsa.FiniteStateAcceptor.FSAGraphView
FSAVisualizationHelper<S,I> - Class in net.automatalib.automata.visualization
FSAVisualizationHelper(FiniteStateAcceptor<S, I>) - Constructor for class net.automatalib.automata.visualization.FSAVisualizationHelper
fullIntAbstraction(Alphabet) - Method in interface net.automatalib.automata.DeterministicAutomaton
fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automata.DeterministicAutomaton
fullIntAbstraction(Alphabet) - Method in interface net.automatalib.automata.MutableDeterministic
fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automata.MutableDeterministic
fullIntAbstraction(Alphabet) - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton: Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the mapping induced by the given alphabet as the abstraction for the input symbols.
fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton: Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the given number of (abstract) inputs and the inputs mapping.
fullIntAbstraction(Alphabet) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton
fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton

G

get(S) - Method in class net.automatalib.automata.helpers.StateIDStaticMapping
get(int) - Method in class net.automatalib.words.WordBuilder
getAdjacentTargets(N) - Method in interface net.automatalib.graphs.IndefiniteGraph
getAdjacentTargets(N) - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph
getAdjacentTargets(N) - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView
getAtomicPropositions(N) - Method in interface net.automatalib.graphs.concepts.KripkeInterpretation: Retrieves the atomic propositions holding at the given node.
getCallAlphabet() - Method in interface net.automatalib.words.VPDAlphabet
getCallSymbol(int) - Method in interface net.automatalib.words.VPDAlphabet: The Alphabet.getSymbol(int) variant for the call alphabet.
getCallSymbolIndex(I) - Method in interface net.automatalib.words.VPDAlphabet: The Alphabet.getSymbolIndex(Object) variant for the call alphabet.
getCallSymbols() - Method in interface net.automatalib.words.VPDAlphabet
getChildren() - Method in interface net.automatalib.graphs.ads.RecursiveADSNode: Returns a mapping to the child nodes of this ADS node.
getEdgeLabel(E) - Method in interface net.automatalib.graphs.concepts.EdgeLabels: Retrieves the label for an edge.
getEdgeProperties(S, TransitionEdge<I, T>, S, Map<String, String>) - Method in class net.automatalib.automata.visualization.AutomatonVisualizationHelper
getEdgeProperties(S, TransitionEdge<I, T>, S, Map<String, String>) - Method in class net.automatalib.automata.visualization.MealyVisualizationHelper
getEdgeProperties(N, E, N, Map<String, String>) - Method in class net.automatalib.visualization.DefaultVisualizationHelper
getEdgeProperties(N, E, N, Map<String, String>) - Method in interface net.automatalib.visualization.VisualizationHelper: Retrieves the properties for rendering a single edge.
getEdgeProperty(TransitionEdge<I, T>) - Method in class net.automatalib.automata.graphs.UniversalAutomatonGraphView
getEdgeProperty(E) - Method in interface net.automatalib.graphs.UniversalIndefiniteGraph: Retrieves the property of a given edge.
getEdgesBetween(N, N) - Method in interface net.automatalib.graphs.IndefiniteGraph
getEdgeWeight(E) - Method in interface net.automatalib.graphs.concepts.EdgeWeights: Retrieves the weight of an edge.
getGlobalEdgeProperties(Map<String, String>) - Method in interface net.automatalib.visualization.VisualizationHelper
getGlobalNodeProperties(Map<String, String>) - Method in interface net.automatalib.visualization.VisualizationHelper
getHypothesisState() - Method in interface net.automatalib.graphs.ads.RecursiveADSNode: Returns the hypothesis state associated with this ADS node.
getIncomingEdges(N) - Method in interface net.automatalib.graphs.BidirectionalGraph: Retrieves the incoming edges of a given node.
getInitialLocation() - Method in interface net.automatalib.automata.vpda.OneSEVPA
getInitialNode() - Method in interface net.automatalib.graphs.concepts.InitialNode: Retrieves the initial node, or null if this graph does not have an initial node.
getInitialState() - Method in interface net.automatalib.automata.vpda.OneSEVPA
getInitialState() - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
getInitialState() - Method in interface net.automatalib.ts.simple.SimpleDTS: Retrieves the initial state of this transition system.
getInitialStates() - Method in interface net.automatalib.ts.simple.SimpleDTS
getInitialStates() - Method in interface net.automatalib.ts.simple.SimpleTS: Retrieves the set of initial states of the transition system.
getInput() - Method in class net.automatalib.automata.graphs.TransitionEdge
getInput() - Method in class net.automatalib.automata.graphs.TransitionEdge.Property
getInputAlphabet() - Method in interface net.automatalib.automata.concepts.InputAlphabetHolder
getInstance() - Static method in class net.automatalib.AutomataLibSettings
getInternalAlphabet() - Method in interface net.automatalib.words.VPDAlphabet
getInternalSuccessor(L, I) - Method in interface net.automatalib.automata.vpda.OneSEVPA
getInternalSymbol(int) - Method in interface net.automatalib.words.VPDAlphabet: The Alphabet.getSymbol(int) variant for the internal alphabet.
getInternalSymbolIndex(I) - Method in interface net.automatalib.words.VPDAlphabet: The Alphabet.getSymbolIndex(Object) variant for the internal alphabet.
getInternalSymbols() - Method in interface net.automatalib.words.VPDAlphabet
getIntInitialState() - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
getIntInitialState() - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction
getIntInitialState() - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction: Retrieves the initial state of the (abstracted) automaton as an integer.
getIntSuccessor(T) - Method in class net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
getIntSuccessor(T) - Method in interface net.automatalib.automata.DeterministicAutomaton.IntAbstraction: Retrieves the (abstracted) successor of a transition object.
getIntSuccessor(T) - Method in class net.automatalib.automata.DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction
getLocation(int) - Method in interface net.automatalib.automata.vpda.OneSEVPA
getLocation() - Method in class net.automatalib.automata.vpda.State
getLocationId(L) - Method in interface net.automatalib.automata.vpda.OneSEVPA
getLocations() - Method in interface net.automatalib.automata.vpda.OneSEVPA
getNode(int) - Method in class net.automatalib.automata.graphs.StateAsNodeIDs
getNode(int) - Method in interface net.automatalib.graphs.concepts.NodeIDs
getNode(int) - Method in class net.automatalib.graphs.helpers.SimpleNodeIDs
getNodeId(S) - Method in class net.automatalib.automata.graphs.StateAsNodeIDs
getNodeId(N) - Method in interface net.automatalib.graphs.concepts.NodeIDs
getNodeId(N) - Method in class net.automatalib.graphs.helpers.SimpleNodeIDs
getNodeProperties(S, Map<String, String>) - Method in class net.automatalib.automata.visualization.FSAVisualizationHelper
getNodeProperties(N, Map<String, String>) - Method in class net.automatalib.visualization.DefaultVisualizationHelper
getNodeProperties(N, Map<String, String>) - Method in interface net.automatalib.visualization.VisualizationHelper: Retrieves the properties for rendering a single node.
getNodeProperty(S) - Method in class net.automatalib.automata.graphs.UniversalAutomatonGraphView
getNodeProperty(N) - Method in interface net.automatalib.graphs.UniversalIndefiniteGraph: Retrieves the property of a given node.
getNodes() - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraphView
getNodes() - Method in interface net.automatalib.graphs.ads.ADSNode
getNodes() - Method in interface net.automatalib.graphs.SimpleGraph: Retrieves an (unmodifiable) collection of the nodes in this graph.
getNodes() - Method in class net.automatalib.graphs.SimpleGraph.NormalGraphView
getNodesForRoot(N) - Method in interface net.automatalib.graphs.ads.RecursiveADSNode: A utility method to collect all nodes of a subtree specified by the given root node.
getNumCalls() - Method in interface net.automatalib.words.VPDAlphabet
getNumInternals() - Method in interface net.automatalib.words.VPDAlphabet
getNumReturns() - Method in interface net.automatalib.words.VPDAlphabet
getNumStackSymbols() - Method in interface net.automatalib.automata.vpda.OneSEVPA
getOriginalStates(Set<? extends S>) - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
getOriginalStates(S) - Method in interface net.automatalib.ts.PowersetViewTS
getOriginalTransitions(Set<? extends T>) - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
getOriginalTransitions(T) - Method in interface net.automatalib.ts.PowersetViewTS
getOutgoingEdges(S) - Method in class net.automatalib.automata.graphs.AutomatonGraphView
getOutgoingEdges(N) - Method in interface net.automatalib.graphs.ads.RecursiveADSNode
getOutgoingEdges(N) - Method in interface net.automatalib.graphs.IndefiniteGraph: Retrieves the outgoing edges of a given node.
getOutgoingEdges(N) - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView
getOutput() - Method in class net.automatalib.automata.transout.probabilistic.ProbabilisticOutput
getOutput(S, I) - Method in interface net.automatalib.ts.transout.DeterministicTransitionOutputTS: Retrieves the output for the given input symbol in the given state.
getParent() - Method in interface net.automatalib.graphs.ads.RecursiveADSNode: Returns the parent node of this node.
getProbability() - Method in class net.automatalib.automata.transout.probabilistic.ProbabilisticOutput
getProperty() - Method in class net.automatalib.automata.graphs.TransitionEdge.Property
getProperty(String) - Method in class net.automatalib.AutomataLibSettings
getProperty(String, String) - Method in class net.automatalib.AutomataLibSettings
getReturnAlphabet() - Method in interface net.automatalib.words.VPDAlphabet
getReturnSuccessor(L, I, int) - Method in interface net.automatalib.automata.vpda.OneSEVPA
getReturnSymbol(int) - Method in interface net.automatalib.words.VPDAlphabet: The Alphabet.getSymbol(int) variant for the return alphabet.
getReturnSymbolIndex(I) - Method in interface net.automatalib.words.VPDAlphabet: The Alphabet.getSymbolIndex(Object) variant for the return alphabet.
getReturnSymbols() - Method in interface net.automatalib.words.VPDAlphabet
getSink() - Static method in class net.automatalib.automata.vpda.State
getSource(E) - Method in interface net.automatalib.graphs.BidirectionalGraph: Retrieves the source node of a given edge.
getStackContents() - Method in class net.automatalib.automata.vpda.State
getState(int) - Method in interface net.automatalib.automata.concepts.StateIDs
getState(int) - Method in class net.automatalib.automata.helpers.SimpleStateIDs
getState(Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleDTS: Retrieves the state reachable by the given sequence of input symbols from the initial state.
getStateId(S) - Method in interface net.automatalib.automata.concepts.StateIDs
getStateId(S) - Method in class net.automatalib.automata.helpers.SimpleStateIDs
getStateOutput(S) - Method in interface net.automatalib.automata.concepts.StateOutput
getStateProperty(S) - Method in interface net.automatalib.automata.transout.MooreMachine
getStateProperty(int) - Method in class net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
getStateProperty(int) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton.IntAbstraction: Retrieves the state property of a given (abstracted) state.
getStateProperty(int) - Method in class net.automatalib.automata.UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction
getStateProperty(S) - Method in interface net.automatalib.ts.acceptors.AcceptorTS
getStateProperty(S) - Method in interface net.automatalib.ts.transout.MealyTransitionSystem
getStateProperty(S) - Method in interface net.automatalib.ts.UniversalTransitionSystem: Retrieves the state property for the given state.
getStates() - Method in interface net.automatalib.automata.simple.SimpleAutomaton: Retrieves all states of the transition system.
getStates(Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleDTS
getStates(Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleTS: Retrieves the set of all states reachable by the given sequence of input symbols from an initial state.
getSuccessor(int, int) - Method in interface net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction
getSuccessor(int, I) - Method in interface net.automatalib.automata.DeterministicAutomaton.StateIntAbstraction
getSuccessor(int, int) - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
getSuccessor(int, int) - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction: Retrieves the (abstracted) successor for a given (abstracted) source state and (abstracted) input.
getSuccessor(int, I) - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction
getSuccessor(int, I) - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.StateIntAbstraction: Retrieves the (abstracted) successor state for a given (abstracted) source state and input symbol.
getSuccessor(S) - Method in interface net.automatalib.ts.acceptors.AcceptorTS
getSuccessor(S, I) - Method in interface net.automatalib.ts.DeterministicTransitionSystem
getSuccessor(Set<? extends T>) - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
getSuccessor(Set<? extends S>, I) - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
getSuccessor(S, Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleDTS: Retrieves the successor state reachable by the given sequence of input symbols.
getSuccessor(S, I) - Method in interface net.automatalib.ts.simple.SimpleDTS: Retrieves the successor state reachable by the given input symbol.
getSuccessor(T) - Method in interface net.automatalib.ts.TransitionSystem: Retrieves the successor state of a given transition.
getSuccessors(S, I) - Method in interface net.automatalib.ts.DeterministicTransitionSystem
getSuccessors(S, Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleDTS
getSuccessors(S, I) - Method in interface net.automatalib.ts.simple.SimpleDTS
getSuccessors(S, Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleTS: Retrieves the set of successors for the given sequence of input symbols.
getSuccessors(Collection<? extends S>, Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleTS: Retrieves the set of all successors that can be reached from any of the given source states by the specified sequence of input symbols.
getSuccessors(S, I) - Method in interface net.automatalib.ts.simple.SimpleTS: Retrieves the set of successors for the given input symbol.
getSuccessors(S, I) - Method in interface net.automatalib.ts.TransitionSystem
getSymbol() - Method in interface net.automatalib.graphs.ads.RecursiveADSNode: Returns the input symbol associated with this ADS node.
getSymbol(int) - Method in interface net.automatalib.words.Alphabet: Returns the symbol with the given index in this alphabet.
getSymbol(int) - Method in class net.automatalib.words.Word: Return symbol that is at the specified position.
getSymbol(int) - Method in class net.automatalib.words.WordBuilder: Retrieves the symbol at the given index.
getSymbolIndex(I) - Method in interface net.automatalib.words.Alphabet: Returns the index of the given symbol in the alphabet.
getSymbolType(I) - Method in interface net.automatalib.words.VPDAlphabet
getTarget(TransitionEdge<I, T>) - Method in class net.automatalib.automata.graphs.AutomatonGraphView
getTarget(N) - Method in interface net.automatalib.graphs.ads.RecursiveADSNode
getTarget(E) - Method in interface net.automatalib.graphs.IndefiniteGraph: Retrieves, for a given edge, its target node.
getTarget(N) - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView
getTransition(int, int) - Method in class net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
getTransition(int, int) - Method in interface net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction: Retrieves the outgoing transition for an (abstracted) source state and (abstracted) input symbol, or returns null if the automaton has no transition for this state and input.
getTransition(int, I) - Method in class net.automatalib.automata.DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction
getTransition(int, I) - Method in interface net.automatalib.automata.DeterministicAutomaton.StateIntAbstraction: Retrieves the outgoing transition for an (abstracted) source state and input symbol, or returns null if the automaton has no transition for this state and input.
getTransition() - Method in class net.automatalib.automata.graphs.TransitionEdge
getTransition(S, I) - Method in interface net.automatalib.ts.DeterministicTransitionSystem: Retrieves the transition triggered by the given input symbol.
getTransition(Set<? extends S>, I) - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
getTransitionOutput(T) - Method in interface net.automatalib.automata.concepts.TransitionOutput
getTransitionOutput(T) - Method in interface net.automatalib.automata.transout.MooreMachine
getTransitionProbability(T) - Method in interface net.automatalib.automata.concepts.Probabilistic
getTransitionProperty(T) - Method in interface net.automatalib.automata.transout.MooreMachine
getTransitionProperty(T) - Method in interface net.automatalib.automata.transout.probabilistic.ProbabilisticMealyMachine
getTransitionProperty(T) - Method in class net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
getTransitionProperty(int, int) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction
getTransitionProperty(T) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton.IntAbstraction: Retrieves the transition property of a given transition.
getTransitionProperty(T) - Method in class net.automatalib.automata.UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction
getTransitionProperty(int, I) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton.StateIntAbstraction
getTransitionProperty(S) - Method in interface net.automatalib.ts.acceptors.AcceptorTS
getTransitionProperty(T) - Method in interface net.automatalib.ts.transout.MealyTransitionSystem
getTransitionProperty(S, I) - Method in interface net.automatalib.ts.UniversalDTS: Retrieves the transition property of the outgoing transition corresponding to the given state and input, if it exists.
getTransitionProperty(T) - Method in interface net.automatalib.ts.UniversalTransitionSystem: Retrieves the transition property for the given state.
getTransitions(S, I) - Method in interface net.automatalib.ts.DeterministicTransitionSystem
getTransitions(S, I) - Method in interface net.automatalib.ts.TransitionSystem: Retrieves the transitions that can be triggered by the given input symbol.
getVisualizationHelper() - Method in class net.automatalib.automata.fsa.FiniteStateAcceptor.FSAGraphView
getVisualizationHelper() - Method in class net.automatalib.automata.graphs.AutomatonGraphView
getVisualizationHelper() - Method in class net.automatalib.automata.transout.MealyMachine.MealyGraphView
getVisualizationHelper() - Method in interface net.automatalib.graphs.ads.RecursiveADSNode
getVisualizationHelper() - Method in interface net.automatalib.graphs.Graph
getVisualizationHelper() - Method in interface net.automatalib.graphs.SimpleGraph
Graph<N,E> - Interface in net.automatalib.graphs: Graph interface.
graphView() - Method in interface net.automatalib.automata.FiniteAlphabetAutomaton
graphView() - Method in interface net.automatalib.graphs.concepts.GraphViewable
GraphViewable - Interface in net.automatalib.graphs.concepts
GrowableAlphabetAutomaton - Interface in net.automatalib.automata: Interface for declaring, that an automaton supports adding new alphabet symbols after its instantiation.
GrowingAlphabet - Interface in net.automatalib.words: Alphabet class that supports adding new symbols.

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.automata.transout.probabilistic.ProbabilisticOutput
hashCode() - Method in class net.automatalib.words.Word
HEIGHT - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeAttrs

I

IndefiniteGraph<N,E> - Interface in net.automatalib.graphs: Interface for an (indefinite) graph structure.
IndefiniteLTS<N,E,L> - Interface in net.automatalib.graphs: A labeled transition system is a graph with labels attached to its edges.
IndefiniteSimpleGraph<N> - Interface in net.automatalib.graphs: A simplified interface for indefinite graphs, exposing only adjacency information, but no further information about edge objects.
IndefiniteSimpleGraph.NormalGraphView<N,G extends IndefiniteSimpleGraph<N>> - Class in net.automatalib.graphs
INITIAL - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeAttrs
InitialNode<N> - Interface in net.automatalib.graphs.concepts: Initial node concept.
initialNodes() - Method in class net.automatalib.automata.visualization.AutomatonVisualizationHelper
initialNodes() - Method in class net.automatalib.visualization.DefaultVisualizationHelper
InputAlphabetHolder - Interface in net.automatalib.automata.concepts
inputs - Variable in class net.automatalib.automata.graphs.AutomatonGraphView
intToState(int) - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction
intToSym(int) - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
INVALID_STATE - Static variable in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction: Representative for an invalid state.
INVISIBLE - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeStyles
isAccepting(Collection<? extends S>) - Method in interface net.automatalib.automata.fsa.DFA
isAccepting(Collection<? extends S>) - Method in interface net.automatalib.automata.fsa.NFA
isAccepting(State<L>) - Method in interface net.automatalib.automata.vpda.OneSEVPA
isAccepting(S) - Method in interface net.automatalib.ts.acceptors.AcceptorTS: Checks whether the given state is accepting.
isAccepting(Collection<? extends S>) - Method in interface net.automatalib.ts.acceptors.AcceptorTS
isAccepting(Collection<? extends S>) - Method in interface net.automatalib.ts.acceptors.DeterministicAcceptorTS
isAcceptingLocation(L) - Method in interface net.automatalib.automata.vpda.OneSEVPA
isAcceptingNode(N) - Method in interface net.automatalib.graphs.concepts.NodeAcceptance: Checks whether a node is an accepting node.
isCallMatched(Word) - Method in interface net.automatalib.words.VPDAlphabet
isCallSymbol(I) - Method in interface net.automatalib.words.VPDAlphabet
isConnected(N, N) - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph
isConnected(N, N) - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView
isEmpty() - Method in class net.automatalib.words.Word: Checks if this word is empty, i.e., contains no symbols.
isInternalSymbol(I) - Method in interface net.automatalib.words.VPDAlphabet
isLeaf() - Method in interface net.automatalib.graphs.ads.RecursiveADSNode: A utility method indicating whether this node represents a leaf of an ADS (and therefore referencing a hypothesis state) or an inner node (and therefore referencing an input symbol).
isPrefixOf(Word<?>) - Method in class net.automatalib.words.Word: Checks if this word is a prefix of another word.
isReturnMatched(Word) - Method in interface net.automatalib.words.VPDAlphabet
isReturnSymbol(I) - Method in interface net.automatalib.words.VPDAlphabet
isSink() - Method in class net.automatalib.automata.vpda.State
isSuffixOf(Word<?>) - Method in class net.automatalib.words.Word: Checks if this word is a suffix of another word.
isWellMatched(Word) - Method in interface net.automatalib.words.VPDAlphabet
iterator() - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraphView
iterator() - Method in interface net.automatalib.automata.simple.SimpleAutomaton
iterator() - Method in interface net.automatalib.graphs.SimpleGraph
iterator() - Method in class net.automatalib.graphs.SimpleGraph.NormalGraphView
iterator() - Method in class net.automatalib.words.Word

K

KripkeInterpretation<N,AP> - Interface in net.automatalib.graphs.concepts: A Kripke interpretation for a graph.

L

LABEL - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonAttrs
lastSymbol() - Method in class net.automatalib.words.Word: Retrieves the last symbol of this word.
length() - Method in class net.automatalib.words.Word: Retrieves the length of this word.
longestCommonPrefix(Word<?>) - Method in class net.automatalib.words.Word: Determines the longest common prefix of this word and another word.
longestCommonSuffix(Word<?>) - Method in class net.automatalib.words.Word: Determines the longest common suffix of this word and another word.
longestWellMatchedPrefix(Word) - Method in interface net.automatalib.words.VPDAlphabet
longestWellMatchedSuffix(Word) - Method in interface net.automatalib.words.VPDAlphabet

M

MealyGraphView(A, Collection<? extends I>) - Constructor for class net.automatalib.automata.transout.MealyMachine.MealyGraphView
MealyMachine<S,I,T,O> - Interface in net.automatalib.automata.transout
MealyMachine.MealyGraphView<S,I,T,O,A extends MealyMachine<S,I,T,O>> - Class in net.automatalib.automata.transout
MealyTransitionSystem<S,I,T,O> - Interface in net.automatalib.ts.transout
MealyVisualizationHelper<S,I,T,O> - Class in net.automatalib.automata.visualization
MealyVisualizationHelper(TransitionOutputAutomaton<S, I, T, O>) - Constructor for class net.automatalib.automata.visualization.MealyVisualizationHelper
MooreMachine<S,I,T,O> - Interface in net.automatalib.automata.transout
MutableAutomaton<S,I,T,SP,TP> - Interface in net.automatalib.automata: A mutable automaton.
MutableDeterministic<S,I,T,SP,TP> - Interface in net.automatalib.automata: Interface for a mutable deterministic automaton.
MutableDeterministic.FullIntAbstraction<T,SP,TP> - Interface in net.automatalib.automata
MutableDeterministic.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends MutableDeterministic.StateIntAbstraction<I,T,SP,TP>> - Class in net.automatalib.automata
MutableDeterministic.IntAbstraction<T,SP,TP> - Interface in net.automatalib.automata
MutableDeterministic.StateIntAbstraction<I,T,SP,TP> - Interface in net.automatalib.automata
MutableDeterministic.StateIntAbstraction.DefaultAbstraction<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> - Class in net.automatalib.automata
MutableDFA<S,I> - Interface in net.automatalib.automata.fsa
MutableFSA<S,I> - Interface in net.automatalib.automata.fsa
MutableGraph<N,E,NP,EP> - Interface in net.automatalib.graphs: A graph that allows modification.
MutableMealyMachine<S,I,T,O> - Interface in net.automatalib.automata.transout
MutableMooreMachine<S,I,T,O> - Interface in net.automatalib.automata.transout
MutableNFA<S,I> - Interface in net.automatalib.automata.fsa
MutableProbabilistic<T> - Interface in net.automatalib.automata.concepts
MutableProbabilisticMealy<S,I,T,O> - Interface in net.automatalib.automata.transout.probabilistic
MutableStateOutput<S,O> - Interface in net.automatalib.automata.concepts
MutableTransitionOutput<T,O> - Interface in net.automatalib.automata.concepts

N

net.automatalib - package net.automatalib: The main AutomataLib package.
net.automatalib.automata - package net.automatalib.automata: This package contains the basic interfaces for automata.
net.automatalib.automata.concepts - package net.automatalib.automata.concepts
net.automatalib.automata.fsa - package net.automatalib.automata.fsa
net.automatalib.automata.graphs - package net.automatalib.automata.graphs
net.automatalib.automata.helpers - package net.automatalib.automata.helpers
net.automatalib.automata.simple - package net.automatalib.automata.simple
net.automatalib.automata.transout - package net.automatalib.automata.transout
net.automatalib.automata.transout.probabilistic - package net.automatalib.automata.transout.probabilistic
net.automatalib.automata.visualization - package net.automatalib.automata.visualization
net.automatalib.automata.vpda - package net.automatalib.automata.vpda
net.automatalib.exception - package net.automatalib.exception
net.automatalib.graphs - package net.automatalib.graphs
net.automatalib.graphs.ads - package net.automatalib.graphs.ads
net.automatalib.graphs.concepts - package net.automatalib.graphs.concepts
net.automatalib.graphs.helpers - package net.automatalib.graphs.helpers
net.automatalib.settingssources - package net.automatalib.settingssources
net.automatalib.ts - package net.automatalib.ts
net.automatalib.ts.acceptors - package net.automatalib.ts.acceptors
net.automatalib.ts.powerset - package net.automatalib.ts.powerset
net.automatalib.ts.simple - package net.automatalib.ts.simple
net.automatalib.ts.transout - package net.automatalib.ts.transout
net.automatalib.visualization - package net.automatalib.visualization
net.automatalib.words - package net.automatalib.words
NFA<S,I> - Interface in net.automatalib.automata.fsa: Nondeterministic finite state acceptor.
NodeAcceptance<N> - Interface in net.automatalib.graphs.concepts: Node acceptance concept, for Graphs that represent a structure for deciding acceptance or rejection.
NodeAttrs() - Constructor for class net.automatalib.visualization.VisualizationHelper.NodeAttrs
nodeIDs() - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraphView
NodeIDs<N> - Interface in net.automatalib.graphs.concepts
nodeIDs() - Method in interface net.automatalib.graphs.SimpleGraph
NodeShapes() - Constructor for class net.automatalib.visualization.VisualizationHelper.NodeShapes
nodesStream() - Method in interface net.automatalib.graphs.SimpleGraph
nodesStream() - Method in class net.automatalib.graphs.SimpleGraph.NormalGraphView
NodeStyles() - Constructor for class net.automatalib.visualization.VisualizationHelper.NodeStyles
NONE - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes
NormalGraphView(G) - Constructor for class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView
NormalGraphView(G) - Constructor for class net.automatalib.graphs.SimpleGraph.NormalGraphView
numInputs - Variable in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
numInputs() - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
numInputs() - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction: Retrieves the number of input symbols.

O

OCTAGON - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes
OneSEVPA<L,I> - Interface in net.automatalib.automata.vpda: Interface for the 1-SEVPA (1-single entry visibly push-down automaton), a visibly push-down automaton of specific structure and semantics.
outgoingEdges(N) - Method in interface net.automatalib.graphs.IndefiniteGraph
outgoingEdgesIterator(N) - Method in interface net.automatalib.graphs.IndefiniteGraph
outgoingEdgesStream(N) - Method in interface net.automatalib.graphs.IndefiniteGraph
Output<I,D> - Interface in net.automatalib.automata.concepts: Feature for automata that compute an output.
OutputAutomaton<S,I,T,D> - Interface in net.automatalib.automata.concepts
OVAL - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes

P

parallelStream() - Method in class net.automatalib.words.Word
peek() - Method in class net.automatalib.automata.vpda.StackContents
PENWIDTH - Static variable in class net.automatalib.visualization.VisualizationHelper.EdgeAttrs
pop() - Method in class net.automatalib.automata.vpda.StackContents
powersetView() - Method in interface net.automatalib.ts.TransitionSystem: Retrieves a "powerset view" of this transition system.
PowersetViewTS<S,I,T,OS,OT> - Interface in net.automatalib.ts
prefix(int) - Method in class net.automatalib.words.Word: Retrieves a prefix of the given length.
prefixes(boolean) - Method in class net.automatalib.words.Word: Retrieves the list of all prefixes of this word.
prepend(I) - Method in class net.automatalib.words.Word: Prepends a symbol to this word and returns the result as a new word.
print(Appendable) - Method in class net.automatalib.words.Word
Probabilistic<T> - Interface in net.automatalib.automata.concepts
ProbabilisticMealyMachine<S,I,T,O> - Interface in net.automatalib.automata.transout.probabilistic
ProbabilisticOutput<O> - Class in net.automatalib.automata.transout.probabilistic
ProbabilisticOutput(float, O) - Constructor for class net.automatalib.automata.transout.probabilistic.ProbabilisticOutput
property(UniversalTransitionSystem<?, ?, T, ?, TP>) - Method in class net.automatalib.automata.graphs.TransitionEdge
Property(I, TP) - Constructor for class net.automatalib.automata.graphs.TransitionEdge.Property
push(int) - Method in class net.automatalib.automata.vpda.StackContents
push(int, StackContents) - Static method in class net.automatalib.automata.vpda.StackContents
put(S, V) - Method in class net.automatalib.automata.helpers.StateIDStaticMapping

R

RecursiveADSNode<S,I,O,N extends RecursiveADSNode<S,I,O,N>> - Interface in net.automatalib.graphs.ads: An interface representing a node in an adaptive distinguishing sequence (which essentially forms a decision tree).
removeAllTransitions(S, I) - Method in interface net.automatalib.automata.MutableAutomaton
removeAllTransitions(S) - Method in interface net.automatalib.automata.MutableAutomaton
removeAllTransitions(S, I) - Method in interface net.automatalib.automata.MutableDeterministic
removeEdge(N, E) - Method in interface net.automatalib.graphs.ShrinkableGraph: Removes an outgoing edge from the given node.
removeNode(N) - Method in interface net.automatalib.graphs.ShrinkableGraph: Removes a node from this graph.
removeNode(N, N) - Method in interface net.automatalib.graphs.ShrinkableGraph: Removes a node from this graph, and redirects all incoming edges to the given replacement node (node that outgoing edges are still removed).
removeState(S) - Method in interface net.automatalib.automata.ShrinkableAutomaton: removes a state from the automaton.
removeState(S, S) - Method in interface net.automatalib.automata.ShrinkableAutomaton: Removes a state from the automaton.
removeTransition(S, I, T) - Method in interface net.automatalib.automata.MutableAutomaton
removeTransition(S, I, T) - Method in interface net.automatalib.automata.MutableDeterministic
repeatAppend(int, Word) - Method in class net.automatalib.words.WordBuilder: Appends num copies of the given word to the contents of the initial storage.
repeatAppend(int, I) - Method in class net.automatalib.words.WordBuilder: Appends num copies of a symbol to the contents of the internal storage.
reverse() - Method in class net.automatalib.words.WordBuilder: Reverses the contents of the internal buffer.
ROUNDED - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeStyles

S

safePred(TransitionPredicate<S, I, T>, boolean) - Static method in interface net.automatalib.ts.TransitionPredicate
set(int, I) - Method in class net.automatalib.words.WordBuilder
setAccepting(S, boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA
setEdgeProperty(E, EP) - Method in interface net.automatalib.graphs.MutableGraph
setHypothesisState(S) - Method in interface net.automatalib.graphs.ads.RecursiveADSNode: See RecursiveADSNode.getHypothesisState().
setInitial(S, boolean) - Method in interface net.automatalib.automata.MutableAutomaton
setInitial(S, boolean) - Method in interface net.automatalib.automata.MutableDeterministic
setInitialState(int) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction
setInitialState(int) - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction
setInitialState(S) - Method in interface net.automatalib.automata.MutableDeterministic: Sets the initial state to the given state.
setInitialState(int) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction
setNodeProperty(N, NP) - Method in interface net.automatalib.graphs.MutableGraph
setParent(N) - Method in interface net.automatalib.graphs.ads.RecursiveADSNode
setStateOutput(S, O) - Method in interface net.automatalib.automata.concepts.MutableStateOutput
setStateProperty(S, Boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA
setStateProperty(S, SP) - Method in interface net.automatalib.automata.MutableAutomaton
setStateProperty(int, SP) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction
setStateProperty(int, SP) - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction
setStateProperty(int, SP) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction
setStateProperty(S, Void) - Method in interface net.automatalib.automata.transout.MutableMealyMachine
setStateProperty(S, O) - Method in interface net.automatalib.automata.transout.MutableMooreMachine
setSymbol(I) - Method in interface net.automatalib.graphs.ads.RecursiveADSNode: See RecursiveADSNode.getSymbol().
setSymbol(int, I) - Method in class net.automatalib.words.WordBuilder: Sets the symbol at the given index.
setTransition(int, int, T) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction
setTransition(int, int, int, TP) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction
setTransition(int, int, T) - Method in interface net.automatalib.automata.MutableDeterministic.FullIntAbstraction
setTransition(int, int, int, TP) - Method in interface net.automatalib.automata.MutableDeterministic.FullIntAbstraction
setTransition(S, I, T) - Method in interface net.automatalib.automata.MutableDeterministic: Sets the transition for the given state and input symbol.
setTransition(S, I, S, TP) - Method in interface net.automatalib.automata.MutableDeterministic: Sets the transition for the given state and input symbol to a newly created one.
setTransition(int, I, T) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction
setTransition(int, I, int, TP) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction
setTransition(int, I, T) - Method in interface net.automatalib.automata.MutableDeterministic.StateIntAbstraction
setTransition(int, I, int, TP) - Method in interface net.automatalib.automata.MutableDeterministic.StateIntAbstraction
setTransitionOutput(T, O) - Method in interface net.automatalib.automata.concepts.MutableTransitionOutput
setTransitionProbability(T, float) - Method in interface net.automatalib.automata.concepts.MutableProbabilistic
setTransitionProperty(S, Void) - Method in interface net.automatalib.automata.fsa.MutableFSA
setTransitionProperty(T, TP) - Method in interface net.automatalib.automata.MutableAutomaton
setTransitionProperty(T, TP) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction
setTransitionProperty(T, TP) - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction
setTransitionProperty(T, TP) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction
setTransitionProperty(T, O) - Method in interface net.automatalib.automata.transout.MutableMealyMachine
setTransitionProperty(T, Void) - Method in interface net.automatalib.automata.transout.MutableMooreMachine
setTransitions(S, I, Collection<? extends T>) - Method in interface net.automatalib.automata.MutableAutomaton
setTransitions(S, I, Collection<? extends T>) - Method in interface net.automatalib.automata.MutableDeterministic
SHAPE - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeAttrs
ShrinkableAutomaton<S,I,T,SP,TP> - Interface in net.automatalib.automata: A mutable automaton that also supports destructive modifications, i.e., removal of states and transitions.
ShrinkableDeterministic<S,I,T,SP,TP> - Interface in net.automatalib.automata: A mutable deterministic automaton that also supports destructive operations, i.e., removal of states and transitions.
ShrinkableGraph<N,E> - Interface in net.automatalib.graphs: A graph that supports (desirably efficient) removal of nodes and edges.
SimpleAutomaton<S,I> - Interface in net.automatalib.automata.simple: A simple automaton, i.e., a SimpleTS with a finite number of states.
SimpleDeterministicAutomaton<S,I> - Interface in net.automatalib.automata.simple: A simple deterministic automaton.
SimpleDeterministicAutomaton.FullIntAbstraction - Interface in net.automatalib.automata.simple: Interface for an integer abstraction that abstracts both states and input symbols to integers.
SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,A extends SimpleDeterministicAutomaton.StateIntAbstraction> - Class in net.automatalib.automata.simple: Base class implementing the default way of obtaining a SimpleDeterministicAutomaton.FullIntAbstraction, i.e., building on top of a SimpleDeterministicAutomaton.StateIntAbstraction and a mapping from integers to (concrete) input symbols.
SimpleDeterministicAutomaton.IntAbstraction - Interface in net.automatalib.automata.simple: Basic interface for integer abstractions of automata.
SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction<S,A extends SimpleDeterministicAutomaton<S,?>> - Class in net.automatalib.automata.simple: Base class implementing the default way of obtaining an integer abstraction from an automaton, i.e., by mapping states to integers and vice versa using the StateIDs mapping obtained via SimpleAutomaton.stateIDs().
SimpleDeterministicAutomaton.StateIntAbstraction - Interface in net.automatalib.automata.simple: Interface for integer abstractions of an automaton that operate on non-abstracted input symbols (i.e., input symbols are of type I).
SimpleDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,A extends SimpleDeterministicAutomaton<S,I>> - Class in net.automatalib.automata.simple: Base class implementing the default way of obtaining a SimpleDeterministicAutomaton.StateIntAbstraction.
SimpleDTS<S,I> - Interface in net.automatalib.ts.simple: A simple deterministic transition system.
simpleGraph - Variable in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView
SimpleGraph<N> - Interface in net.automatalib.graphs: The finite version of a IndefiniteSimpleGraph.
SimpleGraph.NormalGraphView<N,G extends SimpleGraph<N>> - Class in net.automatalib.graphs
SimpleNodeIDs<N> - Class in net.automatalib.graphs.helpers
SimpleNodeIDs(SimpleGraph<N>) - Constructor for class net.automatalib.graphs.helpers.SimpleNodeIDs
SimpleStateIDs<S> - Class in net.automatalib.automata.helpers
SimpleStateIDs(SimpleAutomaton<S, ?>) - Constructor for class net.automatalib.automata.helpers.SimpleStateIDs
SimpleTS<S,I> - Interface in net.automatalib.ts.simple: A simple transition system.
size() - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraphView
size() - Method in interface net.automatalib.automata.simple.SimpleAutomaton: Retrieves the size (number of states) of this transition system.
size() - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
size() - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction
size() - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction: Retrieves the number of states of the (abstracted) automaton.
size() - Method in interface net.automatalib.automata.vpda.OneSEVPA
size() - Method in class net.automatalib.graphs.SimpleGraph.NormalGraphView
size() - Method in interface net.automatalib.graphs.SimpleGraph: Retrieves the number of nodes of this graph.
size() - Method in class net.automatalib.words.Word
size() - Method in class net.automatalib.words.WordBuilder
SOLID - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonStyles
spliterator() - Method in class net.automatalib.words.Word
StackContents - Class in net.automatalib.automata.vpda: A simplified stack implementation that allows to store integer values.
StackContents(int) - Constructor for class net.automatalib.automata.vpda.StackContents
StackContents(int, StackContents) - Constructor for class net.automatalib.automata.vpda.StackContents
State<L> - Class in net.automatalib.automata.vpda: Utility class to combine an entity (e.g. a location) with stack information.
State(L, StackContents) - Constructor for class net.automatalib.automata.vpda.State
STATE_PROPERTIES - Static variable in interface net.automatalib.automata.fsa.FiniteStateAcceptor
stateAbstraction - Variable in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
StateAsNodeIDs<S> - Class in net.automatalib.automata.graphs
StateAsNodeIDs(StateIDs<S>) - Constructor for class net.automatalib.automata.graphs.StateAsNodeIDs
StateIDs<S> - Interface in net.automatalib.automata.concepts
stateIDs() - Method in interface net.automatalib.automata.simple.SimpleAutomaton
stateIds - Variable in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction
StateIDStaticMapping<S,V> - Class in net.automatalib.automata.helpers
StateIDStaticMapping(StateIDs<S>, int) - Constructor for class net.automatalib.automata.helpers.StateIDStaticMapping
stateIntAbstraction() - Method in interface net.automatalib.automata.DeterministicAutomaton
stateIntAbstraction() - Method in interface net.automatalib.automata.MutableDeterministic
stateIntAbstraction() - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton: Retrieves a SimpleDeterministicAutomaton.StateIntAbstraction of this automaton.
stateIntAbstraction() - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton
StateOutput<S,O> - Interface in net.automatalib.automata.concepts: State output concept.
stateToInt(S) - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction
stateToSet(S) - Static method in interface net.automatalib.ts.simple.SimpleDTS
stream() - Method in class net.automatalib.words.Word
STYLE - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonAttrs
subWord(int) - Method in class net.automatalib.words.Word: Retrieves the subword of this word starting at the given index and extending until the end of this word.
subWord(int, int) - Method in class net.automatalib.words.Word: Retrieves a word representing the specified subrange of this word.
subWordInternal(int, int) - Method in class net.automatalib.words.Word: Internal subword operation implementation.
suffix(int) - Method in class net.automatalib.words.Word: Retrieves a suffix of the given length.
suffixes(boolean) - Method in class net.automatalib.words.Word: Retrieves the list of all suffixes of this word.
SuffixOutput<I,D> - Interface in net.automatalib.automata.concepts: Feature for automata that compute a suffix-observable output function, i.e., they compute an output containing a part that can be attributed to a suffix of the input.
symMapping - Variable in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

T

TEXLBL - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonAttrs
toIntArray(ToIntFunction<? super I>) - Method in class net.automatalib.words.Word: Transforms this word into an array of integers, using the specified function for translating an individual symbol to an integer.
toUnaryPredicate(S, I) - Method in interface net.automatalib.ts.TransitionPredicate
toWord(int, int) - Method in class net.automatalib.words.WordBuilder: Creates a word from the given range of the contents of the internal storage.
toWord() - Method in class net.automatalib.words.WordBuilder: Creates a word from the contents of the internal storage.
trace(Iterable<? extends I>, List<? super O>) - Method in interface net.automatalib.ts.transout.DeterministicTransitionOutputTS
trace(S, Iterable<? extends I>, List<? super O>) - Method in interface net.automatalib.ts.transout.DeterministicTransitionOutputTS
transform(Function<? super I, ? extends T>) - Method in class net.automatalib.words.Word: Transforms a word symbol-by-symbol, using the specified transformation function.
TRANSITION_PROPERTIES - Static variable in interface net.automatalib.automata.fsa.FiniteStateAcceptor
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
transitionGraphView(Collection<? extends I>) - Method in interface net.automatalib.automata.Automaton: Obtains a graph view of the transition graph of this automaton, taking into account the specified input symbols.
transitionGraphView() - Method in interface net.automatalib.automata.FiniteAlphabetAutomaton
transitionGraphView(Collection<? extends I>) - Method in interface net.automatalib.automata.fsa.FiniteStateAcceptor
transitionGraphView(Collection<? extends I>) - Method in interface net.automatalib.automata.transout.MealyMachine
transitionGraphView(Collection<? extends I>) - Method in interface net.automatalib.automata.UniversalAutomaton
transitionGraphView() - Method in interface net.automatalib.automata.UniversalFiniteAlphabetAutomaton
TransitionOutput<T,O> - Interface in net.automatalib.automata.concepts: Transition output concept.
TransitionOutputAutomaton<S,I,T,O> - Interface in net.automatalib.automata.transout
TransitionPredicate<S,I,T> - Interface in net.automatalib.ts
TransitionSystem<S,I,T> - Interface in net.automatalib.ts: Transition system interface.
translateFrom(Alphabet<I2>) - Method in interface net.automatalib.words.Alphabet
transToSet(T) - Static method in interface net.automatalib.ts.DeterministicTransitionSystem
trimmed() - Method in class net.automatalib.words.Word
truncate(int) - Method in class net.automatalib.words.WordBuilder: Truncates the contents of the initial storage to the given length.

U

UndefinedPropertyAccessException - Exception in net.automatalib.exception: This specialized exception can be thrown if during the traversal of an automaton or transition system an undefined property (e.g. a state or a transition output) is accessed, that is otherwise required for returning a valid result.
UndefinedPropertyAccessException() - Constructor for exception net.automatalib.exception.UndefinedPropertyAccessException
UndefinedPropertyAccessException(String) - Constructor for exception net.automatalib.exception.UndefinedPropertyAccessException
UndefinedPropertyAccessException(String, Throwable) - Constructor for exception net.automatalib.exception.UndefinedPropertyAccessException
UndefinedPropertyAccessException(Throwable) - Constructor for exception net.automatalib.exception.UndefinedPropertyAccessException
UndirectedGraph<N,E> - Interface in net.automatalib.graphs: An undirected graph.
UniversalAutomaton<S,I,T,SP,TP> - Interface in net.automatalib.automata: A universal automaton is a generalized representation of automata, with a unified access to the properties of states and transitions.
UniversalAutomatonGraphView<S,I,T,SP,TP,A extends UniversalAutomaton<S,I,T,SP,TP>> - Class in net.automatalib.automata.graphs
UniversalAutomatonGraphView(A, Collection<? extends I>) - Constructor for class net.automatalib.automata.graphs.UniversalAutomatonGraphView
UniversalDeterministicAutomaton<S,I,T,SP,TP> - Interface in net.automatalib.automata: A DeterministicAutomaton with state and transition properties.
UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP> - Interface in net.automatalib.automata: Interface for full integer abstractions of a UniversalDeterministicAutomaton.
UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>> - Class in net.automatalib.automata
UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP> - Interface in net.automatalib.automata: Base interface for integer abstractions of a UniversalDeterministicAutomaton.
UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP> - Interface in net.automatalib.automata: Interface for state integer abstractions of a UniversalDeterministicAutomaton.
UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,T,SP,TP,A extends UniversalDeterministicAutomaton<S,I,T,SP,TP>> - Class in net.automatalib.automata
UniversalDTS<S,I,T,SP,TP> - Interface in net.automatalib.ts: Universal deterministic transition system.
UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP> - Interface in net.automatalib.automata
UniversalGraph<N,E,NP,EP> - Interface in net.automatalib.graphs
UniversalIndefiniteGraph<N,E,NP,EP> - Interface in net.automatalib.graphs: A universal graph, i.e., with (possibly empty) node and edge properties.
UniversalTransitionSystem<S,I,T,SP,TP> - Interface in net.automatalib.ts: A "universal" transition system, which captures the possibility to assign properties to states and transitions.
unlinkState(MutableAutomaton<S, I, T, SP, TP>, S, S, Collection) - Static method in interface net.automatalib.automata.ShrinkableAutomaton
upcast(Word<? extends I>) - Static method in class net.automatalib.words.Word: Performs an upcast of the generic type parameter of the word.

V

valueOf(String) - Static method in enum net.automatalib.words.VPDAlphabet.SymbolType: Returns the enum constant of this type with the specified name.
values() - Static method in enum net.automatalib.words.VPDAlphabet.SymbolType: Returns an array containing the constants of this enum type, in the order they are declared.
VisualizationHelper<N,E> - Interface in net.automatalib.visualization: Helper interface for providing additional styling properties for plotting graphs.
VisualizationHelper.CommonAttrs - Class in net.automatalib.visualization
VisualizationHelper.CommonStyles - Class in net.automatalib.visualization
VisualizationHelper.EdgeAttrs - Class in net.automatalib.visualization
VisualizationHelper.EdgeStyles - Class in net.automatalib.visualization
VisualizationHelper.NodeAttrs - Class in net.automatalib.visualization
VisualizationHelper.NodeShapes - Class in net.automatalib.visualization
VisualizationHelper.NodeStyles - Class in net.automatalib.visualization
VPDAlphabet - Interface in net.automatalib.words: Alphabet definition for visible push-down automata.
VPDAlphabet.SymbolType - Enum in net.automatalib.words

W

WIDTH - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeAttrs
Word - Class in net.automatalib.words: A word is an ordered sequence of symbols.
Word() - Constructor for class net.automatalib.words.Word
WordBuilder - Class in net.automatalib.words: A class for dynamically building Words.
WordBuilder() - Constructor for class net.automatalib.words.WordBuilder: Constructor.
WordBuilder(int) - Constructor for class net.automatalib.words.WordBuilder: Constructor.
WordBuilder(I, int) - Constructor for class net.automatalib.words.WordBuilder: Constructor.
WordBuilder(int, I, int) - Constructor for class net.automatalib.words.WordBuilder: Constructor.
WordBuilder(Word) - Constructor for class net.automatalib.words.WordBuilder: Constructor.
WordBuilder(int, Word) - Constructor for class net.automatalib.words.WordBuilder: Constructor.
writeToArray(int, Object[], int, int) - Method in interface net.automatalib.words.Alphabet
writeToArray(int, Object[], int, int) - Method in class net.automatalib.words.Word

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