Index (AutomataLib :: API 0.11.0 API)

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

A

AbstractAutomatonGraphView<S,A extends Automaton<S,?,?>,E> - Class in net.automatalib.automaton.graph
AbstractAutomatonGraphView(A) - Constructor for class net.automatalib.automaton.graph.AbstractAutomatonGraphView
AcceptanceGraph<N,E> - Interface in net.automatalib.graph: Interface for finite graphs that embody the concept of node acceptance.
AcceptorTS<S,I> - Interface in net.automatalib.ts.acceptor: A transition system whose semantics are defined by whether a state is "accepting" or not.
accepts(Iterable<? extends I>) - Method in interface net.automatalib.automaton.fsa.DFA
accepts(Iterable<? extends I>) - Method in interface net.automatalib.ts.acceptor.AcceptorTS: Determines whether the given input word is accepted by this acceptor.
accepts(Iterable<? extends I>) - Method in interface net.automatalib.ts.acceptor.DeterministicAcceptorTS
add(I) - Method in class net.automatalib.word.WordBuilder
addAlphabetSymbol(I) - Method in interface net.automatalib.alphabet.SupportsGrowingAlphabet: Notifies the data structure that a new symbol should be added to the alphabet.
addInitialState() - Method in interface net.automatalib.automaton.fsa.MutableFSA
addInitialState() - Method in interface net.automatalib.automaton.MutableAutomaton
addInitialState(boolean) - Method in interface net.automatalib.automaton.fsa.MutableFSA
addInitialState(Boolean) - Method in interface net.automatalib.automaton.fsa.MutableFSA
addInitialState(SP) - Method in interface net.automatalib.automaton.MutableAutomaton
addIntInitialState() - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.FullIntAbstraction
addIntInitialState() - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.StateIntAbstraction
addIntInitialState() - Method in interface net.automatalib.automaton.MutableDeterministic.IntAbstraction
addIntInitialState(SP) - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.FullIntAbstraction
addIntInitialState(SP) - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.StateIntAbstraction
addIntInitialState(SP) - Method in interface net.automatalib.automaton.MutableDeterministic.IntAbstraction
addIntNode() - Method in interface net.automatalib.graph.MutableGraph.IntAbstraction: Int-abstracted version of MutableGraph.addNode().
addIntNode(NP) - Method in interface net.automatalib.graph.MutableGraph.IntAbstraction: Int-abstracted version of MutableGraph.addNode(Object).
addIntState() - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.FullIntAbstraction
addIntState() - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.StateIntAbstraction
addIntState() - Method in interface net.automatalib.automaton.MutableDeterministic.IntAbstraction
addIntState(SP) - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.FullIntAbstraction
addIntState(SP) - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.StateIntAbstraction
addIntState(SP) - Method in interface net.automatalib.automaton.MutableDeterministic.IntAbstraction
addModalTransition(S, I, S, ModalEdgeProperty.ModalType) - Method in interface net.automatalib.ts.modal.MutableModalTransitionSystem
addNode() - Method in interface net.automatalib.graph.MutableGraph: Adds a new node with default properties to the graph.
addNode() - Method in interface net.automatalib.graph.MutableProceduralModalProcessGraph
addNode(NP) - Method in interface net.automatalib.graph.MutableGraph: Adds a new node to the graph.
addState() - Method in interface net.automatalib.automaton.fsa.MutableFSA
addState() - Method in interface net.automatalib.automaton.MutableAutomaton
addState(boolean) - Method in interface net.automatalib.automaton.fsa.MutableFSA
addState(Boolean) - Method in interface net.automatalib.automaton.fsa.MutableFSA
addState(SP) - Method in interface net.automatalib.automaton.MutableAutomaton: Adds a state to the automaton.
addSymbol(I) - Method in interface net.automatalib.alphabet.GrowingAlphabet: Adds a new symbol to the alphabet.
addTransition(S, I, S, TP) - Method in interface net.automatalib.automaton.MutableAutomaton
addTransition(S, I, T) - Method in interface net.automatalib.automaton.MutableAutomaton
addTransition(S, I, T) - Method in interface net.automatalib.automaton.MutableDeterministic
addTransitions(S, I, Collection<? extends T>) - Method in interface net.automatalib.automaton.MutableAutomaton
ADSNode<S,I,O> - Interface in net.automatalib.graph.ads: A (simplified) node in an adaptive distinguishing sequence.
Alphabet - Interface in net.automatalib.alphabet: Class implementing an (indexed) alphabet.
append(I) - Method in class net.automatalib.word.Word: Appends a symbol to this word and returns the result as a new word.
append(I) - Method in class net.automatalib.word.WordBuilder: Appends a symbol to the contents of the internal storage.
append(I...) - Method in class net.automatalib.word.WordBuilder: Appends several symbols to the contents of the internal storage.
append(List<? extends I>) - Method in class net.automatalib.word.WordBuilder
append(Word<? extends I>) - Method in class net.automatalib.word.WordBuilder: Appends a word to the contents of the internal storage.
append(Word<? extends I>...) - Method in class net.automatalib.word.WordBuilder: Appends several words to the contents of the internal storage.
apply(int) - Method in interface net.automatalib.alphabet.Alphabet
apply(S, I, T) - Method in interface net.automatalib.ts.TransitionPredicate
applyAsInt(I) - Method in interface net.automatalib.alphabet.Alphabet
ARROWHEAD - Static variable in class net.automatalib.visualization.VisualizationHelper.EdgeAttrs
asIntSeq(ToIntFunction) - Method in class net.automatalib.word.Word: Retrieves a IntSeq view on the contents of this word for a given indexing function (e.g. an Alphabet).
asList() - Method in class net.automatalib.word.Word: Retrieves a List view on the contents of this word.
AutomataLibLocalPropertiesSource - Class in net.automatalib
AutomataLibLocalPropertiesSource() - Constructor for class net.automatalib.AutomataLibLocalPropertiesSource
AutomataLibPropertiesSource - Class in net.automatalib
AutomataLibPropertiesSource() - Constructor for class net.automatalib.AutomataLibPropertiesSource
AutomataLibProperty - Enum in net.automatalib: An enum of all the system properties currently used by AutomataLib.
AutomataLibSettings - Class in net.automatalib
AutomataLibSettingsSource - Interface in net.automatalib
AutomataLibSystemPropertiesSource - Class in net.automatalib
AutomataLibSystemPropertiesSource() - Constructor for class net.automatalib.AutomataLibSystemPropertiesSource
automaton - Variable in class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.IntAbstraction
automaton - Variable in class net.automatalib.automaton.graph.AbstractAutomatonGraphView
automaton - Variable in class net.automatalib.automaton.visualization.AutomatonVisualizationHelper
Automaton<S,I,T> - Interface in net.automatalib.automaton: Basic interface for an automaton.
AutomatonCreator<A,I> - Interface in net.automatalib.automaton
AutomatonGraphView<S,I,T,A extends Automaton<S,I,T>> - Class in net.automatalib.automaton.graph
AutomatonGraphView(A, Collection<? extends I>) - Constructor for class net.automatalib.automaton.graph.AutomatonGraphView
AutomatonVisualizationHelper<S,I,T,A extends Automaton<S,I,T>> - Class in net.automatalib.automaton.visualization
AutomatonVisualizationHelper(A) - Constructor for class net.automatalib.automaton.visualization.AutomatonVisualizationHelper

B

BidirectionalGraph<N,E> - Interface in net.automatalib.graph: Interface for bidirectional graph.
BidirectionalGraph.IntAbstraction<E> - Interface in net.automatalib.graph: Interface for node integer abstractions of a BidirectionalGraph.
BOLD - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonStyles
BOX - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes

C

CALL - net.automatalib.alphabet.VPAlphabet.SymbolType
callLocId - Variable in class net.automatalib.automaton.vpa.SEVPAGraphView.SevpaViewEdge
callReturnBalance(Word) - Method in interface net.automatalib.alphabet.VPAlphabet: Returns the call-return balance of the given word relative to this alphabet.
callSymbol - Variable in class net.automatalib.automaton.vpa.SEVPAGraphView.SevpaViewEdge
canonicalComparator(Comparator<? super I>) - Static method in class net.automatalib.word.Word
canonicalNext(Alphabet) - Method in class net.automatalib.word.Word: Retrieves the next word after this in canonical order.
CFMPSGraphView<N,L,E,AP> - Class in net.automatalib.graph: Graph representation of a ContextFreeModalProcessSystem that displays all nodes of its sub-procedures once, i.e., without incorporating execution semantics such as expansion.
CFMPSGraphView(Map<L, ? extends ProceduralModalProcessGraph<? extends N, L, ? extends E, AP, ?>>) - Constructor for class net.automatalib.graph.CFMPSGraphView
CFMPSVisualizationHelper<N,L,E> - Class in net.automatalib.graph.visualization
CFMPSVisualizationHelper(Map<L, ? extends ProceduralModalProcessGraph<? extends N, L, ? extends E, ?, ?>>) - Constructor for class net.automatalib.graph.visualization.CFMPSVisualizationHelper
CIRCLE - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes
clear() - Method in interface net.automatalib.automaton.MutableAutomaton: Removes all states and transitions.
clear() - Method in interface net.automatalib.modelchecking.ModelCheckerCache: Clears the cache.
clear() - Method in class net.automatalib.word.WordBuilder
collector() - Static method in class net.automatalib.word.Word: Returns a Collector that collects individual symbols (in order) and aggregates them in a Word.
COLOR - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonAttrs
compare(I, I) - Method in interface net.automatalib.alphabet.Alphabet
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automaton.concept.DetSuffixOutputAutomaton
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automaton.concept.Output
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automaton.concept.SuffixOutput
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automaton.fsa.DFA
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automaton.fsa.FiniteStateAcceptor
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automaton.procedural.SBA
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automaton.procedural.SPA
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automaton.vpa.SEVPA
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.ts.acceptor.DeterministicAcceptorTS
computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automaton.concept.DetSuffixOutputAutomaton
computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automaton.fsa.DFA
computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automaton.transducer.StateOutputAutomaton
computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automaton.transducer.SubsequentialTransducer
computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automaton.transducer.TransitionOutputAutomaton
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automaton.concept.DetSuffixOutputAutomaton
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automaton.concept.SuffixOutput
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automaton.fsa.DFA
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automaton.fsa.FiniteStateAcceptor
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automaton.procedural.SPMM
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automaton.vpa.SEVPA
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.ts.acceptor.DeterministicAcceptorTS
computeUnfolds(int) - Method in interface net.automatalib.modelchecking.ModelCheckerLasso: Compute the number of unfolds according to size.
concat(Word<? extends I>...) - Method in class net.automatalib.word.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.word.Word: Realizes the concatenation of this word with several other words.
connect(int, int) - Method in interface net.automatalib.graph.MutableGraph.IntAbstraction: Int-abstracted version of MutableGraph.connect(Object, Object).
connect(int, int, EP) - Method in interface net.automatalib.graph.MutableGraph.IntAbstraction: Int-abstracted version of MutableGraph.connect(Object, Object, Object).
connect(N, N) - Method in interface net.automatalib.graph.MutableGraph: Inserts an edge in the graph, with the default property.
connect(N, N, EP) - Method in interface net.automatalib.graph.MutableGraph: Inserts an edge in the graph.
containsSymbol(I) - Method in interface net.automatalib.alphabet.Alphabet: Checks whether the given symbol is part of the alphabet.
ContextFreeModalProcessSystem<L,AP> - Interface in net.automatalib.graph: Represents a Context-Free Modal Transition System as defined in the paper M3C: Modal Meta Model Checking.
copyTransition(S, S) - Method in interface net.automatalib.automaton.fsa.MutableFSA
copyTransition(T, S) - Method in interface net.automatalib.automaton.MutableAutomaton
createAutomaton(Alphabet) - Method in interface net.automatalib.automaton.AutomatonCreator
createAutomaton(Alphabet, int) - Method in interface net.automatalib.automaton.AutomatonCreator
createDynamicNodeMapping() - Method in class net.automatalib.automaton.graph.AbstractAutomatonGraphView
createDynamicNodeMapping() - Method in interface net.automatalib.graph.IndefiniteSimpleGraph: Creates a MutableMapping allowing to associate arbitrary data with this graph's nodes.
createDynamicStateMapping() - Method in interface net.automatalib.automaton.simple.SimpleAutomaton
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.automaton.graph.AbstractAutomatonGraphView
createStaticNodeMapping() - Method in interface net.automatalib.graph.IndefiniteSimpleGraph: Creates a MutableMapping allowing to associate arbitrary data with this graph's nodes.
createStaticStateMapping() - Method in interface net.automatalib.automaton.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(int, TP) - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.FullIntAbstraction
createTransition(int, TP) - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.StateIntAbstraction
createTransition(int, TP) - Method in interface net.automatalib.automaton.MutableDeterministic.IntAbstraction
createTransition(S) - Method in interface net.automatalib.ts.modal.MutableModalTransitionSystem: Create a new transition with a default (non-null) MutableModalEdgeProperty.
createTransition(S, Void) - Method in interface net.automatalib.automaton.fsa.MutableFSA
createTransition(S, TP) - Method in interface net.automatalib.automaton.MutableAutomaton
createTransitionEdges(Automaton<S, I, T>, Collection<? extends I>, S) - Static method in class net.automatalib.automaton.graph.AutomatonGraphView

D

DASHED - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonStyles
DefaultVisualizationHelper<N,E> - Class in net.automatalib.visualization
DefaultVisualizationHelper() - Constructor for class net.automatalib.visualization.DefaultVisualizationHelper
DeterministicAbstractions - Interface in net.automatalib.automaton.abstraction: Default implementations for DeterministicAutomaton abstractions.
DeterministicAbstractions.FullIntAbstraction<I,T,A extends DeterministicAutomaton.StateIntAbstraction<I,T>> - Class in net.automatalib.automaton.abstraction
DeterministicAbstractions.StateIntAbstraction<S,I,T,A extends DeterministicAutomaton<S,I,T>> - Class in net.automatalib.automaton.abstraction
DeterministicAcceptorTS<S,I> - Interface in net.automatalib.ts.acceptor: A deterministic acceptor transition system.
DeterministicAutomaton<S,I,T> - Interface in net.automatalib.automaton: Basic interface for a deterministic automaton.
DeterministicAutomaton.FullIntAbstraction<T> - Interface in net.automatalib.automaton: Interface for full integer abstractions of a DeterministicAutomaton.
DeterministicAutomaton.IntAbstraction<T> - Interface in net.automatalib.automaton: Base interface for integer abstractions of a DeterministicAutomaton.
DeterministicAutomaton.StateIntAbstraction<I,T> - Interface in net.automatalib.automaton: Interface for state integer abstractions of a DeterministicAutomaton.
DeterministicOutputTS<S,I,T,O> - Interface in net.automatalib.ts.output
DeterministicStateOutputTS<S,I,T,O> - Interface in net.automatalib.ts.output
DeterministicTransitionOutputTS<S,I,T,O> - Interface in net.automatalib.ts.output
DeterministicTransitionSystem<S,I,T> - Interface in net.automatalib.ts: Deterministic transition system.
DetOutputAutomaton<S,I,T,D> - Interface in net.automatalib.automaton.concept: An automaton which deterministically produces an output for an input word.
DetSuffixOutputAutomaton<S,I,T,D> - Interface in net.automatalib.automaton.concept
DFA<S,I> - Interface in net.automatalib.automaton.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
DOT_EXE_DIR - net.automatalib.AutomataLibProperty: automatalib.dot.exe.dir.
DOT_EXE_NAME - net.automatalib.AutomataLibProperty: automatalib.dot.exe.name.
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

EdgeLabels<E,L> - Interface in net.automatalib.graph.concept: Edge label context, for Graphs with labeled edges.
EdgeWeights<E> - Interface in net.automatalib.graph.concept: Edge weights concepts.
encodeStackSym(L, I) - Method in interface net.automatalib.automaton.vpa.SEVPA
ensureAdditionalCapacity(int) - Method in class net.automatalib.word.WordBuilder: Ensures that the internal storage has additionally the given capacity.
ensureCapacity(int) - Method in class net.automatalib.word.WordBuilder: Ensures that the internal storage has in total the given capacity.
epsilon() - Static method in class net.automatalib.word.Word: Retrieves the empty word.
equals(Object) - Method in class net.automatalib.automaton.graph.TransitionEdge
equals(Object) - Method in class net.automatalib.automaton.graph.TransitionEdge.Property
equals(Object) - Method in class net.automatalib.automaton.transducer.probabilistic.ProbabilisticOutput
equals(Object) - Method in class net.automatalib.word.Word
expand(Iterable, Mapping<I, Word>) - Method in interface net.automatalib.alphabet.ProceduralInputAlphabet: Replaces all occurrences of call symbols in input with an embedded terminating sequence provided by terminatingSequences.

F

FILLED - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeStyles
FinalNode<N> - Interface in net.automatalib.graph.concept
findCallIndex(List, int) - Method in interface net.automatalib.alphabet.ProceduralInputAlphabet: Returns the index of the call symbol of the procedure currently executing the symbol at pos idx.
findCallIndex(Word, int) - Method in interface net.automatalib.alphabet.ProceduralInputAlphabet: Convenience method for ProceduralInputAlphabet.findCallIndex(List, int) that transforms the given input word into a list.
findCounterExample(A, Collection<? extends I>, P) - Method in interface net.automatalib.modelchecking.ModelChecker: Try to find counter examples for the given property and automaton.
findReturnIndex(List, int) - Method in interface net.automatalib.alphabet.ProceduralInputAlphabet: Returns the index of the return symbol of the procedure that is about to execute the symbol at pos idx (i.e. before input[idx] has been executed).
findReturnIndex(Word, int) - Method in interface net.automatalib.alphabet.ProceduralInputAlphabet: Convenience method for ProceduralInputAlphabet.findReturnIndex(List, int) that transforms the given input word into a list.
FiniteAlphabetAutomaton<S,I,T> - Interface in net.automatalib.automaton
FiniteKripkeStructure<N,E,AP> - Interface in net.automatalib.graph: A Kripke structure is a graph which has sets of atomic properties assigned to its nodes.
FiniteKTS<S,I,T,AP> - Interface in net.automatalib.ts: A finite Kripke Transition System combines the properties of a finite transition system and a KripkeInterpretation.
FiniteLabeledGraph<N,E,L> - Interface in net.automatalib.graph
FiniteRepresentation - Interface in net.automatalib.automaton.concept: This interface marks automata types that have a finite representation, i.e. can be represented by a finite number of entities.
FiniteStateAcceptor<S,I> - Interface in net.automatalib.automaton.fsa: FiniteStateAcceptors accept regular languages.
FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>> - Class in net.automatalib.automaton.fsa
firstSymbol() - Method in class net.automatalib.word.Word: Retrieves the first symbol of this word.
FIXEDSIZE - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeAttrs
flatten() - Method in class net.automatalib.word.Word: Retrieves a "flattened" version of this word, i.e., without any hierarchical structure attached.
flipAcceptance() - Method in interface net.automatalib.automaton.fsa.MutableFSA
fromArray(I[], int, int) - Static method in class net.automatalib.word.Word: Creates a word from a subrange of an array of symbols.
fromCharSequence(CharSequence) - Static method in class net.automatalib.word.Word
fromLetter(I) - Static method in class net.automatalib.word.Word: Constructs a word from a single letter.
fromList(List<? extends I>) - Static method in class net.automatalib.word.Word: Creates a word from a list of symbols.
fromString(String) - Static method in class net.automatalib.word.Word
fromSymbols(I...) - Static method in class net.automatalib.word.Word: Creates a word from an array of symbols.
fromWords(Collection<? extends Word<? extends I>>) - Static method in class net.automatalib.word.Word
fromWords(Word<? extends I>...) - Static method in class net.automatalib.word.Word
FSAGraphView(A, Collection<? extends I>) - Constructor for class net.automatalib.automaton.fsa.FiniteStateAcceptor.FSAGraphView
FSAVisualizationHelper<S,I> - Class in net.automatalib.automaton.visualization
FSAVisualizationHelper(FiniteStateAcceptor<S, I>) - Constructor for class net.automatalib.automaton.visualization.FSAVisualizationHelper
fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automaton.DeterministicAutomaton
fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automaton.MutableDeterministic
fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton: Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the given number of (abstract) inputs and the inputs mapping.
fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automaton.UniversalDeterministicAutomaton
fullIntAbstraction(Alphabet) - Method in interface net.automatalib.automaton.DeterministicAutomaton
fullIntAbstraction(Alphabet) - Method in interface net.automatalib.automaton.MutableDeterministic
fullIntAbstraction(Alphabet) - Method in interface net.automatalib.automaton.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(Alphabet) - Method in interface net.automatalib.automaton.UniversalDeterministicAutomaton
FullIntAbstraction(A, int, IntFunction<? extends I>) - Constructor for class net.automatalib.automaton.abstraction.DeterministicAbstractions.FullIntAbstraction
FullIntAbstraction(A, int, IntFunction<? extends I>) - Constructor for class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.FullIntAbstraction
FullIntAbstraction(A, int, IntFunction<? extends I>) - Constructor for class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.FullIntAbstraction
FullIntAbstraction(A, int, IntFunction<? extends I>) - Constructor for class net.automatalib.automaton.abstraction.UniversalDeterministicAbstractions.FullIntAbstraction

G

get(int) - Method in class net.automatalib.word.WordBuilder
get(S) - Method in class net.automatalib.automaton.helper.StateIDGrowingMapping
get(S) - Method in class net.automatalib.automaton.helper.StateIDStaticMapping
getAdjacentNodes(N) - Method in interface net.automatalib.graph.Graph: Retrieves, for a given node, the (finite) collection of all adjacent nodes.
getAdjacentNodesIterator(N) - Method in interface net.automatalib.graph.IndefiniteGraph
getAdjacentNodesIterator(N) - Method in interface net.automatalib.graph.IndefiniteSimpleGraph: Retrieves, for a given node, all adjacent nodes.
getAtomicPropositions(N) - Method in interface net.automatalib.graph.concept.KripkeInterpretation: Retrieves the atomic propositions holding at the given node.
getAtomicPropositions(N) - Method in interface net.automatalib.graph.ProceduralModalProcessGraph
getAutomaton() - Method in interface net.automatalib.modelchecking.Lasso: Returns the original automaton from which this lasso is constructed.
getBuilderFor(Iterable<?>) - Static method in interface net.automatalib.automaton.concept.Output
getCallAlphabet() - Method in interface net.automatalib.alphabet.VPAlphabet: Returns the call symbols of this alphabet as a (sub-) alphabet.
getCallSymbol(int) - Method in interface net.automatalib.alphabet.VPAlphabet: The Alphabet.getSymbol(int) variant for the call alphabet.
getCallSymbolIndex(I) - Method in interface net.automatalib.alphabet.VPAlphabet: The Alphabet.getSymbolIndex(Object) variant for the call alphabet.
getChildren() - Method in interface net.automatalib.graph.ads.RecursiveADSNode: Returns a mapping to the child nodes of this ADS node.
getEdgeLabel(E) - Method in interface net.automatalib.graph.concept.EdgeLabels: Retrieves the label for an edge.
getEdgeProperties(Pair<I, S>, Triple<I, I, S>, Pair<I, S>, Map<String, String>) - Method in class net.automatalib.automaton.visualization.ProceduralVisualizationHelper
getEdgeProperties(Pair<L, N>, Pair<L, E>, Pair<L, N>, Map<String, String>) - Method in class net.automatalib.graph.visualization.CFMPSVisualizationHelper
getEdgeProperties(N, E, N, Map<String, String>) - Method in class net.automatalib.graph.visualization.PMPGVisualizationHelper
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.
getEdgeProperties(S, TransitionEdge<I, T>, S, Map<String, String>) - Method in class net.automatalib.automaton.visualization.AutomatonVisualizationHelper
getEdgeProperties(S, TransitionEdge<I, T>, S, Map<String, String>) - Method in class net.automatalib.automaton.visualization.MealyVisualizationHelper
getEdgeProperties(S, TransitionEdge<I, T>, S, Map<String, String>) - Method in class net.automatalib.automaton.visualization.MTSVisualizationHelper
getEdgeProperties(S, TransitionEdge<I, T>, S, Map<String, String>) - Method in class net.automatalib.automaton.visualization.SSTVisualizationHelper
getEdgeProperty(E) - Method in interface net.automatalib.graph.UniversalGraph.IntAbstraction: Int-abstracted version of UniversalIndefiniteGraph.getEdgeProperty(Object).
getEdgeProperty(E) - Method in interface net.automatalib.graph.UniversalIndefiniteGraph: Retrieves the property of a given edge.
getEdgeProperty(TransitionEdge<I, T>) - Method in class net.automatalib.automaton.graph.UniversalAutomatonGraphView
getEdgesBetween(int, int) - Method in interface net.automatalib.graph.Graph.IntAbstraction: (Finite) int-abstracted version of IndefiniteGraph.getEdgesBetween(Object, Object).
getEdgesBetween(N, N) - Method in interface net.automatalib.graph.IndefiniteGraph: Returns, for two given nodes, the edges between those nodes.
getEdgeWeight(E) - Method in interface net.automatalib.graph.concept.EdgeWeights: Retrieves the weight of an edge.
getErrorOutput() - Method in interface net.automatalib.automaton.procedural.SPMM: Returns the output symbol that identifies erroneous transitions.
getErrorSymbol() - Method in interface net.automatalib.alphabet.ProceduralOutputAlphabet: Returns the error symbol of this alphabet.
getFinalNode() - Method in interface net.automatalib.graph.concept.FinalNode: Retrieves the final node, or null if this graph does not have a final node.
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.graph.ads.RecursiveADSNode: Returns the hypothesis state associated with this ADS node.
getIncomingEdges(int) - Method in interface net.automatalib.graph.BidirectionalGraph.IntAbstraction: Int-abstracted version of BidirectionalGraph.getIncomingEdges(Object).
getIncomingEdges(N) - Method in interface net.automatalib.graph.BidirectionalGraph: Retrieves the incoming edges of a given node.
getInitialLocation() - Method in interface net.automatalib.automaton.vpa.SEVPA
getInitialNode() - Method in interface net.automatalib.graph.concept.InitialNode: Retrieves the initial node, or null if this graph does not have an initial node.
getInitialState() - Method in interface net.automatalib.automaton.vpa.SEVPA
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.automaton.graph.TransitionEdge
getInput() - Method in class net.automatalib.automaton.graph.TransitionEdge.Property
getInputAlphabet() - Method in interface net.automatalib.automaton.concept.InputAlphabetHolder
getInputAlphabet() - Method in interface net.automatalib.automaton.vpa.SEVPA
getInstance() - Static method in class net.automatalib.AutomataLibSettings
getInternalAlphabet() - Method in interface net.automatalib.alphabet.VPAlphabet: Returns the internal symbols of this alphabet as a (sub-) alphabet.
getInternalSuccessor(L, I) - Method in interface net.automatalib.automaton.vpa.SEVPA
getInternalSymbol(int) - Method in interface net.automatalib.alphabet.VPAlphabet: The Alphabet.getSymbol(int) variant for the internal alphabet.
getInternalSymbolIndex(I) - Method in interface net.automatalib.alphabet.VPAlphabet: The Alphabet.getSymbolIndex(Object) variant for the internal alphabet.
getIntInitialState() - Method in class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.FullIntAbstraction
getIntInitialState() - Method in class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.IntAbstraction
getIntInitialState() - Method in interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction: Retrieves the initial state of the (abstracted) automaton as an integer.
getIntSource(E) - Method in interface net.automatalib.graph.BidirectionalGraph.IntAbstraction: Int-abstracted version of BidirectionalGraph.getSource(Object).
getIntSuccessor(T) - Method in class net.automatalib.automaton.abstraction.DeterministicAbstractions.FullIntAbstraction
getIntSuccessor(T) - Method in class net.automatalib.automaton.abstraction.DeterministicAbstractions.StateIntAbstraction
getIntSuccessor(T) - Method in interface net.automatalib.automaton.DeterministicAutomaton.IntAbstraction: Retrieves the (abstracted) successor of a transition object.
getIntTarget(E) - Method in interface net.automatalib.graph.Graph.IntAbstraction: Int-abstracted version of IndefiniteGraph.getTarget(Object).
getLocalInputs(S) - Method in interface net.automatalib.automaton.concept.StateLocalInput: Returns the collection of input symbols for which a successor state is defined.
getLocation() - Method in class net.automatalib.automaton.vpa.State
getLocation(int) - Method in interface net.automatalib.automaton.vpa.SEVPA
getLocationId(L) - Method in interface net.automatalib.automaton.vpa.SEVPA
getLocations() - Method in interface net.automatalib.automaton.vpa.SEVPA
getLoop() - Method in interface net.automatalib.modelchecking.Lasso: Gets the loop of the lasso.
getLoopBeginIndices() - Method in interface net.automatalib.modelchecking.Lasso: The sorted set containing some symbol indices after which the beginning state of the loop is visited.
getMainProcess() - Method in interface net.automatalib.graph.ContextFreeModalProcessSystem
getMinimumUnfolds() - Method in interface net.automatalib.modelchecking.ModelCheckerLasso: Returns the minimum number of times a loop must be unrolled.
getModalType() - Method in interface net.automatalib.ts.modal.transition.ModalEdgeProperty
getModuleEntry(I) - Method in interface net.automatalib.automaton.vpa.OneSEVPA
getModuleEntry(I) - Method in interface net.automatalib.automaton.vpa.SEVPA
getMultiplier() - Method in interface net.automatalib.modelchecking.ModelCheckerLasso: Return the multiplier for the number of times a loop of the lasso must be unrolled, relative to the size of the hypothesis.
getNode(int) - Method in class net.automatalib.automaton.graph.StateAsNodeIDs
getNode(int) - Method in interface net.automatalib.graph.concept.NodeIDs: Return for a given id the node of the graph identified by it.
getNode(int) - Method in class net.automatalib.graph.helper.SimpleNodeIDs
getNodeId(N) - Method in interface net.automatalib.graph.concept.NodeIDs: Returns for a given node of the graph an integer uniquely identifying the node.
getNodeId(N) - Method in class net.automatalib.graph.helper.SimpleNodeIDs
getNodeId(S) - Method in class net.automatalib.automaton.graph.StateAsNodeIDs
getNodeProperties(Pair<I, S>, Map<String, String>) - Method in class net.automatalib.automaton.visualization.ProceduralVisualizationHelper
getNodeProperties(Pair<L, N>, Map<String, String>) - Method in class net.automatalib.graph.visualization.CFMPSVisualizationHelper
getNodeProperties(N, Map<String, String>) - Method in class net.automatalib.graph.visualization.PMPGVisualizationHelper
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.
getNodeProperties(S, Map<String, String>) - Method in class net.automatalib.automaton.visualization.FSAVisualizationHelper
getNodeProperties(S, Map<String, String>) - Method in class net.automatalib.automaton.visualization.MooreVisualizationHelper
getNodeProperties(S, Map<String, String>) - Method in class net.automatalib.automaton.visualization.SSTVisualizationHelper
getNodeProperty(int) - Method in interface net.automatalib.graph.UniversalGraph.IntAbstraction: Int-abstracted version of UniversalIndefiniteGraph.getNodeProperty(Object).
getNodeProperty(N) - Method in interface net.automatalib.graph.UniversalIndefiniteGraph: Retrieves the property of a given node.
getNodeProperty(S) - Method in class net.automatalib.automaton.graph.UniversalAutomatonGraphView
getNodes() - Method in class net.automatalib.automaton.graph.AbstractAutomatonGraphView
getNodes() - Method in class net.automatalib.automaton.procedural.ProceduralGraphView
getNodes() - Method in class net.automatalib.automaton.vpa.SEVPAGraphView
getNodes() - Method in interface net.automatalib.graph.ads.ADSNode
getNodes() - Method in class net.automatalib.graph.CFMPSGraphView
getNodes() - Method in interface net.automatalib.graph.SimpleGraph: Retrieves an (unmodifiable) collection of the nodes in this graph.
getNodesForRoot(N) - Method in interface net.automatalib.graph.ads.RecursiveADSNode: A utility method to collect all nodes of a subtree specified by the given root node.
getNumCalls() - Method in interface net.automatalib.alphabet.VPAlphabet: The ArrayWritable.size() variant for the call alphabet.
getNumInternals() - Method in interface net.automatalib.alphabet.VPAlphabet: The ArrayWritable.size() variant for the internal alphabet.
getNumReturns() - Method in interface net.automatalib.alphabet.VPAlphabet: The ArrayWritable.size() variant for the return alphabet.
getNumStackSymbols() - Method in interface net.automatalib.automaton.vpa.SEVPA
getOriginalStates(Set<S>) - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
getOriginalStates(S) - Method in interface net.automatalib.ts.PowersetViewTS
getOriginalTransitions(Set<T>) - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
getOriginalTransitions(T) - Method in interface net.automatalib.ts.PowersetViewTS
getOutgoingEdges(int) - Method in interface net.automatalib.graph.Graph.IntAbstraction: Int-abstracted version of Graph.getOutgoingEdges(Object).
getOutgoingEdges(L) - Method in class net.automatalib.automaton.vpa.SEVPAGraphView
getOutgoingEdges(N) - Method in interface net.automatalib.graph.ads.RecursiveADSNode
getOutgoingEdges(N) - Method in interface net.automatalib.graph.Graph: Retrieves, for a given node, the (finite) collection of all outgoing edges.
getOutgoingEdges(Pair<I, S>) - Method in class net.automatalib.automaton.procedural.ProceduralGraphView
getOutgoingEdges(Pair<L, N>) - Method in class net.automatalib.graph.CFMPSGraphView
getOutgoingEdges(S) - Method in class net.automatalib.automaton.graph.AutomatonGraphView
getOutgoingEdgesIterator(int) - Method in interface net.automatalib.graph.Graph.IntAbstraction: Int-abstracted version of Graph.getOutgoingEdgesIterator(Object).
getOutgoingEdgesIterator(N) - Method in interface net.automatalib.graph.Graph
getOutgoingEdgesIterator(N) - Method in interface net.automatalib.graph.IndefiniteGraph: Retrieves, for a given node, all outgoing edges.
getOutput() - Method in class net.automatalib.automaton.transducer.probabilistic.ProbabilisticOutput
getOutput() - Method in interface net.automatalib.modelchecking.Lasso: Gets the finite representation of the output of the lasso.
getOutput(S, I) - Method in interface net.automatalib.ts.output.DeterministicTransitionOutputTS: Retrieves the output for the given input symbol in the given state.
getParent() - Method in interface net.automatalib.graph.ads.RecursiveADSNode: Returns the parent node of this node.
getPMPGs() - Method in interface net.automatalib.graph.ContextFreeModalProcessSystem
getPrefix() - Method in interface net.automatalib.modelchecking.Lasso: Gets the prefix of the lasso.
getProbability() - Method in class net.automatalib.automaton.transducer.probabilistic.ProbabilisticOutput
getProceduralAlphabet() - Method in interface net.automatalib.alphabet.ProceduralInputAlphabet: Returns the union of call and internal symbols.
getProceduralInputs(Collection) - Method in interface net.automatalib.automaton.procedural.SBA
getProceduralInputs(Collection) - Method in interface net.automatalib.automaton.procedural.SPA
getProceduralInputs(Collection) - Method in interface net.automatalib.automaton.procedural.SPMM
getProceduralType() - Method in interface net.automatalib.ts.modal.transition.ProceduralModalEdgeProperty
getProperty() - Method in class net.automatalib.automaton.graph.TransitionEdge.Property
getProperty(AutomataLibProperty) - Method in class net.automatalib.AutomataLibSettings
getProperty(AutomataLibProperty, String) - Method in class net.automatalib.AutomataLibSettings
getPropertyKey() - Method in enum net.automatalib.AutomataLibProperty: Returns the actual system property key of the property.
getRegularAlphabet() - Method in interface net.automatalib.alphabet.ProceduralOutputAlphabet: Returns the regular output symbols of this alphabet.
getReturnAlphabet() - Method in interface net.automatalib.alphabet.VPAlphabet: Returns the return symbols of this alphabet as a (sub-) alphabet.
getReturnSuccessor(L, I, int) - Method in interface net.automatalib.automaton.vpa.SEVPA
getReturnSymbol() - Method in interface net.automatalib.alphabet.ProceduralInputAlphabet: Returns the single return symbol.
getReturnSymbol(int) - Method in interface net.automatalib.alphabet.VPAlphabet: The Alphabet.getSymbol(int) variant for the return alphabet.
getReturnSymbolIndex(I) - Method in interface net.automatalib.alphabet.VPAlphabet: The Alphabet.getSymbolIndex(Object) variant for the return alphabet.
getSkipOutputs() - Method in interface net.automatalib.modelchecking.ModelChecker.MealyModelChecker: Returns the outputs for which all transitions should be removed.
getSource(E) - Method in interface net.automatalib.graph.BidirectionalGraph: Retrieves the source node of a given edge.
getStackContents() - Method in class net.automatalib.automaton.vpa.State
getState(int) - Method in interface net.automatalib.automaton.concept.StateIDs: Return for a given id the state of the automaton identified by it.
getState(int) - Method in class net.automatalib.automaton.helper.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.automaton.concept.StateIDs: Returns for a given state of the automaton an integer uniquely identifying the state.
getStateId(S) - Method in class net.automatalib.automaton.helper.SimpleStateIDs
getStateOutput(S) - Method in interface net.automatalib.automaton.concept.StateOutput
getStateProperty(int) - Method in class net.automatalib.automaton.abstraction.UniversalDeterministicAbstractions.FullIntAbstraction
getStateProperty(int) - Method in class net.automatalib.automaton.abstraction.UniversalDeterministicAbstractions.StateIntAbstraction
getStateProperty(int) - Method in interface net.automatalib.automaton.UniversalDeterministicAutomaton.IntAbstraction: Retrieves the state property of a given (abstracted) state.
getStateProperty(S) - Method in interface net.automatalib.ts.acceptor.AcceptorTS
getStateProperty(S) - Method in interface net.automatalib.ts.output.MealyTransitionSystem
getStateProperty(S) - Method in interface net.automatalib.ts.output.MooreTransitionSystem
getStateProperty(S) - Method in interface net.automatalib.ts.UniversalTransitionSystem: Retrieves the state property for the given state.
getStates() - Method in interface net.automatalib.automaton.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 class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.FullIntAbstraction
getSuccessor(int, int) - Method in interface net.automatalib.automaton.DeterministicAutomaton.FullIntAbstraction
getSuccessor(int, int) - Method in interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.FullIntAbstraction: Retrieves the (abstracted) successor for a given (abstracted) source state and (abstracted) input.
getSuccessor(int, I) - Method in class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.StateIntAbstraction
getSuccessor(int, I) - Method in interface net.automatalib.automaton.DeterministicAutomaton.StateIntAbstraction
getSuccessor(int, I) - Method in interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.StateIntAbstraction: Retrieves the (abstracted) successor state for a given (abstracted) source state and input symbol.
getSuccessor(Set<S>, I) - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
getSuccessor(Set<T>) - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
getSuccessor(S) - Method in interface net.automatalib.ts.acceptor.AcceptorTS
getSuccessor(S, I) - Method in interface net.automatalib.ts.DeterministicTransitionSystem
getSuccessor(S, I) - Method in interface net.automatalib.ts.simple.SimpleDTS: Retrieves the successor state reachable by the given input symbol.
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(T) - Method in interface net.automatalib.ts.TransitionSystem: Retrieves the successor state of a given transition.
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.DeterministicTransitionSystem
getSuccessors(S, I) - Method in interface net.automatalib.ts.simple.SimpleDTS
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
getSuccessors(S, Iterable<? extends 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.
getSymbol() - Method in interface net.automatalib.graph.ads.RecursiveADSNode: Returns the input symbol associated with this ADS node.
getSymbol(int) - Method in interface net.automatalib.alphabet.Alphabet: Returns the symbol with the given index in this alphabet.
getSymbol(int) - Method in class net.automatalib.word.Word: Return symbol that is at the specified position.
getSymbol(int) - Method in class net.automatalib.word.WordBuilder: Retrieves the symbol at the given index.
getSymbolIndex(I) - Method in interface net.automatalib.alphabet.Alphabet: Returns the index of the given symbol in the alphabet.
getSymbolType(I) - Method in interface net.automatalib.alphabet.VPAlphabet: Returns the symbol type of the given alphabet symbol.
getTarget(E) - Method in interface net.automatalib.graph.IndefiniteGraph: Retrieves, for a given edge, its target node.
getTarget(N) - Method in interface net.automatalib.graph.ads.RecursiveADSNode
getTarget(TransitionEdge<I, T>) - Method in class net.automatalib.automaton.graph.AutomatonGraphView
getTarget(SEVPAGraphView.SevpaViewEdge<L, I>) - Method in class net.automatalib.automaton.vpa.SEVPAGraphView
getTarget(Pair<L, E>) - Method in class net.automatalib.graph.CFMPSGraphView
getTarget(Triple<I, I, S>) - Method in class net.automatalib.automaton.procedural.ProceduralGraphView
getTransition() - Method in class net.automatalib.automaton.graph.TransitionEdge
getTransition(int, int) - Method in class net.automatalib.automaton.abstraction.DeterministicAbstractions.FullIntAbstraction
getTransition(int, int) - Method in interface net.automatalib.automaton.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.automaton.abstraction.DeterministicAbstractions.StateIntAbstraction
getTransition(int, I) - Method in interface net.automatalib.automaton.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(Set<S>, I) - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
getTransition(S, I) - Method in interface net.automatalib.ts.DeterministicTransitionSystem: Retrieves the transition triggered by the given input symbol.
getTransitionOutput(T) - Method in interface net.automatalib.automaton.concept.TransitionOutput
getTransitionProbability(T) - Method in interface net.automatalib.automaton.concept.Probabilistic
getTransitionProperty(int, int) - Method in interface net.automatalib.automaton.UniversalDeterministicAutomaton.FullIntAbstraction
getTransitionProperty(int, I) - Method in interface net.automatalib.automaton.UniversalDeterministicAutomaton.StateIntAbstraction
getTransitionProperty(S) - Method in interface net.automatalib.ts.acceptor.AcceptorTS
getTransitionProperty(S, I) - Method in interface net.automatalib.ts.output.MooreTransitionSystem
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 class net.automatalib.automaton.abstraction.UniversalDeterministicAbstractions.FullIntAbstraction
getTransitionProperty(T) - Method in class net.automatalib.automaton.abstraction.UniversalDeterministicAbstractions.StateIntAbstraction
getTransitionProperty(T) - Method in interface net.automatalib.automaton.transducer.probabilistic.ProbabilisticMealyMachine
getTransitionProperty(T) - Method in interface net.automatalib.automaton.UniversalDeterministicAutomaton.IntAbstraction: Retrieves the transition property of a given transition.
getTransitionProperty(T) - Method in interface net.automatalib.ts.output.MealyTransitionSystem
getTransitionProperty(T) - Method in interface net.automatalib.ts.output.MooreTransitionSystem
getTransitionProperty(T) - Method in interface net.automatalib.ts.UniversalTransitionSystem: Retrieves the transition property for the given state.
getTransitions(S) - Method in interface net.automatalib.automaton.FiniteAlphabetAutomaton: Convenience method for accessing all (outgoing) transitions of a 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.
getUnfolds() - Method in interface net.automatalib.modelchecking.Lasso: Returns the number of times the loop is unfolded.
getVisualizationHelper() - Method in class net.automatalib.automaton.fsa.FiniteStateAcceptor.FSAGraphView
getVisualizationHelper() - Method in class net.automatalib.automaton.graph.AutomatonGraphView
getVisualizationHelper() - Method in class net.automatalib.automaton.procedural.ProceduralGraphView
getVisualizationHelper() - Method in class net.automatalib.automaton.transducer.MealyMachine.MealyGraphView
getVisualizationHelper() - Method in class net.automatalib.automaton.transducer.MooreMachine.MooreGraphView
getVisualizationHelper() - Method in class net.automatalib.automaton.transducer.SubsequentialTransducer.SSTGraphView
getVisualizationHelper() - Method in class net.automatalib.automaton.vpa.SEVPAGraphView
getVisualizationHelper() - Method in interface net.automatalib.graph.ads.RecursiveADSNode
getVisualizationHelper() - Method in class net.automatalib.graph.CFMPSGraphView
getVisualizationHelper() - Method in interface net.automatalib.graph.Graph
getVisualizationHelper() - Method in interface net.automatalib.graph.ProceduralModalProcessGraph
getVisualizationHelper() - Method in interface net.automatalib.graph.SimpleGraph: Returns the VisualizationHelper that contains information for displaying this graph.
getVisualizationHelper() - Method in class net.automatalib.ts.modal.ModalTransitionSystem.MTSGraphView
getWord() - Method in interface net.automatalib.modelchecking.Lasso: Gets the finite representation of the lasso.
Graph<N,E> - Interface in net.automatalib.graph: Graph interface.
Graph.IntAbstraction<E> - Interface in net.automatalib.graph: Interface for node integer abstractions of a Graph.
graphView() - Method in interface net.automatalib.automaton.FiniteAlphabetAutomaton
graphView() - Method in interface net.automatalib.automaton.vpa.SEVPA
graphView() - Method in interface net.automatalib.graph.concept.GraphViewable
graphView() - Method in interface net.automatalib.graph.ContextFreeModalProcessSystem
GraphViewable - Interface in net.automatalib.graph.concept
GrowingAlphabet - Interface in net.automatalib.alphabet: Alphabet class that supports adding new symbols.
GrowingAlphabetNotSupportedException - Exception in net.automatalib.exception: An exception to be thrown when functionality revolving around GrowingAlphabet.addSymbol(Object) is accessed (e.g. by trying to add an alphabet symbol to an automaton) but the given data structure was not properly set up (e.g.
GrowingAlphabetNotSupportedException(Alphabet) - Constructor for exception net.automatalib.exception.GrowingAlphabetNotSupportedException

H

hashCode() - Method in class net.automatalib.automaton.graph.TransitionEdge
hashCode() - Method in class net.automatalib.automaton.graph.TransitionEdge.Property
hashCode() - Method in class net.automatalib.automaton.transducer.probabilistic.ProbabilisticOutput
hashCode() - Method in class net.automatalib.word.Word
HEIGHT - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeAttrs

I

IndefiniteGraph<N,E> - Interface in net.automatalib.graph: Interface for an (indefinite) graph structure.
IndefiniteSimpleGraph<N> - Interface in net.automatalib.graph: A simplified interface for indefinite graphs, exposing only adjacency information, but no further information about edge objects.
INITIAL - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeAttrs
InitialNode<N> - Interface in net.automatalib.graph.concept: Initial node concept.
initialNodes() - Method in class net.automatalib.automaton.visualization.AutomatonVisualizationHelper
initialNodes() - Method in class net.automatalib.automaton.visualization.ProceduralVisualizationHelper
initialNodes() - Method in class net.automatalib.graph.visualization.CFMPSVisualizationHelper
initialNodes() - Method in class net.automatalib.graph.visualization.PMPGVisualizationHelper
initialNodes() - Method in class net.automatalib.visualization.DefaultVisualizationHelper
input - Variable in class net.automatalib.automaton.vpa.SEVPAGraphView.SevpaViewEdge
InputAlphabetHolder - Interface in net.automatalib.automaton.concept
inputs - Variable in class net.automatalib.automaton.graph.AutomatonGraphView
IntAbstraction(A) - Constructor for class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.IntAbstraction
INTERNAL - net.automatalib.alphabet.VPAlphabet.SymbolType
INTERNAL - net.automatalib.ts.modal.transition.ProceduralModalEdgeProperty.ProceduralType
intToState(int) - Method in class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.IntAbstraction
intToSym(int) - Method in class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.FullIntAbstraction
INVALID_STATE - Static variable in interface net.automatalib.automaton.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.automaton.fsa.DFA
isAccepting(Collection<? extends S>) - Method in interface net.automatalib.automaton.fsa.NFA
isAccepting(Collection<? extends S>) - Method in interface net.automatalib.ts.acceptor.AcceptorTS
isAccepting(Collection<? extends S>) - Method in interface net.automatalib.ts.acceptor.DeterministicAcceptorTS
isAccepting(State<L>) - Method in interface net.automatalib.automaton.vpa.SEVPA
isAccepting(S) - Method in interface net.automatalib.ts.acceptor.AcceptorTS: Checks whether the given state is accepting.
isAcceptingLocation(L) - Method in interface net.automatalib.automaton.vpa.SEVPA
isAcceptingNode(N) - Method in interface net.automatalib.graph.concept.NodeAcceptance: Checks whether a node is an accepting node.
isCallMatched(Word) - Method in interface net.automatalib.alphabet.VPAlphabet: Returns whether the given word is call-matched relative to this alphabet.
isCallSymbol(I) - Method in interface net.automatalib.alphabet.VPAlphabet: Returns whether the given symbol is a call symbol of this alphabet.
isConnected(int, int) - Method in interface net.automatalib.graph.Graph.IntAbstraction: Int-abstracted version of IndefiniteSimpleGraph.isConnected(Object, Object).
isConnected(int, int) - Method in interface net.automatalib.graph.SimpleGraph.IntAbstraction
isConnected(N, N) - Method in interface net.automatalib.graph.IndefiniteSimpleGraph: Checks, for two given nodes, whether they are connected.
isEmpty() - Method in class net.automatalib.word.Word: Checks if this word is empty, i.e., contains no symbols.
isErrorOutput(O) - Method in interface net.automatalib.automaton.procedural.SPMM: Convenience method that compares the given output with this SPMM's error output.
isErrorSymbol(O) - Method in interface net.automatalib.alphabet.ProceduralOutputAlphabet: Convenience method that compares the given symbol with this alphabet's error symbol.
isInternal() - Method in interface net.automatalib.ts.modal.transition.ProceduralModalEdgeProperty
isInternalSymbol(I) - Method in interface net.automatalib.alphabet.VPAlphabet: Returns whether the given symbol is an internal symbol of this alphabet.
isLeaf() - Method in interface net.automatalib.graph.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).
isMayOnly() - Method in interface net.automatalib.ts.modal.transition.ModalEdgeProperty
isMust() - Method in interface net.automatalib.ts.modal.transition.ModalEdgeProperty
isPrefixOf(Word<?>) - Method in class net.automatalib.word.Word: Checks if this word is a prefix of another word.
isProcess() - Method in interface net.automatalib.ts.modal.transition.ProceduralModalEdgeProperty
isReturnMatched(Word) - Method in interface net.automatalib.alphabet.VPAlphabet: Returns whether the given word is return-matched relative to this alphabet.
isReturnSymbol(I) - Method in interface net.automatalib.alphabet.VPAlphabet: Returns whether the given symbol is a return symbol of this alphabet.
isSuffixOf(Word<?>) - Method in class net.automatalib.word.Word: Checks if this word is a suffix of another word.
isWellMatched(Word) - Method in interface net.automatalib.alphabet.VPAlphabet: Returns whether the given word is well-matched relative to this alphabet.
iterator() - Method in class net.automatalib.automaton.graph.AbstractAutomatonGraphView
iterator() - Method in interface net.automatalib.automaton.simple.SimpleAutomaton
iterator() - Method in interface net.automatalib.graph.SimpleGraph
iterator() - Method in interface net.automatalib.ts.modal.ModalTransitionSystem
iterator() - Method in class net.automatalib.word.Word

K

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

L

LABEL - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonAttrs
Lasso<I,D> - Interface in net.automatalib.modelchecking: A lasso is a single infinite word.
Lasso.DFALasso - Interface in net.automatalib.modelchecking: A DFALasso is a lasso for DFAs.
Lasso.MealyLasso<I,O> - Interface in net.automatalib.modelchecking: A MealyLasso is a lasso for MealyMachines.
lastSymbol() - Method in class net.automatalib.word.Word: Retrieves the last symbol of this word.
length() - Method in class net.automatalib.word.Word: Retrieves the length of this word.
longestCommonPrefix(Word<?>) - Method in class net.automatalib.word.Word: Determines the longest common prefix of this word and another word.
longestCommonSuffix(Word<?>) - Method in class net.automatalib.word.Word: Determines the longest common suffix of this word and another word.
longestWellMatchedPrefix(Word) - Method in interface net.automatalib.alphabet.VPAlphabet: Return the longest well-matched (relative to this alphabet) prefix of the given word.
longestWellMatchedSuffix(Word) - Method in interface net.automatalib.alphabet.VPAlphabet: Return the longest well-matched (relative to this alphabet) suffix of the given word.
LTSMIN_PATH - net.automatalib.AutomataLibProperty: automatalib.ltsmin.path.
LTSMIN_VERBOSE - net.automatalib.AutomataLibProperty: ltsmin.verbose.

M

MAY - net.automatalib.ts.modal.transition.ModalEdgeProperty.ModalType
MealyGraphView(A, Collection<? extends I>) - Constructor for class net.automatalib.automaton.transducer.MealyMachine.MealyGraphView
MealyMachine<S,I,T,O> - Interface in net.automatalib.automaton.transducer
MealyMachine.MealyGraphView<S,I,T,O,A extends MealyMachine<S,I,T,O>> - Class in net.automatalib.automaton.transducer
MealyTransitionSystem<S,I,T,O> - Interface in net.automatalib.ts.output
MealyVisualizationHelper<S,I,T,O> - Class in net.automatalib.automaton.visualization
MealyVisualizationHelper(TransitionOutputAutomaton<S, I, T, O>) - Constructor for class net.automatalib.automaton.visualization.MealyVisualizationHelper
ModalEdgeProperty - Interface in net.automatalib.ts.modal.transition
ModalEdgeProperty.ModalType - Enum in net.automatalib.ts.modal.transition
MODALITY - Static variable in class net.automatalib.visualization.VisualizationHelper.MTSEdgeAttrs
ModalTransitionSystem<S,I,T,TP extends ModalEdgeProperty> - Interface in net.automatalib.ts.modal: A modal transition system is a UniversalAutomaton in which transitions can be marked as may or must edges.
ModalTransitionSystem.MTSGraphView<S,I,T,TP extends ModalEdgeProperty,M extends ModalTransitionSystem<S,I,T,TP>> - Class in net.automatalib.ts.modal
ModelChecker<I,A,P,R> - Interface in net.automatalib.modelchecking: A model-checker checks whether a given automaton satisfies a given property.
ModelChecker.DFAModelChecker<I,P,R> - Interface in net.automatalib.modelchecking
ModelChecker.MealyModelChecker<I,O,P,R> - Interface in net.automatalib.modelchecking: A model checker for Mealy machines.
ModelCheckerCache<I,A,P,R> - Interface in net.automatalib.modelchecking: A model checker that caches calls to ModelChecker.findCounterExample(Object, Collection, Object).
ModelCheckerCache.DFAModelCheckerCache<I,P,R> - Interface in net.automatalib.modelchecking
ModelCheckerCache.MealyModelCheckerCache<I,O,P,R> - Interface in net.automatalib.modelchecking
ModelCheckerLasso<I,A,P,R extends Lasso<I,?>> - Interface in net.automatalib.modelchecking: A model checker where the counterexample is a lasso.
ModelCheckerLasso.DFAModelCheckerLasso<I,P> - Interface in net.automatalib.modelchecking
ModelCheckerLasso.MealyModelCheckerLasso<I,O,P> - Interface in net.automatalib.modelchecking
ModelCheckerLassoCache<I,A,P,R extends Lasso<I,?>> - Interface in net.automatalib.modelchecking
ModelCheckerLassoCache.DFAModelCheckerLassoCache<I,P> - Interface in net.automatalib.modelchecking
ModelCheckerLassoCache.MealyModelCheckerLassoCache<I,O,P> - Interface in net.automatalib.modelchecking
ModelCheckingException - Exception in net.automatalib.exception: An Exception that may occur during model checking.
ModelCheckingException(Exception) - Constructor for exception net.automatalib.exception.ModelCheckingException
ModelCheckingException(String) - Constructor for exception net.automatalib.exception.ModelCheckingException
MooreGraphView(A, Collection<? extends I>) - Constructor for class net.automatalib.automaton.transducer.MooreMachine.MooreGraphView
MooreMachine<S,I,T,O> - Interface in net.automatalib.automaton.transducer
MooreMachine.MooreGraphView<S,I,T,O,A extends MooreMachine<S,I,T,O>> - Class in net.automatalib.automaton.transducer
MooreTransitionSystem<S,I,T,O> - Interface in net.automatalib.ts.output
MooreVisualizationHelper<S,I,T,O> - Class in net.automatalib.automaton.visualization
MooreVisualizationHelper(MooreMachine<S, I, T, O>) - Constructor for class net.automatalib.automaton.visualization.MooreVisualizationHelper
MTSGraphView(M, Collection<? extends I>) - Constructor for class net.automatalib.ts.modal.ModalTransitionSystem.MTSGraphView
MTSVisualizationHelper<S,I,T,TP extends ModalEdgeProperty,M extends ModalTransitionSystem<S,I,T,TP>> - Class in net.automatalib.automaton.visualization
MTSVisualizationHelper(M) - Constructor for class net.automatalib.automaton.visualization.MTSVisualizationHelper
MUST - net.automatalib.ts.modal.transition.ModalEdgeProperty.ModalType
MutableAutomaton<S,I,T,SP,TP> - Interface in net.automatalib.automaton: A mutable automaton.
MutableDeterministic<S,I,T,SP,TP> - Interface in net.automatalib.automaton: Interface for a mutable deterministic automaton.
MutableDeterministic.FullIntAbstraction<T,SP,TP> - Interface in net.automatalib.automaton: Interface for full integer abstractions of a MutableDeterministic.
MutableDeterministic.IntAbstraction<T,SP,TP> - Interface in net.automatalib.automaton: Base interface for integer abstractions of a MutableDeterministic.
MutableDeterministic.StateIntAbstraction<I,T,SP,TP> - Interface in net.automatalib.automaton: Interface for state integer abstractions of a MutableDeterministic.
MutableDeterministicAbstraction - Interface in net.automatalib.automaton.abstraction: Default implementations for MutableDeterministic abstractions.
MutableDeterministicAbstraction.FullIntAbstraction<I,T,SP,TP,A extends MutableDeterministic.StateIntAbstraction<I,T,SP,TP>> - Class in net.automatalib.automaton.abstraction
MutableDeterministicAbstraction.StateIntAbstraction<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> - Class in net.automatalib.automaton.abstraction
MutableDFA<S,I> - Interface in net.automatalib.automaton.fsa
MutableEdgeLabels<E,L> - Interface in net.automatalib.graph.concept
MutableFSA<S,I> - Interface in net.automatalib.automaton.fsa
MutableGraph<N,E,NP,EP> - Interface in net.automatalib.graph: A graph that allows modification.
MutableGraph.IntAbstraction<E,NP,EP> - Interface in net.automatalib.graph: Interface for node integer abstractions of a MutableGraph.
MutableKripkeInterpretation<N,AP> - Interface in net.automatalib.graph.concept
MutableMealyMachine<S,I,T,O> - Interface in net.automatalib.automaton.transducer
MutableModalEdgeProperty - Interface in net.automatalib.ts.modal.transition
MutableModalTransitionSystem<S,I,T,TP extends MutableModalEdgeProperty> - Interface in net.automatalib.ts.modal: A mutable version of ModalTransitionSystem that allows to add states and transitions.
MutableMooreMachine<S,I,T,O> - Interface in net.automatalib.automaton.transducer
MutableNFA<S,I> - Interface in net.automatalib.automaton.fsa
MutableProbabilistic<T> - Interface in net.automatalib.automaton.concept
MutableProbabilisticMealy<S,I,T,O> - Interface in net.automatalib.automaton.transducer.probabilistic
MutableProceduralModalEdgeProperty - Interface in net.automatalib.ts.modal.transition
MutableProceduralModalProcessGraph<N,L,E,AP,TP extends MutableProceduralModalEdgeProperty> - Interface in net.automatalib.graph: A mutable version of the ProceduralModalProcessGraph.
MutableStateOutput<S,O> - Interface in net.automatalib.automaton.concept
MutableSubsequentialTransducer<S,I,T,O> - Interface in net.automatalib.automaton.transducer: A mutable extension of a SubsequentialTransducer.
MutableTransitionOutput<T,O> - Interface in net.automatalib.automaton.concept
MutableUniversalBidirectionalGraph<N,E,NP,EP> - Interface in net.automatalib.graph

N

net.automatalib - package net.automatalib: The main AutomataLib package.
net.automatalib.alphabet - package net.automatalib.alphabet: This package contains the basic classes concerning alphabets.
net.automatalib.automaton - package net.automatalib.automaton: This package (including sub-packages) contains the basic classes concerning automata.
net.automatalib.automaton.abstraction - package net.automatalib.automaton.abstraction
net.automatalib.automaton.concept - package net.automatalib.automaton.concept
net.automatalib.automaton.fsa - package net.automatalib.automaton.fsa
net.automatalib.automaton.graph - package net.automatalib.automaton.graph
net.automatalib.automaton.helper - package net.automatalib.automaton.helper
net.automatalib.automaton.procedural - package net.automatalib.automaton.procedural
net.automatalib.automaton.simple - package net.automatalib.automaton.simple
net.automatalib.automaton.transducer - package net.automatalib.automaton.transducer
net.automatalib.automaton.transducer.probabilistic - package net.automatalib.automaton.transducer.probabilistic
net.automatalib.automaton.visualization - package net.automatalib.automaton.visualization
net.automatalib.automaton.vpa - package net.automatalib.automaton.vpa
net.automatalib.exception - package net.automatalib.exception
net.automatalib.graph - package net.automatalib.graph: This package (including sub-packages) contains the basic classes concerning graphs.
net.automatalib.graph.ads - package net.automatalib.graph.ads
net.automatalib.graph.concept - package net.automatalib.graph.concept
net.automatalib.graph.helper - package net.automatalib.graph.helper
net.automatalib.graph.visualization - package net.automatalib.graph.visualization
net.automatalib.modelchecking - package net.automatalib.modelchecking
net.automatalib.ts - package net.automatalib.ts: This package (including sub-packages) contains the basic classes concerning transition systems.
net.automatalib.ts.acceptor - package net.automatalib.ts.acceptor
net.automatalib.ts.modal - package net.automatalib.ts.modal
net.automatalib.ts.modal.transition - package net.automatalib.ts.modal.transition
net.automatalib.ts.output - package net.automatalib.ts.output
net.automatalib.ts.powerset - package net.automatalib.ts.powerset
net.automatalib.ts.simple - package net.automatalib.ts.simple
net.automatalib.visualization - package net.automatalib.visualization: This package contains several approaches for the visualization of the different types of automata, transition systems, and graphs supported by AutomataLib.
net.automatalib.word - package net.automatalib.word: This package contains the basic classes concerning words.
NFA<S,I> - Interface in net.automatalib.automaton.fsa: Nondeterministic finite state acceptor.
NodeAcceptance<N> - Interface in net.automatalib.graph.concept: Node acceptance concept, for Graphs that represent a structure for deciding acceptance or rejection.
nodeIDs() - Method in class net.automatalib.automaton.graph.AbstractAutomatonGraphView
nodeIDs() - Method in interface net.automatalib.graph.SimpleGraph
NodeIDs<N> - Interface in net.automatalib.graph.concept: An interface for translating between graph nodes and their primitive representations as integers.
NONE - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes
numInputs - Variable in class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.FullIntAbstraction
numInputs() - Method in class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.FullIntAbstraction
numInputs() - Method in interface net.automatalib.automaton.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.automaton.vpa: A specialized interface for 1-SEVPAs (1-module single entry visibly push-down automata).
Output<I,D> - Interface in net.automatalib.automaton.concept: Feature for automata that compute an output.
OutputAutomaton<S,I,T,D> - Interface in net.automatalib.automaton.concept
OVAL - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes

P

peek() - Method in class net.automatalib.automaton.vpa.StackContents
PENWIDTH - Static variable in class net.automatalib.visualization.VisualizationHelper.EdgeAttrs
PMPGVisualizationHelper<N,E,AP> - Class in net.automatalib.graph.visualization
PMPGVisualizationHelper(ProceduralModalProcessGraph<N, ?, E, AP, ?>) - Constructor for class net.automatalib.graph.visualization.PMPGVisualizationHelper
pop() - Method in class net.automatalib.automaton.vpa.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.word.Word: Retrieves a prefix of the given length.
prefixes(boolean) - Method in class net.automatalib.word.Word: Retrieves the list of all prefixes of this word.
prepend(I) - Method in class net.automatalib.word.Word: Prepends a symbol to this word and returns the result as a new word.
print(Appendable) - Method in class net.automatalib.word.Word
Probabilistic<T> - Interface in net.automatalib.automaton.concept
ProbabilisticMealyMachine<S,I,T,O> - Interface in net.automatalib.automaton.transducer.probabilistic
ProbabilisticOutput<O> - Class in net.automatalib.automaton.transducer.probabilistic
ProbabilisticOutput(float, O) - Constructor for class net.automatalib.automaton.transducer.probabilistic.ProbabilisticOutput
ProceduralGraphView<S,I> - Class in net.automatalib.automaton.procedural: Graph representation of a ProceduralSystem that displays all states of its sub-procedures once, i.e., without incorporating execution semantics such as stack contents.
ProceduralGraphView(Alphabet, Collection, Map<I, ? extends UniversalDeterministicAutomaton<? extends S, I, ?, ?, ?>>) - Constructor for class net.automatalib.automaton.procedural.ProceduralGraphView
ProceduralInputAlphabet - Interface in net.automatalib.alphabet: A specialized version of a VPAlphabet that is tailored towards procedural systems.
ProceduralModalEdgeProperty - Interface in net.automatalib.ts.modal.transition
ProceduralModalEdgeProperty.ProceduralType - Enum in net.automatalib.ts.modal.transition
ProceduralModalProcessGraph<N,L,E,AP,TP extends ProceduralModalEdgeProperty> - Interface in net.automatalib.graph: Represents a Procedural Modal Transition System as defined in the paper M3C: Modal Meta Model Checking.
ProceduralOutputAlphabet<O> - Interface in net.automatalib.alphabet: A specialized Alphabet for procedural systems that combines a regular output alphabet with a designated error symbol.
ProceduralVisualizationHelper<S,I> - Class in net.automatalib.automaton.visualization: Default VisualizationHelper for procedural systems.
ProceduralVisualizationHelper(Alphabet, Map<I, ? extends UniversalDeterministicAutomaton<? extends S, I, ?, ?, ?>>) - Constructor for class net.automatalib.automaton.visualization.ProceduralVisualizationHelper
PROCESS - net.automatalib.ts.modal.transition.ProceduralModalEdgeProperty.ProceduralType
project(Word, int) - Method in interface net.automatalib.alphabet.ProceduralInputAlphabet: Replaces all well-matched occurrences of procedural invocations in input with the single respective call symbol.
project(Word, Word<O>, int) - Method in interface net.automatalib.alphabet.ProceduralInputAlphabet: A generalization of ProceduralInputAlphabet.project(Word, int) which applies the transformation to the input word as well as an output word (in a symbol-wise fashion).
property(UniversalTransitionSystem<?, ?, T, ?, TP>) - Method in class net.automatalib.automaton.graph.TransitionEdge
Property(I, TP) - Constructor for class net.automatalib.automaton.graph.TransitionEdge.Property
push(int) - Method in class net.automatalib.automaton.vpa.StackContents
push(int, StackContents) - Static method in class net.automatalib.automaton.vpa.StackContents
put(S, V) - Method in class net.automatalib.automaton.helper.StateIDGrowingMapping
put(S, V) - Method in class net.automatalib.automaton.helper.StateIDStaticMapping

R

RecursiveADSNode<S,I,O,N extends RecursiveADSNode<S,I,O,N>> - Interface in net.automatalib.graph.ads: An interface representing a node in an adaptive distinguishing sequence (which essentially forms a decision tree).
removeAllTransitions(S) - Method in interface net.automatalib.automaton.MutableAutomaton
removeAllTransitions(S, I) - Method in interface net.automatalib.automaton.MutableAutomaton
removeAllTransitions(S, I) - Method in interface net.automatalib.automaton.MutableDeterministic
removeEdge(N, E) - Method in interface net.automatalib.graph.ShrinkableGraph: Removes an outgoing edge from the given node.
removeNode(N) - Method in interface net.automatalib.graph.ShrinkableGraph: Removes a node from this graph.
removeNode(N, N) - Method in interface net.automatalib.graph.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.automaton.ShrinkableAutomaton: removes a state from the automaton.
removeState(S, S) - Method in interface net.automatalib.automaton.ShrinkableAutomaton: Removes a state from the automaton.
removeTransition(S, I, T) - Method in interface net.automatalib.automaton.MutableAutomaton
removeTransition(S, I, T) - Method in interface net.automatalib.automaton.MutableDeterministic
repeatAppend(int, I) - Method in class net.automatalib.word.WordBuilder: Appends num copies of a symbol to the contents of the internal storage.
repeatAppend(int, Word) - Method in class net.automatalib.word.WordBuilder: Appends num copies of the given word to the contents of the initial storage.
RETURN - net.automatalib.alphabet.VPAlphabet.SymbolType
reverse() - Method in class net.automatalib.word.WordBuilder: Reverses the contents of the internal buffer.
ROUNDED - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeStyles

S

safeIntToState(int) - Method in class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.IntAbstraction
safeStateToInt(S) - Method in class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.IntAbstraction
SBA<S,I> - Interface in net.automatalib.automaton.procedural: A system of behavioral automata.
set(int, I) - Method in class net.automatalib.word.WordBuilder
setAccepting(S, boolean) - Method in interface net.automatalib.automaton.fsa.MutableFSA
setAtomicPropositions(N, Set<AP>) - Method in interface net.automatalib.graph.concept.MutableKripkeInterpretation
setAtomicPropositions(N, Set<AP>) - Method in interface net.automatalib.graph.MutableProceduralModalProcessGraph
setEdgeLabel(E, L) - Method in interface net.automatalib.graph.concept.MutableEdgeLabels
setEdgeProperty(E, EP) - Method in interface net.automatalib.graph.MutableGraph.IntAbstraction: Int-abstracted version of MutableGraph.setEdgeProperty(Object, Object).
setEdgeProperty(E, EP) - Method in interface net.automatalib.graph.MutableGraph: Sets the edge property of the given edge.
setFinalNode(N) - Method in interface net.automatalib.graph.MutableProceduralModalProcessGraph
setHypothesisState(S) - Method in interface net.automatalib.graph.ads.RecursiveADSNode: See RecursiveADSNode.getHypothesisState().
setInitial(S, boolean) - Method in interface net.automatalib.automaton.MutableAutomaton
setInitial(S, boolean) - Method in interface net.automatalib.automaton.MutableDeterministic
setInitialNode(N) - Method in interface net.automatalib.graph.MutableProceduralModalProcessGraph
setInitialState(int) - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.FullIntAbstraction
setInitialState(int) - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.StateIntAbstraction
setInitialState(int) - Method in interface net.automatalib.automaton.MutableDeterministic.IntAbstraction
setInitialState(S) - Method in interface net.automatalib.automaton.MutableDeterministic: Sets the initial state to the given state.
setInternal() - Method in interface net.automatalib.ts.modal.transition.MutableProceduralModalEdgeProperty
setMayOnly() - Method in interface net.automatalib.ts.modal.transition.MutableModalEdgeProperty
setMinimumUnfolds(int) - Method in interface net.automatalib.modelchecking.ModelCheckerLasso: Set the minimum number of times a loop must be unrolled.
setModalType(ModalEdgeProperty.ModalType) - Method in interface net.automatalib.ts.modal.transition.MutableModalEdgeProperty
setMultiplier(double) - Method in interface net.automatalib.modelchecking.ModelCheckerLasso: Set the multiplier for the number of times a loop of the lasso must be unrolled, relative to the size of the hypothesis.
setMust() - Method in interface net.automatalib.ts.modal.transition.MutableModalEdgeProperty
setNodeProperty(int, NP) - Method in interface net.automatalib.graph.MutableGraph.IntAbstraction: Int-abstracted version of MutableGraph.setNodeProperty(Object, Object).
setNodeProperty(N, NP) - Method in interface net.automatalib.graph.MutableGraph: Sets the node property of the given node.
setParent(N) - Method in interface net.automatalib.graph.ads.RecursiveADSNode
setProceduralType(ProceduralModalEdgeProperty.ProceduralType) - Method in interface net.automatalib.ts.modal.transition.MutableProceduralModalEdgeProperty
setProcess() - Method in interface net.automatalib.ts.modal.transition.MutableProceduralModalEdgeProperty
setSkipOutputs(Collection<? super O>) - Method in interface net.automatalib.modelchecking.ModelChecker.MealyModelChecker: Sets the outputs which should be skipped.
setStateOutput(S, O) - Method in interface net.automatalib.automaton.concept.MutableStateOutput
setStateProperty(int, SP) - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.FullIntAbstraction
setStateProperty(int, SP) - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.StateIntAbstraction
setStateProperty(int, SP) - Method in interface net.automatalib.automaton.MutableDeterministic.IntAbstraction
setStateProperty(S, Boolean) - Method in interface net.automatalib.automaton.fsa.MutableFSA
setStateProperty(S, Void) - Method in interface net.automatalib.automaton.transducer.MutableMealyMachine
setStateProperty(S, O) - Method in interface net.automatalib.automaton.transducer.MutableMooreMachine
setStateProperty(S, SP) - Method in interface net.automatalib.automaton.MutableAutomaton
setSymbol(int, I) - Method in class net.automatalib.word.WordBuilder: Sets the symbol at the given index.
setSymbol(I) - Method in interface net.automatalib.graph.ads.RecursiveADSNode: See RecursiveADSNode.getSymbol().
setTransition(int, int, int, TP) - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.FullIntAbstraction
setTransition(int, int, int, TP) - Method in interface net.automatalib.automaton.MutableDeterministic.FullIntAbstraction
setTransition(int, int, T) - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.FullIntAbstraction
setTransition(int, int, T) - Method in interface net.automatalib.automaton.MutableDeterministic.FullIntAbstraction
setTransition(int, I, int, TP) - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.StateIntAbstraction
setTransition(int, I, int, TP) - Method in interface net.automatalib.automaton.MutableDeterministic.StateIntAbstraction
setTransition(int, I, T) - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.StateIntAbstraction
setTransition(int, I, T) - Method in interface net.automatalib.automaton.MutableDeterministic.StateIntAbstraction
setTransition(S, I, S, TP) - Method in interface net.automatalib.automaton.MutableDeterministic: Sets the transition for the given state and input symbol to a newly created one.
setTransition(S, I, T) - Method in interface net.automatalib.automaton.MutableDeterministic: Sets the transition for the given state and input symbol.
setTransitionOutput(T, O) - Method in interface net.automatalib.automaton.concept.MutableTransitionOutput
setTransitionProbability(T, float) - Method in interface net.automatalib.automaton.concept.MutableProbabilistic
setTransitionProperty(S, Void) - Method in interface net.automatalib.automaton.fsa.MutableFSA
setTransitionProperty(T, Void) - Method in interface net.automatalib.automaton.transducer.MutableMooreMachine
setTransitionProperty(T, O) - Method in interface net.automatalib.automaton.transducer.MutableMealyMachine
setTransitionProperty(T, TP) - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.FullIntAbstraction
setTransitionProperty(T, TP) - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.StateIntAbstraction
setTransitionProperty(T, TP) - Method in interface net.automatalib.automaton.MutableAutomaton
setTransitionProperty(T, TP) - Method in interface net.automatalib.automaton.MutableDeterministic.IntAbstraction
setTransitions(S, I, Collection<? extends T>) - Method in interface net.automatalib.automaton.MutableAutomaton
setTransitions(S, I, Collection<? extends T>) - Method in interface net.automatalib.automaton.MutableDeterministic
SEVPA<L,I> - Interface in net.automatalib.automaton.vpa: Interface for k-SEVPAs (k-module single entry visibly push-down automata), a visibly push-down automaton of specific structure and semantics.
SEVPAGraphView<L,I> - Class in net.automatalib.automaton.vpa
SEVPAGraphView(SEVPA<L, I>) - Constructor for class net.automatalib.automaton.vpa.SEVPAGraphView
SEVPAGraphView.SevpaViewEdge<S,I> - Class in net.automatalib.automaton.vpa
SHAPE - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeAttrs
ShrinkableAutomaton<S,I,T,SP,TP> - Interface in net.automatalib.automaton: 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.automaton: A mutable deterministic automaton that also supports destructive operations, i.e., removal of states and transitions.
ShrinkableGraph<N,E> - Interface in net.automatalib.graph: A graph that supports (desirably efficient) removal of nodes and edges.
SimpleAutomaton<S,I> - Interface in net.automatalib.automaton.simple: A simple automaton, i.e., a SimpleTS with a finite number of states.
SimpleDeterministicAbstractions - Interface in net.automatalib.automaton.abstraction: Default implementations for SimpleDeterministicAutomaton abstractions.
SimpleDeterministicAbstractions.FullIntAbstraction<I,A extends SimpleDeterministicAutomaton.StateIntAbstraction> - Class in net.automatalib.automaton.abstraction: Base class implementing the default way of obtaining a SimpleDeterministicAbstractions.FullIntAbstraction, i.e., building on top of a SimpleDeterministicAbstractions.StateIntAbstraction and a mapping from integers to (concrete) input symbols.
SimpleDeterministicAbstractions.IntAbstraction<S,A extends SimpleDeterministicAutomaton<S,?>> - Class in net.automatalib.automaton.abstraction: 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().
SimpleDeterministicAbstractions.StateIntAbstraction<S,I,A extends SimpleDeterministicAutomaton<S,I>> - Class in net.automatalib.automaton.abstraction: Base class implementing the default way of obtaining a SimpleDeterministicAutomaton.StateIntAbstraction.
SimpleDeterministicAutomaton<S,I> - Interface in net.automatalib.automaton.simple: A simple deterministic automaton.
SimpleDeterministicAutomaton.FullIntAbstraction - Interface in net.automatalib.automaton.simple: Interface for an integer abstraction that abstracts both states and input symbols to integers.
SimpleDeterministicAutomaton.IntAbstraction - Interface in net.automatalib.automaton.simple: Basic interface for integer abstractions of automata.
SimpleDeterministicAutomaton.StateIntAbstraction - Interface in net.automatalib.automaton.simple: Interface for integer abstractions of an automaton that operate on non-abstracted input symbols (i.e., input symbols are of type I).
SimpleDTS<S,I> - Interface in net.automatalib.ts.simple: A simple deterministic transition system.
SimpleGraph<N> - Interface in net.automatalib.graph: The finite version of a IndefiniteSimpleGraph.
SimpleGraph.IntAbstraction - Interface in net.automatalib.graph: Basic interface for integer abstractions of graphs.
SimpleNodeIDs<N> - Class in net.automatalib.graph.helper
SimpleNodeIDs(SimpleGraph<N>) - Constructor for class net.automatalib.graph.helper.SimpleNodeIDs
SimpleStateIDs<S> - Class in net.automatalib.automaton.helper
SimpleStateIDs(SimpleAutomaton<S, ?>) - Constructor for class net.automatalib.automaton.helper.SimpleStateIDs
SimpleTS<S,I> - Interface in net.automatalib.ts.simple: A simple transition system.
size() - Method in class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.FullIntAbstraction
size() - Method in class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.IntAbstraction
size() - Method in interface net.automatalib.automaton.concept.FiniteRepresentation: Returns the number of entities required to represent this system.
size() - Method in class net.automatalib.automaton.graph.AbstractAutomatonGraphView
size() - Method in interface net.automatalib.automaton.simple.SimpleAutomaton: Retrieves the size (number of states) of this transition system.
size() - Method in interface net.automatalib.graph.ContextFreeModalProcessSystem
size() - Method in interface net.automatalib.graph.SimpleGraph: Retrieves the size (number of nodes) of this graph.
size() - Method in interface net.automatalib.ts.modal.ModalTransitionSystem
size() - Method in class net.automatalib.word.Word
size() - Method in class net.automatalib.word.WordBuilder
SOLID - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonStyles
SPA<S,I> - Interface in net.automatalib.automaton.procedural: A system of procedural automata.
spliterator() - Method in class net.automatalib.word.Word
SPMM<S,I,T,O> - Interface in net.automatalib.automaton.procedural: A system of procedural Mealy machines.
SSTGraphView(A, Collection<? extends I>) - Constructor for class net.automatalib.automaton.transducer.SubsequentialTransducer.SSTGraphView
SSTVisualizationHelper<S,I,T,O> - Class in net.automatalib.automaton.visualization
SSTVisualizationHelper(SubsequentialTransducer<S, I, T, O>) - Constructor for class net.automatalib.automaton.visualization.SSTVisualizationHelper
StackContents - Class in net.automatalib.automaton.vpa: A simplified stack implementation that allows to store integer values.
StackContents(int) - Constructor for class net.automatalib.automaton.vpa.StackContents
StackContents(int, StackContents) - Constructor for class net.automatalib.automaton.vpa.StackContents
State<L> - Class in net.automatalib.automaton.vpa: Utility class to combine an entity (e.g. a location) with stack information.
State(L, StackContents) - Constructor for class net.automatalib.automaton.vpa.State
STATE_PROPERTIES - Static variable in interface net.automatalib.automaton.fsa.FiniteStateAcceptor
stateAbstraction - Variable in class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.FullIntAbstraction
StateAsNodeIDs<S> - Class in net.automatalib.automaton.graph
StateAsNodeIDs(StateIDs<S>) - Constructor for class net.automatalib.automaton.graph.StateAsNodeIDs
StateIDGrowingMapping<S,V> - Class in net.automatalib.automaton.helper
StateIDGrowingMapping(StateIDs<S>, int) - Constructor for class net.automatalib.automaton.helper.StateIDGrowingMapping
stateIds - Variable in class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.IntAbstraction
stateIDs() - Method in interface net.automatalib.automaton.simple.SimpleAutomaton
StateIDs<S> - Interface in net.automatalib.automaton.concept: An interface for translating between automaton states and their primitive representations as integers.
StateIDStaticMapping<S,V> - Class in net.automatalib.automaton.helper
StateIDStaticMapping(StateIDs<S>, int) - Constructor for class net.automatalib.automaton.helper.StateIDStaticMapping
stateIntAbstraction() - Method in interface net.automatalib.automaton.DeterministicAutomaton
stateIntAbstraction() - Method in interface net.automatalib.automaton.MutableDeterministic
stateIntAbstraction() - Method in interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton: Retrieves a SimpleDeterministicAutomaton.StateIntAbstraction of this automaton.
stateIntAbstraction() - Method in interface net.automatalib.automaton.UniversalDeterministicAutomaton
StateIntAbstraction(A) - Constructor for class net.automatalib.automaton.abstraction.DeterministicAbstractions.StateIntAbstraction
StateIntAbstraction(A) - Constructor for class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.StateIntAbstraction
StateIntAbstraction(A) - Constructor for class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.StateIntAbstraction
StateIntAbstraction(A) - Constructor for class net.automatalib.automaton.abstraction.UniversalDeterministicAbstractions.StateIntAbstraction
StateLocalInput<S,I> - Interface in net.automatalib.automaton.concept: Concept for transition systems, that can for each state return the set of input symbols for which successor states are defined.
StateLocalInputMealyMachine<S,I,T,O> - Interface in net.automatalib.automaton.transducer
StateOutput<S,O> - Interface in net.automatalib.automaton.concept: State output concept.
StateOutputAutomaton<S,I,T,O> - Interface in net.automatalib.automaton.transducer
stateToInt(S) - Method in class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.IntAbstraction
stateToSet(S) - Static method in interface net.automatalib.ts.simple.SimpleDTS
stream() - Method in class net.automatalib.word.Word
STYLE - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonAttrs
SubsequentialTransducer<S,I,T,O> - Interface in net.automatalib.automaton.transducer: A subsequential transducer (or SST) is an DeterministicOutputTS whose state and transition properties are output-words.
SubsequentialTransducer.SSTGraphView<S,I,T,O,A extends SubsequentialTransducer<S,I,T,O>> - Class in net.automatalib.automaton.transducer
subWord(int) - Method in class net.automatalib.word.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.word.Word: Retrieves a word representing the specified subrange of this word.
subWordInternal(int, int) - Method in class net.automatalib.word.Word: Internal subword operation implementation.
suffix(int) - Method in class net.automatalib.word.Word: Retrieves a suffix of the given length.
suffixes(boolean) - Method in class net.automatalib.word.Word: Retrieves the list of all suffixes of this word.
SuffixOutput<I,D> - Interface in net.automatalib.automaton.concept: 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.
SupportsGrowingAlphabet - Interface in net.automatalib.alphabet: Interface for declaring that a data structure supports adding new alphabet symbols after its instantiation.
symMapping - Variable in class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.FullIntAbstraction

T

target - Variable in class net.automatalib.automaton.vpa.SEVPAGraphView.SevpaViewEdge
TEXLBL - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonAttrs
toIntArray(ToIntFunction<? super I>) - Method in class net.automatalib.word.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() - Method in class net.automatalib.word.WordBuilder: Creates a word from the contents of the internal storage.
toWord(int, int) - Method in class net.automatalib.word.WordBuilder: Creates a word from the given range of the contents of the internal storage.
trace(Iterable<? extends I>, List<? super O>) - Method in interface net.automatalib.ts.output.DeterministicOutputTS
trace(S, Iterable<? extends I>, List<? super O>) - Method in interface net.automatalib.automaton.transducer.SubsequentialTransducer
trace(S, Iterable<? extends I>, List<? super O>) - Method in interface net.automatalib.ts.output.DeterministicOutputTS
trace(S, Iterable<? extends I>, List<? super O>) - Method in interface net.automatalib.ts.output.DeterministicStateOutputTS
trace(S, Iterable<? extends I>, List<? super O>) - Method in interface net.automatalib.ts.output.DeterministicTransitionOutputTS
transform(Function<? super I, ? extends T>) - Method in class net.automatalib.word.Word: Transforms a word symbol-by-symbol, using the specified transformation function.
TRANSITION_PROPERTIES - Static variable in interface net.automatalib.automaton.fsa.FiniteStateAcceptor
TransitionEdge<I,T> - Class in net.automatalib.automaton.graph
TransitionEdge(I, T) - Constructor for class net.automatalib.automaton.graph.TransitionEdge
TransitionEdge.Property<I,TP> - Class in net.automatalib.automaton.graph
transitionGraphView() - Method in interface net.automatalib.automaton.FiniteAlphabetAutomaton
transitionGraphView() - Method in interface net.automatalib.automaton.UniversalFiniteAlphabetAutomaton
transitionGraphView(Collection<? extends I>) - Method in interface net.automatalib.automaton.Automaton: Obtains a graph view of the transition graph of this automaton, taking into account the specified input symbols.
transitionGraphView(Collection<? extends I>) - Method in interface net.automatalib.automaton.fsa.FiniteStateAcceptor
transitionGraphView(Collection<? extends I>) - Method in interface net.automatalib.automaton.transducer.MealyMachine
transitionGraphView(Collection<? extends I>) - Method in interface net.automatalib.automaton.transducer.MooreMachine
transitionGraphView(Collection<? extends I>) - Method in interface net.automatalib.automaton.transducer.SubsequentialTransducer
transitionGraphView(Collection<? extends I>) - Method in interface net.automatalib.automaton.UniversalAutomaton
transitionGraphView(Collection<? extends I>) - Method in interface net.automatalib.ts.modal.ModalTransitionSystem
TransitionOutput<T,O> - Interface in net.automatalib.automaton.concept: Transition output concept.
TransitionOutputAutomaton<S,I,T,O> - Interface in net.automatalib.automaton.transducer
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.alphabet.Alphabet
transToSet(T) - Static method in interface net.automatalib.ts.DeterministicTransitionSystem
trimmed() - Method in class net.automatalib.word.Word
truncate(int) - Method in class net.automatalib.word.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(String) - Constructor for exception net.automatalib.exception.UndefinedPropertyAccessException
UndirectedGraph<N,E> - Interface in net.automatalib.graph: An undirected graph.
UniversalAutomaton<S,I,T,SP,TP> - Interface in net.automatalib.automaton: A universal automaton is a generalized representation of automata, with 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.automaton.graph
UniversalAutomatonGraphView(A, Collection<? extends I>) - Constructor for class net.automatalib.automaton.graph.UniversalAutomatonGraphView
UniversalBidirectionalGraph<N,E,NP,EP> - Interface in net.automatalib.graph
UniversalDeterministicAbstractions - Interface in net.automatalib.automaton.abstraction: Default implementations for UniversalDeterministicAutomaton abstractions.
UniversalDeterministicAbstractions.FullIntAbstraction<I,T,SP,TP,A extends UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>> - Class in net.automatalib.automaton.abstraction
UniversalDeterministicAbstractions.StateIntAbstraction<S,I,T,SP,TP,A extends UniversalDeterministicAutomaton<S,I,T,SP,TP>> - Class in net.automatalib.automaton.abstraction
UniversalDeterministicAutomaton<S,I,T,SP,TP> - Interface in net.automatalib.automaton: A DeterministicAutomaton with state and transition properties.
UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP> - Interface in net.automatalib.automaton: Interface for full integer abstractions of a UniversalDeterministicAutomaton.
UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP> - Interface in net.automatalib.automaton: Base interface for integer abstractions of a UniversalDeterministicAutomaton.
UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP> - Interface in net.automatalib.automaton: Interface for state integer abstractions of a UniversalDeterministicAutomaton.
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.automaton
UniversalGraph<N,E,NP,EP> - Interface in net.automatalib.graph
UniversalGraph.IntAbstraction<E,NP,EP> - Interface in net.automatalib.graph: Interface for node integer abstractions of a UniversalGraph.
UniversalIndefiniteGraph<N,E,NP,EP> - Interface in net.automatalib.graph: 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.automaton.ShrinkableAutomaton
upcast(Word<? extends I>) - Static method in class net.automatalib.word.Word: Performs an upcast of the generic type parameter of the word.

V

valueOf(String) - Static method in enum net.automatalib.alphabet.VPAlphabet.SymbolType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.automatalib.AutomataLibProperty: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.automatalib.ts.modal.transition.ModalEdgeProperty.ModalType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.automatalib.ts.modal.transition.ProceduralModalEdgeProperty.ProceduralType: Returns the enum constant of this type with the specified name.
values() - Static method in enum net.automatalib.alphabet.VPAlphabet.SymbolType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.automatalib.AutomataLibProperty: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.automatalib.ts.modal.transition.ModalEdgeProperty.ModalType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.automatalib.ts.modal.transition.ProceduralModalEdgeProperty.ProceduralType: Returns an array containing the constants of this enum type, in the order they are declared.
VISUALIZATION_PROVIDER - net.automatalib.AutomataLibProperty: automatalib.visualization.provider.
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.MTSEdgeAttrs - 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
VPAlphabet - Interface in net.automatalib.alphabet: Alphabet definition for visible push-down automata.
VPAlphabet.SymbolType - Enum in net.automatalib.alphabet: Classifies an input symbol either as a call symbol, an internal symbol, or a return symbol.

W

WIDTH - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeAttrs
Word - Class in net.automatalib.word: A word is an ordered sequence of symbols.
Word() - Constructor for class net.automatalib.word.Word
WORD_DELIM_LEFT - net.automatalib.AutomataLibProperty: automatalib.word.delim.left.
WORD_DELIM_RIGHT - net.automatalib.AutomataLibProperty: automatalib.word.delim.right.
WORD_EMPTY_REP - net.automatalib.AutomataLibProperty: automatalib.word.empty.
WORD_SYMBOL_DELIM_LEFT - net.automatalib.AutomataLibProperty: automatalib.word.symbol.delim.left.
WORD_SYMBOL_DELIM_RIGHT - net.automatalib.AutomataLibProperty: automatalib.word.symbol.delim.right.
WORD_SYMBOL_SEPARATOR - net.automatalib.AutomataLibProperty: automatalib.word.symbol.separator.
WordBuilder - Class in net.automatalib.word: A class for dynamically building Words.
WordBuilder() - Constructor for class net.automatalib.word.WordBuilder: Constructor.
WordBuilder(int) - Constructor for class net.automatalib.word.WordBuilder: Constructor.
WordBuilder(int, I, int) - Constructor for class net.automatalib.word.WordBuilder: Constructor.
WordBuilder(int, Word) - Constructor for class net.automatalib.word.WordBuilder: Constructor.
WordBuilder(I, int) - Constructor for class net.automatalib.word.WordBuilder: Constructor.
WordBuilder(Word) - Constructor for class net.automatalib.word.WordBuilder: Constructor.
writeToArray(int, Object[], int, int) - Method in interface net.automatalib.alphabet.Alphabet
writeToArray(int, Object[], int, int) - Method in class net.automatalib.word.Word

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