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

A

AbstractAutomatonGraphView<S,A extends Automaton<S,?,?>,E> - Class in net.automatalib.automata.graphs

AbstractAutomatonGraphView(A) - Constructor for class net.automatalib.automata.graphs.AbstractAutomatonGraphView

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

Interface for finite graphs that embody the concept of node acceptance.

ACCEPTING - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeAttrs

AcceptorTS<S,I> - Interface in net.automatalib.ts.acceptors

A transition system whose semantics are defined by whether a state is "accepting" or not.

accepts(Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.DFA

accepts(Iterable<? extends I>) - Method in interface net.automatalib.ts.acceptors.AcceptorTS

Determines whether the given input word is accepted by this acceptor.

accepts(Iterable<? extends I>) - Method in interface net.automatalib.ts.acceptors.DeterministicAcceptorTS

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

addAlphabetSymbol(I) - Method in interface net.automatalib.SupportsGrowingAlphabet

Notifies the data structure that a new symbol should be added to the alphabet.

addInitialState() - Method in interface net.automatalib.automata.fsa.MutableFSA

addInitialState(boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA

addInitialState(Boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA

addInitialState() - Method in interface net.automatalib.automata.MutableAutomaton

addInitialState(SP) - Method in interface net.automatalib.automata.MutableAutomaton

addIntInitialState() - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction

addIntInitialState(SP) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction

addIntInitialState() - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction

addIntInitialState(SP) - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction

addIntInitialState() - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction

addIntInitialState(SP) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction

addIntState() - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction

addIntState(SP) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction

addIntState() - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction

addIntState(SP) - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction

addIntState() - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction

addIntState(SP) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction

addNode() - Method in interface net.automatalib.graphs.MutableGraph

Adds a new node with default properties to the graph.

addNode(NP) - Method in interface net.automatalib.graphs.MutableGraph

Adds a new node to the graph.

addState(boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA

addState() - Method in interface net.automatalib.automata.fsa.MutableFSA

addState(Boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA

addState() - Method in interface net.automatalib.automata.MutableAutomaton

addState(SP) - Method in interface net.automatalib.automata.MutableAutomaton

Adds a state to the automaton.

addSymbol(I) - Method in interface net.automatalib.words.GrowingAlphabet

Adds a new symbol to the alphabet.

addTransition(S, I, S, TP) - Method in interface net.automatalib.automata.MutableAutomaton

addTransition(S, I, T) - Method in interface net.automatalib.automata.MutableAutomaton

addTransition(S, I, T) - Method in interface net.automatalib.automata.MutableDeterministic

addTransitions(S, I, Collection<? extends T>) - Method in interface net.automatalib.automata.MutableAutomaton

adjacentTargets(N) - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph

adjacentTargets(N) - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView

adjacentTargetsIterator(N) - Method in interface net.automatalib.graphs.IndefiniteGraph

adjacentTargetsIterator(N) - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph

adjacentTargetsIterator(N) - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView

adjacentTargetsStream(N) - Method in interface net.automatalib.graphs.IndefiniteGraph

adjacentTargetsStream(N) - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph

adjacentTargetsStream(N) - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView

ADSNode<S,I,O> - Interface in net.automatalib.graphs.ads

A (simplified) node in an adaptive distinguishing sequence.

Alphabet<I> - Interface in net.automatalib.words

Class implementing an (indexed) alphabet.

append(I) - Method in class net.automatalib.words.Word

Appends a symbol to this word and returns the result as a new word.

append(I) - Method in class net.automatalib.words.WordBuilder

Appends a symbol to the contents of the internal storage.

append(List<? extends I>) - Method in class net.automatalib.words.WordBuilder

append(Word<? extends I>) - Method in class net.automatalib.words.WordBuilder

Appends a word to the contents of the internal storage.

append(Word<? extends I>...) - Method in class net.automatalib.words.WordBuilder

Appends several words to the contents of the internal storage.

append(I...) - Method in class net.automatalib.words.WordBuilder

Appends several symbols to the contents of the internal storage.

apply(S, I, T) - Method in interface net.automatalib.ts.TransitionPredicate

apply(int) - Method in interface net.automatalib.words.Alphabet

applyAsInt(I) - Method in interface net.automatalib.words.Alphabet

ARROWHEAD - Static variable in class net.automatalib.visualization.VisualizationHelper.EdgeAttrs

asList() - Method in class net.automatalib.words.Word

Retrieves a List view on the contents of this word.

asNormalGraph() - Method in interface net.automatalib.graphs.Graph

asNormalGraph() - Method in interface net.automatalib.graphs.IndefiniteGraph

asNormalGraph() - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph

asNormalGraph() - Method in interface net.automatalib.graphs.SimpleGraph

AutomataLibLocalPropertiesSource - Class in net.automatalib.settingssources

AutomataLibLocalPropertiesSource() - Constructor for class net.automatalib.settingssources.AutomataLibLocalPropertiesSource

AutomataLibPropertiesSource - Class in net.automatalib.settingssources

AutomataLibPropertiesSource() - Constructor for class net.automatalib.settingssources.AutomataLibPropertiesSource

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

AutomataLibSystemPropertiesSource() - Constructor for class net.automatalib.settingssources.AutomataLibSystemPropertiesSource

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

Basic interface for an automaton.

automaton - Variable in class net.automatalib.automata.graphs.AbstractAutomatonGraphView

automaton - Variable in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction

automaton - Variable in class net.automatalib.automata.visualization.AutomatonVisualizationHelper

AutomatonCreator<A,I> - Interface in net.automatalib.automata

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

AutomatonGraphView(A, Collection<? extends I>) - Constructor for class net.automatalib.automata.graphs.AutomatonGraphView

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

AutomatonVisualizationHelper(A) - Constructor for class net.automatalib.automata.visualization.AutomatonVisualizationHelper

B

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

Interface for bidirectional graph.

BOLD - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonStyles

BOX - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes

C

callReturnBalance(Word<I>) - Method in interface net.automatalib.words.VPDAlphabet

canonicalComparator(Comparator<? super I>) - Static method in class net.automatalib.words.Word

canonicalNext(Alphabet<I>) - Method in class net.automatalib.words.Word

Retrieves the next word after this in canonical order.

CIRCLE - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes

clear() - Method in interface net.automatalib.automata.MutableAutomaton

Removes all states and transitions.

clear() - Method in interface net.automatalib.modelchecking.ModelCheckerCache

Clears the cache.

clear() - Method in class net.automatalib.words.WordBuilder

collector() - Static method in class net.automatalib.words.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.words.Alphabet

computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.DetSuffixOutputAutomaton

computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.Output

computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.SuffixOutput

computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.DFA

computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.FiniteStateAcceptor

computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.vpda.OneSEVPA

computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.ts.acceptors.DeterministicAcceptorTS

computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.DetSuffixOutputAutomaton

computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.DFA

computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automata.transducers.StateOutputAutomaton

computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automata.transducers.TransitionOutputAutomaton

computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.DetSuffixOutputAutomaton

computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.SuffixOutput

computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.DFA

computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.FiniteStateAcceptor

computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automata.vpda.OneSEVPA

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

Concatenates this word with several other words and returns the result as a new word.

concatInternal(Word<? extends I>...) - Method in class net.automatalib.words.Word

Realizes the concatenation of this word with several other words.

connect(N, N) - Method in interface net.automatalib.graphs.MutableGraph

Inserts an edge in the graph, with the default property.

connect(N, N, EP) - Method in interface net.automatalib.graphs.MutableGraph

Inserts an edge in the graph.

containsSymbol(I) - Method in interface net.automatalib.words.Alphabet

Checks whether the given symbol is part of the alphabet.

copyTransition(S, S) - Method in interface net.automatalib.automata.fsa.MutableFSA

copyTransition(T, S) - Method in interface net.automatalib.automata.MutableAutomaton

create(A, Collection<? extends I>) - Static method in class net.automatalib.automata.graphs.AutomatonGraphView

create(A) - Static method in class net.automatalib.automata.graphs.AutomatonGraphView

create(A, Collection<? extends I>) - Static method in class net.automatalib.automata.graphs.UniversalAutomatonGraphView

create(A) - Static method in class net.automatalib.automata.graphs.UniversalAutomatonGraphView

createAutomaton(Alphabet<I>, int) - Method in interface net.automatalib.automata.AutomatonCreator

createAutomaton(Alphabet<I>) - Method in interface net.automatalib.automata.AutomatonCreator

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

createDynamicNodeMapping() - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph

createDynamicNodeMapping() - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView

createDynamicStateMapping() - Method in interface net.automatalib.automata.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.automata.graphs.AbstractAutomatonGraphView

createStaticNodeMapping() - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph

createStaticNodeMapping() - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView

createStaticStateMapping() - Method in interface net.automatalib.automata.simple.SimpleAutomaton

createStaticStateMapping() - Method in interface net.automatalib.ts.simple.SimpleTS

Creates a MutableMapping allowing to associate arbitrary data with this transition system's states.

createTransition(S, Void) - Method in interface net.automatalib.automata.fsa.MutableFSA

createTransition(S, TP) - Method in interface net.automatalib.automata.MutableAutomaton

createTransition(int, TP) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction

createTransition(int, TP) - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction

createTransition(int, TP) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction

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

D

DASHED - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonStyles

DefaultAbstraction(A, int, IntFunction<? extends I>) - Constructor for class net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

DefaultAbstraction(A) - Constructor for class net.automatalib.automata.DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction

DefaultAbstraction(A, int, IntFunction<? extends I>) - Constructor for class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction

DefaultAbstraction(A) - Constructor for class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction

DefaultAbstraction(A, int, IntFunction<? extends I>) - Constructor for class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

DefaultAbstraction(A) - Constructor for class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction

DefaultAbstraction(A) - Constructor for class net.automatalib.automata.simple.SimpleDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction

DefaultAbstraction(A, int, IntFunction<? extends I>) - Constructor for class net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

DefaultAbstraction(A) - Constructor for class net.automatalib.automata.UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction

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

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

DeterministicAcceptorTS<S,I> - Interface in net.automatalib.ts.acceptors

A deterministic acceptor transition system.

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

Basic interface for a deterministic automaton.

DeterministicAutomaton.FullIntAbstraction<T> - Interface in net.automatalib.automata

Interface for full integer abstractions of a DeterministicAutomaton.

DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,A extends DeterministicAutomaton.StateIntAbstraction<I,T>> - Class in net.automatalib.automata

DeterministicAutomaton.IntAbstraction<T> - Interface in net.automatalib.automata

Base interface for integer abstractions of a DeterministicAutomaton.

DeterministicAutomaton.StateIntAbstraction<I,T> - Interface in net.automatalib.automata

Interface for state integer abstractions of a DeterministicAutomaton.

DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,T,A extends DeterministicAutomaton<S,I,T>> - Class in net.automatalib.automata

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

An automaton which deterministically produces an output for an input word.

DetSuffixOutputAutomaton<S,I,T,D> - Interface in net.automatalib.automata.concepts

DFA<S,I> - Interface in net.automatalib.automata.fsa

Deterministic finite state acceptor.

DIAGONALS - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeStyles

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

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

DOTTED - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonStyles

DOUBLECIRCLE - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes

DOUBLEOCTAGON - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes

DOUBLEOVAL - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes

E

EdgeLabels<E,L> - Interface in net.automatalib.graphs.concepts

Edge label context, for Graphs with labeled edges.

EdgeWeights<E> - Interface in net.automatalib.graphs.concepts

Edge weights concepts.

encodeStackSym(L, I) - Method in interface net.automatalib.automata.vpda.OneSEVPA

ensureAdditionalCapacity(int) - Method in class net.automatalib.words.WordBuilder

Ensures that the internal storage has additionally the given capacity.

ensureCapacity(int) - Method in class net.automatalib.words.WordBuilder

Ensures that the internal storage has in total the given capacity.

epsilon() - Static method in class net.automatalib.words.Word

Retrieves the empty word.

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

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

equals(Object) - Method in class net.automatalib.automata.transducers.probabilistic.ProbabilisticOutput

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

F

FILLED - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeStyles

findCounterExample(A, Collection<? extends I>, P) - Method in interface net.automatalib.modelchecking.ModelChecker

Try to find counter examples for the given property and automaton.

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

FiniteKripkeStructure<N,E,AP> - Interface in net.automatalib.graphs

A Kripke structure is a graph which has sets of atomic properties assigned to its nodes.

FiniteKTS<N,E,AP,L> - Interface in net.automatalib.graphs

A finite Kripke Transition System combines the properties of both a labeled transition system and a Kripke structure.

FiniteLTS<N,E,L> - Interface in net.automatalib.graphs

A finite LTS is an IndefiniteLTS with a finite number of nodes.

FiniteStateAcceptor<S,I> - Interface in net.automatalib.automata.fsa

FiniteStateAcceptors accept regular languages.

FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>> - Class in net.automatalib.automata.fsa

firstSymbol() - Method in class net.automatalib.words.Word

Retrieves the first symbol of this word.

FIXEDSIZE - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeAttrs

flatten() - Method in class net.automatalib.words.Word

Retrieves a "flattened" version of this word, i.e., without any hierarchical structure attached.

flipAcceptance() - Method in interface net.automatalib.automata.fsa.MutableFSA

fromArray(I[], int, int) - Static method in class net.automatalib.words.Word

Creates a word from a subrange of an array of symbols.

fromCharSequence(CharSequence) - Static method in class net.automatalib.words.Word

fromLetter(I) - Static method in class net.automatalib.words.Word

Constructs a word from a single letter.

fromList(List<? extends I>) - Static method in class net.automatalib.words.Word

Creates a word from a list of symbols.

fromString(String) - Static method in class net.automatalib.words.Word

fromSymbols(I...) - Static method in class net.automatalib.words.Word

Creates a word from an array of symbols.

fromWords(Word<? extends I>...) - Static method in class net.automatalib.words.Word

fromWords(Collection<? extends Word<? extends I>>) - Static method in class net.automatalib.words.Word

FSAGraphView(A, Collection<? extends I>) - Constructor for class net.automatalib.automata.fsa.FiniteStateAcceptor.FSAGraphView

FSAVisualizationHelper<S,I> - Class in net.automatalib.automata.visualization

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

fullIntAbstraction(Alphabet<I>) - Method in interface net.automatalib.automata.DeterministicAutomaton

fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automata.DeterministicAutomaton

fullIntAbstraction(Alphabet<I>) - Method in interface net.automatalib.automata.MutableDeterministic

fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automata.MutableDeterministic

fullIntAbstraction(Alphabet<I>) - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton

Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the mapping induced by the given alphabet as the abstraction for the input symbols.

fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton

Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the given number of (abstract) inputs and the inputs mapping.

fullIntAbstraction(Alphabet<I>) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton

fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton

G

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

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

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

getAdjacentTargets(N) - Method in interface net.automatalib.graphs.IndefiniteGraph

getAdjacentTargets(N) - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph

getAdjacentTargets(N) - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView

getAtomicPropositions(N) - Method in interface net.automatalib.graphs.concepts.KripkeInterpretation

Retrieves the atomic propositions holding at the given node.

getAutomaton() - Method in interface net.automatalib.modelchecking.Lasso

Returns the original automaton from which this lasso is constructed.

getCallAlphabet() - Method in interface net.automatalib.words.VPDAlphabet

getCallSymbol(int) - Method in interface net.automatalib.words.VPDAlphabet

The Alphabet.getSymbol(int) variant for the call alphabet.

getCallSymbolIndex(I) - Method in interface net.automatalib.words.VPDAlphabet

The Alphabet.getSymbolIndex(Object) variant for the call alphabet.

getChildren() - Method in interface net.automatalib.graphs.ads.RecursiveADSNode

Returns a mapping to the child nodes of this ADS node.

getEdgeLabel(E) - Method in interface net.automatalib.graphs.concepts.EdgeLabels

Retrieves the label for an edge.

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

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

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

getEdgeProperties(N, E, N, Map<String, String>) - Method in interface net.automatalib.visualization.VisualizationHelper

Retrieves the properties for rendering a single edge.

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

getEdgeProperty(E) - Method in interface net.automatalib.graphs.UniversalIndefiniteGraph

Retrieves the property of a given edge.

getEdgesBetween(N, N) - Method in interface net.automatalib.graphs.IndefiniteGraph

getEdgeWeight(E) - Method in interface net.automatalib.graphs.concepts.EdgeWeights

Retrieves the weight of an edge.

getGlobalEdgeProperties(Map<String, String>) - Method in interface net.automatalib.visualization.VisualizationHelper

getGlobalNodeProperties(Map<String, String>) - Method in interface net.automatalib.visualization.VisualizationHelper

getHypothesisState() - Method in interface net.automatalib.graphs.ads.RecursiveADSNode

Returns the hypothesis state associated with this ADS node.

getIncomingEdges(N) - Method in interface net.automatalib.graphs.BidirectionalGraph

Retrieves the incoming edges of a given node.

getInitialLocation() - Method in interface net.automatalib.automata.vpda.OneSEVPA

getInitialNode() - Method in interface net.automatalib.graphs.concepts.InitialNode

Retrieves the initial node, or null if this graph does not have an initial node.

getInitialState() - Method in interface net.automatalib.automata.vpda.OneSEVPA

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

getInitialState() - Method in interface net.automatalib.ts.simple.SimpleDTS

Retrieves the initial state of this transition system.

getInitialStates() - Method in interface net.automatalib.ts.simple.SimpleDTS

getInitialStates() - Method in interface net.automatalib.ts.simple.SimpleTS

Retrieves the set of initial states of the transition system.

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

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

getInputAlphabet() - Method in interface net.automatalib.automata.concepts.InputAlphabetHolder

getInstance() - Static method in class net.automatalib.AutomataLibSettings

getInternalAlphabet() - Method in interface net.automatalib.words.VPDAlphabet

getInternalSuccessor(L, I) - Method in interface net.automatalib.automata.vpda.OneSEVPA

getInternalSymbol(int) - Method in interface net.automatalib.words.VPDAlphabet

The Alphabet.getSymbol(int) variant for the internal alphabet.

getInternalSymbolIndex(I) - Method in interface net.automatalib.words.VPDAlphabet

The Alphabet.getSymbolIndex(Object) variant for the internal alphabet.

getIntInitialState() - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

getIntInitialState() - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction

getIntInitialState() - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction

Retrieves the initial state of the (abstracted) automaton as an integer.

getIntSuccessor(T) - Method in class net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

getIntSuccessor(T) - Method in interface net.automatalib.automata.DeterministicAutomaton.IntAbstraction

Retrieves the (abstracted) successor of a transition object.

getIntSuccessor(T) - Method in class net.automatalib.automata.DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction

getLocalInputs(S) - Method in interface net.automatalib.automata.concepts.StateLocalInput

Returns the collection of input symbols for which a successor state is defined.

getLocation(int) - Method in interface net.automatalib.automata.vpda.OneSEVPA

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

getLocationId(L) - Method in interface net.automatalib.automata.vpda.OneSEVPA

getLocations() - Method in interface net.automatalib.automata.vpda.OneSEVPA

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 begin state of the loop is visited.

getMinimumUnfolds() - Method in interface net.automatalib.modelchecking.ModelCheckerLasso

Returns the minimum number of times a loop must be unrolled.

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.automata.graphs.StateAsNodeIDs

getNode(int) - Method in interface net.automatalib.graphs.concepts.NodeIDs

Return for a given id the node of the graph identified by it.

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

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

getNodeId(N) - Method in interface net.automatalib.graphs.concepts.NodeIDs

Returns for a given node of the graph an integer uniquely identifying the node.

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

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

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

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

getNodeProperties(N, Map<String, String>) - Method in interface net.automatalib.visualization.VisualizationHelper

Retrieves the properties for rendering a single node.

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

getNodeProperty(N) - Method in interface net.automatalib.graphs.UniversalIndefiniteGraph

Retrieves the property of a given node.

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

getNodes() - Method in interface net.automatalib.graphs.ads.ADSNode

getNodes() - Method in interface net.automatalib.graphs.SimpleGraph

Retrieves an (unmodifiable) collection of the nodes in this graph.

getNodes() - Method in class net.automatalib.graphs.SimpleGraph.NormalGraphView

getNodesForRoot(N) - Method in interface net.automatalib.graphs.ads.RecursiveADSNode

A utility method to collect all nodes of a subtree specified by the given root node.

getNumCalls() - Method in interface net.automatalib.words.VPDAlphabet

getNumInternals() - Method in interface net.automatalib.words.VPDAlphabet

getNumReturns() - Method in interface net.automatalib.words.VPDAlphabet

getNumStackSymbols() - Method in interface net.automatalib.automata.vpda.OneSEVPA

getOriginalStates(Set<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(S) - Method in class net.automatalib.automata.graphs.AutomatonGraphView

getOutgoingEdges(N) - Method in interface net.automatalib.graphs.ads.RecursiveADSNode

getOutgoingEdges(N) - Method in interface net.automatalib.graphs.IndefiniteGraph

Retrieves the outgoing edges of a given node.

getOutgoingEdges(N) - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView

getOutput() - Method in class net.automatalib.automata.transducers.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.graphs.ads.RecursiveADSNode

Returns the parent node of this node.

getPrefix() - Method in interface net.automatalib.modelchecking.Lasso

Gets the prefix of the lasso.

getProbability() - Method in class net.automatalib.automata.transducers.probabilistic.ProbabilisticOutput

getProperty() - Method in class net.automatalib.automata.graphs.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.

getReturnAlphabet() - Method in interface net.automatalib.words.VPDAlphabet

getReturnSuccessor(L, I, int) - Method in interface net.automatalib.automata.vpda.OneSEVPA

getReturnSymbol(int) - Method in interface net.automatalib.words.VPDAlphabet

The Alphabet.getSymbol(int) variant for the return alphabet.

getReturnSymbolIndex(I) - Method in interface net.automatalib.words.VPDAlphabet

The Alphabet.getSymbolIndex(Object) variant for the return alphabet.

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

Retrieves the source node of a given edge.

getStackContents() - Method in class net.automatalib.automata.vpda.State

getState(int) - Method in interface net.automatalib.automata.concepts.StateIDs

Return for a given id the state of the automaton identified by it.

getState(int) - Method in class net.automatalib.automata.helpers.SimpleStateIDs

getState(Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleDTS

Retrieves the state reachable by the given sequence of input symbols from the initial state.

getStateId(S) - Method in interface net.automatalib.automata.concepts.StateIDs

Returns for a given state of the automaton an integer uniquely identifying the state.

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

getStateOutput(S) - Method in interface net.automatalib.automata.concepts.StateOutput

getStateProperty(int) - Method in class net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

getStateProperty(int) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton.IntAbstraction

Retrieves the state property of a given (abstracted) state.

getStateProperty(int) - Method in class net.automatalib.automata.UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction

getStateProperty(S) - Method in interface net.automatalib.ts.acceptors.AcceptorTS

getStateProperty(S) - Method in interface net.automatalib.ts.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.automata.simple.SimpleAutomaton

Retrieves all states of the transition system.

getStates(Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleDTS

getStates(Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleTS

Retrieves the set of all states reachable by the given sequence of input symbols from an initial state.

getSuccessor(int, int) - Method in interface net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction

getSuccessor(int, I) - Method in interface net.automatalib.automata.DeterministicAutomaton.StateIntAbstraction

getSuccessor(int, int) - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

getSuccessor(int, int) - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction

Retrieves the (abstracted) successor for a given (abstracted) source state and (abstracted) input.

getSuccessor(int, I) - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction

getSuccessor(int, I) - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.StateIntAbstraction

Retrieves the (abstracted) successor state for a given (abstracted) source state and input symbol.

getSuccessor(S) - Method in interface net.automatalib.ts.acceptors.AcceptorTS

getSuccessor(S, I) - Method in interface net.automatalib.ts.DeterministicTransitionSystem

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

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

getSuccessor(S, Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleDTS

Retrieves the successor state reachable by the given sequence of input symbols.

getSuccessor(S, I) - Method in interface net.automatalib.ts.simple.SimpleDTS

Retrieves the successor state reachable by the given input symbol.

getSuccessor(T) - Method in interface net.automatalib.ts.TransitionSystem

Retrieves the successor state of a given transition.

getSuccessors(S, I) - Method in interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessors(S, Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleDTS

getSuccessors(S, I) - Method in interface net.automatalib.ts.simple.SimpleDTS

getSuccessors(S, Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleTS

Retrieves the set of successors for the given sequence of input symbols.

getSuccessors(Collection<? extends S>, Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleTS

Retrieves the set of all successors that can be reached from any of the given source states by the specified sequence of input symbols.

getSuccessors(S, I) - Method in interface net.automatalib.ts.simple.SimpleTS

Retrieves the set of successors for the given input symbol.

getSuccessors(S, I) - Method in interface net.automatalib.ts.TransitionSystem

getSymbol() - Method in interface net.automatalib.graphs.ads.RecursiveADSNode

Returns the input symbol associated with this ADS node.

getSymbol(int) - Method in interface net.automatalib.words.Alphabet

Returns the symbol with the given index in this alphabet.

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

Return symbol that is at the specified position.

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

Retrieves the symbol at the given index.

getSymbolIndex(I) - Method in interface net.automatalib.words.Alphabet

Returns the index of the given symbol in the alphabet.

getSymbolType(I) - Method in interface net.automatalib.words.VPDAlphabet

Returns the symbol type of the given alphabet symbol.

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

getTarget(N) - Method in interface net.automatalib.graphs.ads.RecursiveADSNode

getTarget(E) - Method in interface net.automatalib.graphs.IndefiniteGraph

Retrieves, for a given edge, its target node.

getTarget(N) - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView

getTransition(int, int) - Method in class net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

getTransition(int, int) - Method in interface net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction

Retrieves the outgoing transition for an (abstracted) source state and (abstracted) input symbol, or returns null if the automaton has no transition for this state and input.

getTransition(int, I) - Method in class net.automatalib.automata.DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction

getTransition(int, I) - Method in interface net.automatalib.automata.DeterministicAutomaton.StateIntAbstraction

Retrieves the outgoing transition for an (abstracted) source state and input symbol, or returns null if the automaton has no transition for this state and input.

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

getTransition(S, I) - Method in interface net.automatalib.ts.DeterministicTransitionSystem

Retrieves the transition triggered by the given input symbol.

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

getTransitionOutput(T) - Method in interface net.automatalib.automata.concepts.TransitionOutput

getTransitionProbability(T) - Method in interface net.automatalib.automata.concepts.Probabilistic

getTransitionProperty(T) - Method in interface net.automatalib.automata.transducers.probabilistic.ProbabilisticMealyMachine

getTransitionProperty(T) - Method in class net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

getTransitionProperty(int, int) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction

getTransitionProperty(T) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton.IntAbstraction

Retrieves the transition property of a given transition.

getTransitionProperty(T) - Method in class net.automatalib.automata.UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction

getTransitionProperty(int, I) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton.StateIntAbstraction

getTransitionProperty(S) - Method in interface net.automatalib.ts.acceptors.AcceptorTS

getTransitionProperty(T) - Method in interface net.automatalib.ts.output.MealyTransitionSystem

getTransitionProperty(S, I) - Method in interface net.automatalib.ts.output.MooreTransitionSystem

getTransitionProperty(T) - 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 interface net.automatalib.ts.UniversalTransitionSystem

Retrieves the transition property for the given state.

getTransitions(S, I) - Method in interface net.automatalib.ts.DeterministicTransitionSystem

getTransitions(S, I) - Method in interface net.automatalib.ts.TransitionSystem

Retrieves the transitions that can be triggered by the given input symbol.

getUnfolds() - Method in interface net.automatalib.modelchecking.Lasso

Returns the number of times the loop is unfolded.

getVisualizationHelper() - Method in class net.automatalib.automata.fsa.FiniteStateAcceptor.FSAGraphView

getVisualizationHelper() - Method in class net.automatalib.automata.graphs.AutomatonGraphView

getVisualizationHelper() - Method in class net.automatalib.automata.transducers.MealyMachine.MealyGraphView

getVisualizationHelper() - Method in class net.automatalib.automata.transducers.MooreMachine.MooreGraphView

getVisualizationHelper() - Method in interface net.automatalib.graphs.ads.RecursiveADSNode

getVisualizationHelper() - Method in interface net.automatalib.graphs.Graph

getVisualizationHelper() - Method in interface net.automatalib.graphs.SimpleGraph

getWord() - Method in interface net.automatalib.modelchecking.Lasso

Gets the finite representation of the lasso.

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

Graph interface.

graphView() - Method in interface net.automatalib.automata.FiniteAlphabetAutomaton

graphView() - Method in interface net.automatalib.graphs.concepts.GraphViewable

GraphViewable - Interface in net.automatalib.graphs.concepts

GrowingAlphabet<I> - Interface in net.automatalib.words

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<I>) - Constructor for exception net.automatalib.exception.GrowingAlphabetNotSupportedException

H

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

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

hashCode() - Method in class net.automatalib.automata.transducers.probabilistic.ProbabilisticOutput

hashCode() - Method in class net.automatalib.words.Word

HEIGHT - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeAttrs

I

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

Interface for an (indefinite) graph structure.

IndefiniteLTS<N,E,L> - Interface in net.automatalib.graphs

A labeled transition system is a graph with labels attached to its edges.

IndefiniteSimpleGraph<N> - Interface in net.automatalib.graphs

A simplified interface for indefinite graphs, exposing only adjacency information, but no further information about edge objects.

IndefiniteSimpleGraph.NormalGraphView<N,G extends IndefiniteSimpleGraph<N>> - Class in net.automatalib.graphs

INITIAL - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeAttrs

InitialNode<N> - Interface in net.automatalib.graphs.concepts

Initial node concept.

initialNodes() - Method in class net.automatalib.automata.visualization.AutomatonVisualizationHelper

initialNodes() - Method in class net.automatalib.visualization.DefaultVisualizationHelper

InputAlphabetHolder<I> - Interface in net.automatalib.automata.concepts

inputs - Variable in class net.automatalib.automata.graphs.AutomatonGraphView

intToState(int) - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction

intToSym(int) - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

INVALID_STATE - Static variable in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction

Representative for an invalid state.

INVISIBLE - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeStyles

isAccepting(Collection<? extends S>) - Method in interface net.automatalib.automata.fsa.DFA

isAccepting(Collection<? extends S>) - Method in interface net.automatalib.automata.fsa.NFA

isAccepting(State<L>) - Method in interface net.automatalib.automata.vpda.OneSEVPA

isAccepting(S) - Method in interface net.automatalib.ts.acceptors.AcceptorTS

Checks whether the given state is accepting.

isAccepting(Collection<? extends S>) - Method in interface net.automatalib.ts.acceptors.AcceptorTS

isAccepting(Collection<? extends S>) - Method in interface net.automatalib.ts.acceptors.DeterministicAcceptorTS

isAcceptingLocation(L) - Method in interface net.automatalib.automata.vpda.OneSEVPA

isAcceptingNode(N) - Method in interface net.automatalib.graphs.concepts.NodeAcceptance

Checks whether a node is an accepting node.

isCallMatched(Word<I>) - Method in interface net.automatalib.words.VPDAlphabet

isCallSymbol(I) - Method in interface net.automatalib.words.VPDAlphabet

isConnected(N, N) - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph

isConnected(N, N) - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView

isEmpty() - Method in class net.automatalib.words.Word

Checks if this word is empty, i.e., contains no symbols.

isInternalSymbol(I) - Method in interface net.automatalib.words.VPDAlphabet

isLeaf() - Method in interface net.automatalib.graphs.ads.RecursiveADSNode

A utility method indicating whether this node represents a leaf of an ADS (and therefore referencing a hypothesis state) or an inner node (and therefore referencing an input symbol).

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

Checks if this word is a prefix of another word.

isReturnMatched(Word<I>) - Method in interface net.automatalib.words.VPDAlphabet

isReturnSymbol(I) - Method in interface net.automatalib.words.VPDAlphabet

isSuffixOf(Word<?>) - Method in class net.automatalib.words.Word

Checks if this word is a suffix of another word.

isWellMatched(Word<I>) - Method in interface net.automatalib.words.VPDAlphabet

iterator() - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraphView

iterator() - Method in interface net.automatalib.automata.simple.SimpleAutomaton

iterator() - Method in interface net.automatalib.graphs.SimpleGraph

iterator() - Method in class net.automatalib.graphs.SimpleGraph.NormalGraphView

iterator() - Method in class net.automatalib.words.Word

K

KripkeInterpretation<N,AP> - Interface in net.automatalib.graphs.concepts

A Kripke interpretation for a graph.

L

LABEL - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonAttrs

Lasso<I,D> - Interface in net.automatalib.modelchecking

A lasso is an single infinite word.

Lasso.DFALasso<I> - 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.words.Word

Retrieves the last symbol of this word.

length() - Method in class net.automatalib.words.Word

Retrieves the length of this word.

longestCommonPrefix(Word<?>) - Method in class net.automatalib.words.Word

Determines the longest common prefix of this word and another word.

longestCommonSuffix(Word<?>) - Method in class net.automatalib.words.Word

Determines the longest common suffix of this word and another word.

longestWellMatchedPrefix(Word<I>) - Method in interface net.automatalib.words.VPDAlphabet

longestWellMatchedSuffix(Word<I>) - Method in interface net.automatalib.words.VPDAlphabet

M

MealyGraphView(A, Collection<? extends I>) - Constructor for class net.automatalib.automata.transducers.MealyMachine.MealyGraphView

MealyMachine<S,I,T,O> - Interface in net.automatalib.automata.transducers

MealyMachine.MealyGraphView<S,I,T,O,A extends MealyMachine<S,I,T,O>> - Class in net.automatalib.automata.transducers

MealyTransitionSystem<S,I,T,O> - Interface in net.automatalib.ts.output

MealyVisualizationHelper<S,I,T,O> - Class in net.automatalib.automata.visualization

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

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.automata.transducers.MooreMachine.MooreGraphView

MooreMachine<S,I,T,O> - Interface in net.automatalib.automata.transducers

MooreMachine.MooreGraphView<S,I,T,O,A extends MooreMachine<S,I,T,O>> - Class in net.automatalib.automata.transducers

MooreTransitionSystem<S,I,T,O> - Interface in net.automatalib.ts.output

MooreVisualizationHelper<S,I,T,O> - Class in net.automatalib.automata.visualization

MooreVisualizationHelper(MooreMachine<S, I, T, O>) - Constructor for class net.automatalib.automata.visualization.MooreVisualizationHelper

MutableAutomaton<S,I,T,SP,TP> - Interface in net.automatalib.automata

A mutable automaton.

MutableDeterministic<S,I,T,SP,TP> - Interface in net.automatalib.automata

Interface for a mutable deterministic automaton.

MutableDeterministic.FullIntAbstraction<T,SP,TP> - Interface in net.automatalib.automata

MutableDeterministic.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends MutableDeterministic.StateIntAbstraction<I,T,SP,TP>> - Class in net.automatalib.automata

MutableDeterministic.IntAbstraction<T,SP,TP> - Interface in net.automatalib.automata

MutableDeterministic.StateIntAbstraction<I,T,SP,TP> - Interface in net.automatalib.automata

MutableDeterministic.StateIntAbstraction.DefaultAbstraction<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> - Class in net.automatalib.automata

MutableDFA<S,I> - Interface in net.automatalib.automata.fsa

MutableFSA<S,I> - Interface in net.automatalib.automata.fsa

MutableGraph<N,E,NP,EP> - Interface in net.automatalib.graphs

A graph that allows modification.

MutableMealyMachine<S,I,T,O> - Interface in net.automatalib.automata.transducers

MutableMooreMachine<S,I,T,O> - Interface in net.automatalib.automata.transducers

MutableNFA<S,I> - Interface in net.automatalib.automata.fsa

MutableProbabilistic<T> - Interface in net.automatalib.automata.concepts

MutableProbabilisticMealy<S,I,T,O> - Interface in net.automatalib.automata.transducers.probabilistic

MutableStateOutput<S,O> - Interface in net.automatalib.automata.concepts

MutableTransitionOutput<T,O> - Interface in net.automatalib.automata.concepts

N

net.automatalib - package net.automatalib

The main AutomataLib package.

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

This package contains the basic interfaces for automata.

net.automatalib.automata.concepts - package net.automatalib.automata.concepts

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

net.automatalib.automata.graphs - package net.automatalib.automata.graphs

net.automatalib.automata.helpers - package net.automatalib.automata.helpers

net.automatalib.automata.simple - package net.automatalib.automata.simple

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

net.automatalib.automata.transducers.probabilistic - package net.automatalib.automata.transducers.probabilistic

net.automatalib.automata.visualization - package net.automatalib.automata.visualization

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

net.automatalib.exception - package net.automatalib.exception

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

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

net.automatalib.graphs.concepts - package net.automatalib.graphs.concepts

net.automatalib.graphs.helpers - package net.automatalib.graphs.helpers

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

net.automatalib.settingssources - package net.automatalib.settingssources

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

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

net.automatalib.ts.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

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

NFA<S,I> - Interface in net.automatalib.automata.fsa

Nondeterministic finite state acceptor.

NodeAcceptance<N> - Interface in net.automatalib.graphs.concepts

Node acceptance concept, for Graphs that represent a structure for deciding acceptance or rejection.

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

NodeIDs<N> - Interface in net.automatalib.graphs.concepts

An interface for translating between graph nodes and their primitive representations as integers.

nodeIDs() - Method in interface net.automatalib.graphs.SimpleGraph

nodesStream() - Method in interface net.automatalib.graphs.SimpleGraph

nodesStream() - Method in class net.automatalib.graphs.SimpleGraph.NormalGraphView

NONE - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes

NormalGraphView(G) - Constructor for class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView

NormalGraphView(G) - Constructor for class net.automatalib.graphs.SimpleGraph.NormalGraphView

numInputs - Variable in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

numInputs() - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

numInputs() - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction

Retrieves the number of input symbols.

O

OCTAGON - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes

OneSEVPA<L,I> - Interface in net.automatalib.automata.vpda

Interface for the 1-SEVPA (1-single entry visibly push-down automaton), a visibly push-down automaton of specific structure and semantics.

outgoingEdges(N) - Method in interface net.automatalib.graphs.IndefiniteGraph

outgoingEdgesIterator(N) - Method in interface net.automatalib.graphs.IndefiniteGraph

outgoingEdgesStream(N) - Method in interface net.automatalib.graphs.IndefiniteGraph

Output<I,D> - Interface in net.automatalib.automata.concepts

Feature for automata that compute an output.

OutputAutomaton<S,I,T,D> - Interface in net.automatalib.automata.concepts

OVAL - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes

P

parallelStream() - Method in class net.automatalib.words.Word

peek() - Method in class net.automatalib.automata.vpda.StackContents

PENWIDTH - Static variable in class net.automatalib.visualization.VisualizationHelper.EdgeAttrs

pop() - Method in class net.automatalib.automata.vpda.StackContents

powersetView() - Method in interface net.automatalib.ts.TransitionSystem

Retrieves a "powerset view" of this transition system.

PowersetViewTS<S,I,T,OS,OT> - Interface in net.automatalib.ts

prefix(int) - Method in class net.automatalib.words.Word

Retrieves a prefix of the given length.

prefixes(boolean) - Method in class net.automatalib.words.Word

Retrieves the list of all prefixes of this word.

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

Prepends a symbol to this word and returns the result as a new word.

print(Appendable) - Method in class net.automatalib.words.Word

Probabilistic<T> - Interface in net.automatalib.automata.concepts

ProbabilisticMealyMachine<S,I,T,O> - Interface in net.automatalib.automata.transducers.probabilistic

ProbabilisticOutput<O> - Class in net.automatalib.automata.transducers.probabilistic

ProbabilisticOutput(float, O) - Constructor for class net.automatalib.automata.transducers.probabilistic.ProbabilisticOutput

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

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

push(int) - Method in class net.automatalib.automata.vpda.StackContents

push(int, StackContents) - Static method in class net.automatalib.automata.vpda.StackContents

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

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

R

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

An interface representing a node in an adaptive distinguishing sequence (which essentially forms a decision tree).

removeAllTransitions(S, I) - Method in interface net.automatalib.automata.MutableAutomaton

removeAllTransitions(S) - Method in interface net.automatalib.automata.MutableAutomaton

removeAllTransitions(S, I) - Method in interface net.automatalib.automata.MutableDeterministic

removeEdge(N, E) - Method in interface net.automatalib.graphs.ShrinkableGraph

Removes an outgoing edge from the given node.

removeNode(N) - Method in interface net.automatalib.graphs.ShrinkableGraph

Removes a node from this graph.

removeNode(N, N) - Method in interface net.automatalib.graphs.ShrinkableGraph

Removes a node from this graph, and redirects all incoming edges to the given replacement node (node that outgoing edges are still removed).

removeState(S) - Method in interface net.automatalib.automata.ShrinkableAutomaton

removes a state from the automaton.

removeState(S, S) - Method in interface net.automatalib.automata.ShrinkableAutomaton

Removes a state from the automaton.

removeTransition(S, I, T) - Method in interface net.automatalib.automata.MutableAutomaton

removeTransition(S, I, T) - Method in interface net.automatalib.automata.MutableDeterministic

repeatAppend(int, Word<I>) - Method in class net.automatalib.words.WordBuilder

Appends num copies of the given word to the contents of the initial storage.

repeatAppend(int, I) - Method in class net.automatalib.words.WordBuilder

Appends num copies of a symbol to the contents of the internal storage.

reverse() - Method in class net.automatalib.words.WordBuilder

Reverses the contents of the internal buffer.

ROUNDED - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeStyles

S

safeIntToState(int) - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction

safeStateToInt(S) - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction

set(int, I) - Method in class net.automatalib.words.WordBuilder

setAccepting(S, boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA

setEdgeProperty(E, EP) - Method in interface net.automatalib.graphs.MutableGraph

setHypothesisState(S) - Method in interface net.automatalib.graphs.ads.RecursiveADSNode

See RecursiveADSNode.getHypothesisState().

setInitial(S, boolean) - Method in interface net.automatalib.automata.MutableAutomaton

setInitial(S, boolean) - Method in interface net.automatalib.automata.MutableDeterministic

setInitialState(int) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction

setInitialState(int) - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction

setInitialState(S) - Method in interface net.automatalib.automata.MutableDeterministic

Sets the initial state to the given state.

setInitialState(int) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction

setMinimumUnfolds(int) - Method in interface net.automatalib.modelchecking.ModelCheckerLasso

Set the minimum number of times a loop must be unrolled.

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.

setNodeProperty(N, NP) - Method in interface net.automatalib.graphs.MutableGraph

setParent(N) - Method in interface net.automatalib.graphs.ads.RecursiveADSNode

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.automata.concepts.MutableStateOutput

setStateProperty(S, Boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA

setStateProperty(S, SP) - Method in interface net.automatalib.automata.MutableAutomaton

setStateProperty(int, SP) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction

setStateProperty(int, SP) - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction

setStateProperty(int, SP) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction

setStateProperty(S, Void) - Method in interface net.automatalib.automata.transducers.MutableMealyMachine

setStateProperty(S, O) - Method in interface net.automatalib.automata.transducers.MutableMooreMachine

setSymbol(I) - Method in interface net.automatalib.graphs.ads.RecursiveADSNode

See RecursiveADSNode.getSymbol().

setSymbol(int, I) - Method in class net.automatalib.words.WordBuilder

Sets the symbol at the given index.

setTransition(int, int, T) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction

setTransition(int, int, int, TP) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction

setTransition(int, int, T) - Method in interface net.automatalib.automata.MutableDeterministic.FullIntAbstraction

setTransition(int, int, int, TP) - Method in interface net.automatalib.automata.MutableDeterministic.FullIntAbstraction

setTransition(S, I, T) - Method in interface net.automatalib.automata.MutableDeterministic

Sets the transition for the given state and input symbol.

setTransition(S, I, S, TP) - Method in interface net.automatalib.automata.MutableDeterministic

Sets the transition for the given state and input symbol to a newly created one.

setTransition(int, I, T) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction

setTransition(int, I, int, TP) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction

setTransition(int, I, T) - Method in interface net.automatalib.automata.MutableDeterministic.StateIntAbstraction

setTransition(int, I, int, TP) - Method in interface net.automatalib.automata.MutableDeterministic.StateIntAbstraction

setTransitionOutput(T, O) - Method in interface net.automatalib.automata.concepts.MutableTransitionOutput

setTransitionProbability(T, float) - Method in interface net.automatalib.automata.concepts.MutableProbabilistic

setTransitionProperty(S, Void) - Method in interface net.automatalib.automata.fsa.MutableFSA

setTransitionProperty(T, TP) - Method in interface net.automatalib.automata.MutableAutomaton

setTransitionProperty(T, TP) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction

setTransitionProperty(T, TP) - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction

setTransitionProperty(T, TP) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction

setTransitionProperty(T, O) - Method in interface net.automatalib.automata.transducers.MutableMealyMachine

setTransitionProperty(T, Void) - Method in interface net.automatalib.automata.transducers.MutableMooreMachine

setTransitions(S, I, Collection<? extends T>) - Method in interface net.automatalib.automata.MutableAutomaton

setTransitions(S, I, Collection<? extends T>) - Method in interface net.automatalib.automata.MutableDeterministic

SHAPE - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeAttrs

ShrinkableAutomaton<S,I,T,SP,TP> - Interface in net.automatalib.automata

A mutable automaton that also supports destructive modifications, i.e., removal of states and transitions.

ShrinkableDeterministic<S,I,T,SP,TP> - Interface in net.automatalib.automata

A mutable deterministic automaton that also supports destructive operations, i.e., removal of states and transitions.

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

A graph that supports (desirably efficient) removal of nodes and edges.

SimpleAutomaton<S,I> - Interface in net.automatalib.automata.simple

A simple automaton, i.e., a SimpleTS with a finite number of states.

SimpleDeterministicAutomaton<S,I> - Interface in net.automatalib.automata.simple

A simple deterministic automaton.

SimpleDeterministicAutomaton.FullIntAbstraction - Interface in net.automatalib.automata.simple

Interface for an integer abstraction that abstracts both states and input symbols to integers.

SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,A extends SimpleDeterministicAutomaton.StateIntAbstraction<I>> - Class in net.automatalib.automata.simple

Base class implementing the default way of obtaining a SimpleDeterministicAutomaton.FullIntAbstraction, i.e., building on top of a SimpleDeterministicAutomaton.StateIntAbstraction and a mapping from integers to (concrete) input symbols.

SimpleDeterministicAutomaton.IntAbstraction - Interface in net.automatalib.automata.simple

Basic interface for integer abstractions of automata.

SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction<S,A extends SimpleDeterministicAutomaton<S,?>> - Class in net.automatalib.automata.simple

Base class implementing the default way of obtaining an integer abstraction from an automaton, i.e., by mapping states to integers and vice versa using the StateIDs mapping obtained via SimpleAutomaton.stateIDs().

SimpleDeterministicAutomaton.StateIntAbstraction<I> - Interface in net.automatalib.automata.simple

Interface for integer abstractions of an automaton that operate on non-abstracted input symbols (i.e., input symbols are of type I).

SimpleDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,A extends SimpleDeterministicAutomaton<S,I>> - Class in net.automatalib.automata.simple

Base class implementing the default way of obtaining a SimpleDeterministicAutomaton.StateIntAbstraction.

SimpleDTS<S,I> - Interface in net.automatalib.ts.simple

A simple deterministic transition system.

simpleGraph - Variable in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView

SimpleGraph<N> - Interface in net.automatalib.graphs

The finite version of a IndefiniteSimpleGraph.

SimpleGraph.NormalGraphView<N,G extends SimpleGraph<N>> - Class in net.automatalib.graphs

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

SimpleNodeIDs(SimpleGraph<N>) - Constructor for class net.automatalib.graphs.helpers.SimpleNodeIDs

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

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

SimpleTS<S,I> - Interface in net.automatalib.ts.simple

A simple transition system.

size() - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraphView

size() - Method in interface net.automatalib.automata.simple.SimpleAutomaton

Retrieves the size (number of states) of this transition system.

size() - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

size() - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction

size() - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction

Retrieves the number of states of the (abstracted) automaton.

size() - Method in interface net.automatalib.automata.vpda.OneSEVPA

size() - Method in class net.automatalib.graphs.SimpleGraph.NormalGraphView

size() - Method in interface net.automatalib.graphs.SimpleGraph

Retrieves the number of nodes of this graph.

size() - Method in class net.automatalib.words.Word

size() - Method in class net.automatalib.words.WordBuilder

SOLID - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonStyles

spliterator() - Method in class net.automatalib.words.Word

StackContents - Class in net.automatalib.automata.vpda

A simplified stack implementation that allows to store integer values.

StackContents(int) - Constructor for class net.automatalib.automata.vpda.StackContents

StackContents(int, StackContents) - Constructor for class net.automatalib.automata.vpda.StackContents

State<L> - Class in net.automatalib.automata.vpda

Utility class to combine an entity (e.g. a location) with stack information.

State(L, StackContents) - Constructor for class net.automatalib.automata.vpda.State

STATE_PROPERTIES - Static variable in interface net.automatalib.automata.fsa.FiniteStateAcceptor

stateAbstraction - Variable in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

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

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

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

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

StateIDs<S> - Interface in net.automatalib.automata.concepts

An interface for translating between automaton states and their primitive representations as integers.

stateIDs() - Method in interface net.automatalib.automata.simple.SimpleAutomaton

stateIds - Variable in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction

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

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

stateIntAbstraction() - Method in interface net.automatalib.automata.DeterministicAutomaton

stateIntAbstraction() - Method in interface net.automatalib.automata.MutableDeterministic

stateIntAbstraction() - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton

Retrieves a SimpleDeterministicAutomaton.StateIntAbstraction of this automaton.

stateIntAbstraction() - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton

StateLocalInput<S,I> - Interface in net.automatalib.automata.concepts

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

StateOutput<S,O> - Interface in net.automatalib.automata.concepts

State output concept.

StateOutputAutomaton<S,I,T,O> - Interface in net.automatalib.automata.transducers

stateToInt(S) - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction

stateToSet(S) - Static method in interface net.automatalib.ts.simple.SimpleDTS

stream() - Method in class net.automatalib.words.Word

STYLE - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonAttrs

subWord(int) - Method in class net.automatalib.words.Word

Retrieves the subword of this word starting at the given index and extending until the end of this word.

subWord(int, int) - Method in class net.automatalib.words.Word

Retrieves a word representing the specified subrange of this word.

subWordInternal(int, int) - Method in class net.automatalib.words.Word

Internal subword operation implementation.

suffix(int) - Method in class net.automatalib.words.Word

Retrieves a suffix of the given length.

suffixes(boolean) - Method in class net.automatalib.words.Word

Retrieves the list of all suffixes of this word.

SuffixOutput<I,D> - Interface in net.automatalib.automata.concepts

Feature for automata that compute a suffix-observable output function, i.e., they compute an output containing a part that can be attributed to a suffix of the input.

SupportsGrowingAlphabet<I> - Interface in net.automatalib

Interface for declaring that a data structure supports adding new alphabet symbols after its instantiation.

symMapping - Variable in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

T

TEXLBL - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonAttrs

toIntArray(ToIntFunction<? super I>) - Method in class net.automatalib.words.Word

Transforms this word into an array of integers, using the specified function for translating an individual symbol to an integer.

toUnaryPredicate(S, I) - Method in interface net.automatalib.ts.TransitionPredicate

toWord(int, int) - Method in class net.automatalib.words.WordBuilder

Creates a word from the given range of the contents of the internal storage.

toWord() - Method in class net.automatalib.words.WordBuilder

Creates a word from the contents of the internal storage.

trace(Iterable<? extends I>, List<? super O>) - Method in interface net.automatalib.ts.output.DeterministicOutputTS

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

Transforms a word symbol-by-symbol, using the specified transformation function.

TRANSITION_PROPERTIES - Static variable in interface net.automatalib.automata.fsa.FiniteStateAcceptor

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

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

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

transitionGraphView(Collection<? extends I>) - Method in interface net.automatalib.automata.Automaton

Obtains a graph view of the transition graph of this automaton, taking into account the specified input symbols.

transitionGraphView() - Method in interface net.automatalib.automata.FiniteAlphabetAutomaton

transitionGraphView(Collection<? extends I>) - Method in interface net.automatalib.automata.fsa.FiniteStateAcceptor

transitionGraphView(Collection<? extends I>) - Method in interface net.automatalib.automata.transducers.MealyMachine

transitionGraphView(Collection<? extends I>) - Method in interface net.automatalib.automata.transducers.MooreMachine

transitionGraphView(Collection<? extends I>) - Method in interface net.automatalib.automata.UniversalAutomaton

transitionGraphView() - Method in interface net.automatalib.automata.UniversalFiniteAlphabetAutomaton

TransitionOutput<T,O> - Interface in net.automatalib.automata.concepts

Transition output concept.

TransitionOutputAutomaton<S,I,T,O> - Interface in net.automatalib.automata.transducers

TransitionPredicate<S,I,T> - Interface in net.automatalib.ts

TransitionSystem<S,I,T> - Interface in net.automatalib.ts

Transition system interface.

translateFrom(Alphabet<I2>) - Method in interface net.automatalib.words.Alphabet

transToSet(T) - Static method in interface net.automatalib.ts.DeterministicTransitionSystem

trimmed() - Method in class net.automatalib.words.Word

truncate(int) - Method in class net.automatalib.words.WordBuilder

Truncates the contents of the initial storage to the given length.

U

UndefinedPropertyAccessException - Exception in net.automatalib.exception

This specialized exception can be thrown if during the traversal of an automaton or transition system an undefined property (e.g. a state or a transition output) is accessed, that is otherwise required for returning a valid result.

UndefinedPropertyAccessException() - Constructor for exception net.automatalib.exception.UndefinedPropertyAccessException

UndefinedPropertyAccessException(String) - Constructor for exception net.automatalib.exception.UndefinedPropertyAccessException

UndefinedPropertyAccessException(String, Throwable) - Constructor for exception net.automatalib.exception.UndefinedPropertyAccessException

UndefinedPropertyAccessException(Throwable) - Constructor for exception net.automatalib.exception.UndefinedPropertyAccessException

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

An undirected graph.

UniversalAutomaton<S,I,T,SP,TP> - Interface in net.automatalib.automata

A universal automaton is a generalized representation of automata, with a unified access to the properties of states and transitions.

UniversalAutomatonGraphView<S,I,T,SP,TP,A extends UniversalAutomaton<S,I,T,SP,TP>> - Class in net.automatalib.automata.graphs

UniversalAutomatonGraphView(A, Collection<? extends I>) - Constructor for class net.automatalib.automata.graphs.UniversalAutomatonGraphView

UniversalDeterministicAutomaton<S,I,T,SP,TP> - Interface in net.automatalib.automata

A DeterministicAutomaton with state and transition properties.

UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP> - Interface in net.automatalib.automata

Interface for full integer abstractions of a UniversalDeterministicAutomaton.

UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>> - Class in net.automatalib.automata

UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP> - Interface in net.automatalib.automata

Base interface for integer abstractions of a UniversalDeterministicAutomaton.

UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP> - Interface in net.automatalib.automata

Interface for state integer abstractions of a UniversalDeterministicAutomaton.

UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,T,SP,TP,A extends UniversalDeterministicAutomaton<S,I,T,SP,TP>> - Class in net.automatalib.automata

UniversalDTS<S,I,T,SP,TP> - Interface in net.automatalib.ts

Universal deterministic transition system.

UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP> - Interface in net.automatalib.automata

UniversalGraph<N,E,NP,EP> - Interface in net.automatalib.graphs

UniversalIndefiniteGraph<N,E,NP,EP> - Interface in net.automatalib.graphs

A universal graph, i.e., with (possibly empty) node and edge properties.

UniversalTransitionSystem<S,I,T,SP,TP> - Interface in net.automatalib.ts

A "universal" transition system, which captures the possibility to assign properties to states and transitions.

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

upcast(Word<? extends I>) - Static method in class net.automatalib.words.Word

Performs an upcast of the generic type parameter of the word.

V

valueOf(String) - Static method in enum net.automatalib.AutomataLibProperty

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.automatalib.words.VPDAlphabet.SymbolType

Returns the enum constant of this type with the specified name.

values() - Static method in enum net.automatalib.AutomataLibProperty

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.automatalib.words.VPDAlphabet.SymbolType

Returns an array containing the constants of this enum type, in the order they are declared.

VisualizationHelper<N,E> - Interface in net.automatalib.visualization

Helper interface for providing additional styling properties for plotting graphs.

VisualizationHelper.CommonAttrs - Class in net.automatalib.visualization

VisualizationHelper.CommonStyles - Class in net.automatalib.visualization

VisualizationHelper.EdgeAttrs - Class in net.automatalib.visualization

VisualizationHelper.EdgeStyles - Class in net.automatalib.visualization

VisualizationHelper.NodeAttrs - Class in net.automatalib.visualization

VisualizationHelper.NodeShapes - Class in net.automatalib.visualization

VisualizationHelper.NodeStyles - Class in net.automatalib.visualization

VPDAlphabet<I> - Interface in net.automatalib.words

Alphabet definition for visible push-down automata.

VPDAlphabet.SymbolType - Enum in net.automatalib.words

W

WIDTH - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeAttrs

Word<I> - Class in net.automatalib.words

A word is an ordered sequence of symbols.

Word() - Constructor for class net.automatalib.words.Word

WordBuilder<I> - Class in net.automatalib.words

A class for dynamically building Words.

WordBuilder() - Constructor for class net.automatalib.words.WordBuilder

Constructor.

WordBuilder(int) - Constructor for class net.automatalib.words.WordBuilder

Constructor.

WordBuilder(I, int) - Constructor for class net.automatalib.words.WordBuilder

Constructor.

WordBuilder(int, I, int) - Constructor for class net.automatalib.words.WordBuilder

Constructor.

WordBuilder(Word<I>) - Constructor for class net.automatalib.words.WordBuilder

Constructor.

WordBuilder(int, Word<I>) - Constructor for class net.automatalib.words.WordBuilder

Constructor.

writeToArray(int, Object[], int, int) - Method in interface net.automatalib.words.Alphabet

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

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