Skip navigation links
A B C D E F G H I K L M N O P Q R S T U V W X _ 

A

AbstractAcceptorTS<S,I> - Class in net.automatalib.ts.acceptors.abstractimpl
 
AbstractAcceptorTS() - Constructor for class net.automatalib.ts.acceptors.abstractimpl.AbstractAcceptorTS
 
AbstractAlphabet<I> - Class in net.automatalib.words.abstractimpl
 
AbstractAlphabet() - Constructor for class net.automatalib.words.abstractimpl.AbstractAlphabet
 
AbstractAutomaton<S,I,T> - Class in net.automatalib.automata.abstractimpl
Abstract base class for automata.
AbstractAutomaton() - Constructor for class net.automatalib.automata.abstractimpl.AbstractAutomaton
 
AbstractAutomatonGraph<S,I,T,SP,TP> - Class in net.automatalib.automata.graphs
 
AbstractAutomatonGraph() - Constructor for class net.automatalib.automata.graphs.AbstractAutomatonGraph
 
AbstractBricsAutomaton - Class in net.automatalib.brics
Base class for Brics automata adapters.
AbstractBricsAutomaton(Automaton) - Constructor for class net.automatalib.brics.AbstractBricsAutomaton
Constructor.
AbstractCompactDeterministic<I,T,SP,TP> - Class in net.automatalib.automata.base.compact
 
AbstractCompactDeterministic(Alphabet<I>) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
AbstractCompactDeterministic(Alphabet<I>, int) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
AbstractCompactDeterministic(Alphabet<I>, float) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
AbstractCompactDeterministic(Alphabet<I>, int, float) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
AbstractCompactGraph<E extends CompactEdge<EP>,NP,EP> - Class in net.automatalib.graphs.base.compact
 
AbstractCompactGraph() - Constructor for class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
AbstractCompactGraph(int) - Constructor for class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
AbstractCompactNPGraph<E extends CompactEdge<EP>,NP,EP> - Class in net.automatalib.graphs.base.compact
 
AbstractCompactNPGraph() - Constructor for class net.automatalib.graphs.base.compact.AbstractCompactNPGraph
 
AbstractCompactSimpleDet<I,SP> - Class in net.automatalib.automata.base.compact
 
AbstractCompactSimpleDet(Alphabet<I>) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
AbstractCompactSimpleDet(Alphabet<I>, int) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
AbstractCompactSimpleDet(Alphabet<I>, float) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
AbstractCompactSimpleDet(Alphabet<I>, int, float) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
AbstractCompactSimpleGraph<E extends CompactEdge<EP>,EP> - Class in net.automatalib.graphs.base.compact
 
AbstractCompactSimpleGraph() - Constructor for class net.automatalib.graphs.base.compact.AbstractCompactSimpleGraph
 
AbstractCompactSimpleGraph(int) - Constructor for class net.automatalib.graphs.base.compact.AbstractCompactSimpleGraph
 
AbstractCompactSimpleNondet<I,SP> - Class in net.automatalib.automata.base.compact
 
AbstractCompactSimpleNondet(Alphabet<I>) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
AbstractCompactSimpleNondet(Alphabet<I>, int) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
AbstractCompactSimpleNondet(Alphabet<I>, float) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
AbstractCompactSimpleNondet(Alphabet<I>, int, float) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
AbstractDeterministicAcceptorTS<S,I> - Class in net.automatalib.ts.acceptors.abstractimpl
 
AbstractDeterministicAcceptorTS() - Constructor for class net.automatalib.ts.acceptors.abstractimpl.AbstractDeterministicAcceptorTS
 
AbstractDeterministicAutomaton<S,I,T> - Class in net.automatalib.automata.abstractimpl
Abstract base class for deterministic automata.
AbstractDeterministicAutomaton() - Constructor for class net.automatalib.automata.abstractimpl.AbstractDeterministicAutomaton
 
AbstractDeterministicTransOutTS<S,I,T,O> - Class in net.automatalib.ts.abstractimpl
 
AbstractDeterministicTransOutTS() - Constructor for class net.automatalib.ts.abstractimpl.AbstractDeterministicTransOutTS
 
AbstractDFA<S,I> - Class in net.automatalib.automata.fsa.abstractimpl
 
AbstractDFA() - Constructor for class net.automatalib.automata.fsa.abstractimpl.AbstractDFA
 
AbstractDTS<S,I,T> - Class in net.automatalib.ts.abstractimpl
 
AbstractDTS() - Constructor for class net.automatalib.ts.abstractimpl.AbstractDTS
 
AbstractFSA<S,I> - Class in net.automatalib.automata.fsa.abstractimpl
 
AbstractFSA() - Constructor for class net.automatalib.automata.fsa.abstractimpl.AbstractFSA
 
AbstractGraph<N,E> - Class in net.automatalib.graphs.abstractimpl
 
AbstractGraph() - Constructor for class net.automatalib.graphs.abstractimpl.AbstractGraph
 
AbstractGraphView() - Constructor for class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder.AbstractGraphView
 
AbstractGraphView() - Constructor for class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder.AbstractGraphView
 
AbstractIncrementalDFABuilder<I> - Class in net.automatalib.incremental.dfa
Abstract base class for IncrementalDFABuilders.
AbstractIncrementalDFABuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder
Constructor.
AbstractIncrementalDFABuilder.AbstractGraphView<I,N,E> - Class in net.automatalib.incremental.dfa
 
AbstractIncrementalDFABuilder.AbstractTransitionSystemView<S,I,T> - Class in net.automatalib.incremental.dfa
 
AbstractIncrementalDFADAGBuilder<I> - Class in net.automatalib.incremental.dfa.dag
 
AbstractIncrementalDFADAGBuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder
 
AbstractIncrementalDFADAGBuilder.GraphView - Class in net.automatalib.incremental.dfa.dag
 
AbstractIncrementalDFADAGBuilder.TransitionSystemView - Class in net.automatalib.incremental.dfa.dag
 
AbstractIncrementalMealyBuilder<I,O> - Class in net.automatalib.incremental.mealy
 
AbstractIncrementalMealyBuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder
 
AbstractIncrementalMealyBuilder.AbstractGraphView<I,O,N,E> - Class in net.automatalib.incremental.mealy
 
AbstractIncrementalMealyBuilder.AbstractTransitionSystemView<I,O,S,T> - Class in net.automatalib.incremental.mealy
 
AbstractIndefiniteGraph<N,E> - Class in net.automatalib.graphs.abstractimpl
 
AbstractIndefiniteGraph() - Constructor for class net.automatalib.graphs.abstractimpl.AbstractIndefiniteGraph
 
AbstractLinkedList<E,T extends LinkedListEntry<E,T>> - Class in net.automatalib.commons.smartcollections
Abstract base class for linked lists.
AbstractLinkedList() - Constructor for class net.automatalib.commons.smartcollections.AbstractLinkedList
 
AbstractLowLevelAutomatonCopier<S1,I1,T1,S2,I2,T2,SP2,TP2,TS1 extends TransitionSystem<S1,? super I1,T1>> - Class in net.automatalib.util.automata.copy
 
AbstractLowLevelAutomatonCopier(TS1, Collection<? extends I1>, MutableAutomaton<S2, I2, T2, ? super SP2, ? super TP2>, Function<? super I1, ? extends I2>, Function<? super S1, ? extends SP2>, Function<? super T1, ? extends TP2>, Predicate<? super S1>, TransitionPredicate<? super S1, ? super I1, ? super T1>) - Constructor for class net.automatalib.util.automata.copy.AbstractLowLevelAutomatonCopier
 
AbstractMealyMachine<S,I,T,O> - Class in net.automatalib.automata.transout.abstractimpl
 
AbstractMealyMachine() - Constructor for class net.automatalib.automata.transout.abstractimpl.AbstractMealyMachine
 
AbstractMooreMachine - Class in net.automatalib.automata.transout.abstractimpl
 
AbstractMutableAutomaton<S,I,T,SP,TP> - Class in net.automatalib.automata.abstractimpl
Abstract base class for mutable automata.
AbstractMutableAutomaton() - Constructor for class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton
 
AbstractMutableDeterministic<S,I,T,SP,TP> - Class in net.automatalib.automata.abstractimpl
Abstract base class for mutable deterministic automata.
AbstractMutableDeterministic() - Constructor for class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic
 
AbstractMutableDFA<S,I> - Class in net.automatalib.automata.fsa.abstractimpl
 
AbstractMutableDFA() - Constructor for class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA
 
AbstractMutableFSA<S,I> - Class in net.automatalib.automata.fsa.abstractimpl
 
AbstractMutableFSA() - Constructor for class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA
 
AbstractMutableGraph<N,E,NP,EP> - Class in net.automatalib.graphs.abstractimpl
 
AbstractMutableGraph() - Constructor for class net.automatalib.graphs.abstractimpl.AbstractMutableGraph
 
AbstractMutableNFA<S,I> - Class in net.automatalib.automata.fsa.abstractimpl
 
AbstractMutableNFA() - Constructor for class net.automatalib.automata.fsa.abstractimpl.AbstractMutableNFA
 
AbstractMutableNumericID - Class in net.automatalib.commons.util.nid
 
AbstractMutableNumericID() - Constructor for class net.automatalib.commons.util.nid.AbstractMutableNumericID
 
AbstractNFA<S,I> - Class in net.automatalib.automata.fsa.abstractimpl
 
AbstractNFA() - Constructor for class net.automatalib.automata.fsa.abstractimpl.AbstractNFA
 
AbstractPrintable - Class in net.automatalib.commons.util.strings
Abstract base class for printables.
AbstractPrintable() - Constructor for class net.automatalib.commons.util.strings.AbstractPrintable
 
AbstractRandomAutomatonGenerator<S,I,T,SP,TP,A extends MutableAutomaton<S,I,T,SP,TP>> - Class in net.automatalib.util.automata.random
 
AbstractRandomAutomatonGenerator(Random, Collection<? extends I>, Collection<? extends SP>, Collection<? extends TP>, A) - Constructor for class net.automatalib.util.automata.random.AbstractRandomAutomatonGenerator
 
AbstractShrinkableAutomaton<S,I,T,SP,TP> - Class in net.automatalib.automata.abstractimpl
 
AbstractShrinkableAutomaton() - Constructor for class net.automatalib.automata.abstractimpl.AbstractShrinkableAutomaton
 
AbstractShrinkableDeterministic<S,I,T,SP,TP> - Class in net.automatalib.automata.abstractimpl
 
AbstractShrinkableDeterministic() - Constructor for class net.automatalib.automata.abstractimpl.AbstractShrinkableDeterministic
 
AbstractSmartCollection<E> - Class in net.automatalib.commons.smartcollections
This class eases the implementation of the SmartCollection interface.
AbstractSmartCollection() - Constructor for class net.automatalib.commons.smartcollections.AbstractSmartCollection
 
AbstractSymbol<S> - Class in net.automatalib.words.abstractimpl
 
AbstractSymbol() - Constructor for class net.automatalib.words.abstractimpl.AbstractSymbol
 
AbstractTransitionSystemView() - Constructor for class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder.AbstractTransitionSystemView
 
AbstractTransitionSystemView() - Constructor for class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder.AbstractTransitionSystemView
 
AbstractTransOutAutomaton - Class in net.automatalib.automata.transout.abstractimpl
 
AbstractTransOutAutomaton() - Constructor for class net.automatalib.automata.transout.abstractimpl.AbstractTransOutAutomaton
 
AbstractTS<S,I,T> - Class in net.automatalib.ts.abstractimpl
 
AbstractTS() - Constructor for class net.automatalib.ts.abstractimpl.AbstractTS
 
Acceptance - Enum in net.automatalib.incremental.dfa
Tri-state acceptance value.
acceptance(AcceptorTS<S, ?>) - Static method in class net.automatalib.util.ts.acceptors.Acceptors
 
AcceptanceCombiner - Interface in net.automatalib.util.ts.acceptors
 
AcceptanceGraph<N,E> - Interface in net.automatalib.graphs
Interface for finite graphs that embody the concept of node acceptance.
Acceptors - Class in net.automatalib.util.ts.acceptors
 
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(DFA<S, I>, Iterable<? extends I>) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractDFA
 
accepts(Iterable<? extends I>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractDFA
 
accepts(Iterable<? extends I>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA
 
accepts(Iterable<? extends I>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableNFA
 
accepts(NFA<S, I>, Iterable<? extends I>) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractNFA
 
accepts(Iterable<? extends I>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractNFA
 
accepts(Iterable<? extends I>) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA
 
accepts(Iterable<? extends I>) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA
 
accepts(Iterable<? extends I>) - Method in class net.automatalib.automata.fsa.impl.FastDFA
 
accepts(Iterable<? extends I>) - Method in class net.automatalib.automata.fsa.impl.FastNFA
 
accepts(Iterable<? extends Character>) - Method in class net.automatalib.brics.BricsDFA
 
accepts(Iterable<? extends Character>) - Method in class net.automatalib.brics.BricsNFA
 
accepts(AcceptorTS<S, I>, Iterable<? extends I>) - Static method in class net.automatalib.ts.acceptors.abstractimpl.AbstractAcceptorTS
 
accepts(Iterable<? extends I>) - Method in class net.automatalib.ts.acceptors.abstractimpl.AbstractAcceptorTS
 
accepts(DeterministicAcceptorTS<S, I>, Iterable<? extends I>) - Static method in class net.automatalib.ts.acceptors.abstractimpl.AbstractDeterministicAcceptorTS
 
accepts(Iterable<? extends I>) - Method in class net.automatalib.ts.acceptors.abstractimpl.AbstractDeterministicAcceptorTS
 
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 class net.automatalib.util.ts.acceptors.DetAcceptorComposition
 
add(E) - Method in class net.automatalib.commons.smartcollections.AbstractSmartCollection
 
add(E, K) - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
add(E, K) - Method in interface net.automatalib.commons.smartcollections.SmartGeneralPriorityQueue
Inserts an element with the specified key.
add(Character) - Method in class net.automatalib.commons.util.collections.CharRangeIterator
 
add(Integer) - Method in class net.automatalib.commons.util.collections.IntRangeIterator
 
add(T) - Method in class net.automatalib.commons.util.nid.DynamicList
 
add(GraphDOTHelper<N, ? super E>) - Method in class net.automatalib.graphs.dot.AggregateDOTHelper
 
add(S, int) - Method in class net.automatalib.ts.powerset.FastPowersetState
 
add(I, SuffixTrieNode<I>) - Method in class net.automatalib.util.tries.SharedSuffixTrie
 
add(I, SuffixTrieNode<I>) - Method in class net.automatalib.util.tries.SuffixTrie
Adds a word to the trie.
add(I) - Method in class net.automatalib.words.impl.SimpleAlphabet
 
add(I) - Method in class net.automatalib.words.WordBuilder
 
addAll(Iterable<? extends E>) - Method in class net.automatalib.commons.smartcollections.AbstractSmartCollection
 
addAll(T[]) - Method in class net.automatalib.commons.smartcollections.AbstractSmartCollection
 
addAll(Iterable<? extends E>) - Method in interface net.automatalib.commons.smartcollections.SmartCollection
Adds all elements from a given iterable.
addAll(T[]) - Method in interface net.automatalib.commons.smartcollections.SmartCollection
Adds all elements from the specified array.
addAll(T[]) - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
addAll(Collection<? extends E>) - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
addAll(Collection<E>, Iterable<? extends E>) - Static method in class net.automatalib.commons.util.collections.CollectionsUtil
Adds all elements from an iterable to a collection.
addCompletely(AbstractLinkedList<? extends E, ? extends T>) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Deprecated.
addGraph(String, Reader) - Method in class net.automatalib.commons.dotutil.DOTFrame
 
addGraph(String, String) - Method in class net.automatalib.commons.dotutil.DOTFrame
 
addGraph(String, Reader) - Method in class net.automatalib.commons.dotutil.DOTPanel
 
addGraph(String, String) - Method in class net.automatalib.commons.dotutil.DOTPanel
 
addInitialState(MutableAutomaton<S, I, T, SP, TP>, SP) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton
addInitialState(MutableAutomaton<S, I, T, SP, TP>) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton
addInitialState(SP) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton
 
addInitialState() - Method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton
 
addInitialState(SP) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic
 
addInitialState() - Method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic
 
addInitialState(boolean) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA
 
addInitialState(MutableFSA<S, I>) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA
 
addInitialState(MutableFSA<S, I>, Boolean) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA
 
addInitialState(MutableFSA<S, I>, boolean) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA
 
addInitialState() - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA
 
addInitialState(Boolean) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA
 
addInitialState(boolean) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA
 
addInitialState(boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA
 
addInitialState(boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA
 
addInitialState(boolean) - Method in class net.automatalib.automata.fsa.impl.FastDFA
 
addInitialState(boolean) - Method in class net.automatalib.automata.fsa.impl.FastNFA
 
addInitialState(boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA
 
addInitialState(SP) - Method in interface net.automatalib.automata.MutableAutomaton
 
addInitialState() - Method in interface net.automatalib.automata.MutableAutomaton
 
addInitialState() - Method in class net.automatalib.automata.transout.impl.FastMealy
 
addInitialState() - Method in class net.automatalib.automata.transout.impl.FastProbMealy
 
addIntInitialState(SP) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
addIntInitialState() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
addIntInitialState(SP) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
addIntInitialState() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
addIntInitialState(SP) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
addIntInitialState() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
addIntNode() - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
addIntNode(NP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
addIntNode(NP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactNPGraph
 
addIntNode(Void) - Method in class net.automatalib.graphs.base.compact.CompactSimpleBidiGraph
 
addIntState() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
addIntState(SP) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
addIntState(SP) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
addIntState() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
addIntState(SP) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
addIntState() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
addListener(IDChangeListener<T>, boolean) - Method in class net.automatalib.commons.util.nid.IDChangeNotifier
 
addNode() - Method in class net.automatalib.graphs.abstractimpl.AbstractMutableGraph
 
addNode(NP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
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(MutableAutomaton<S, I, T, SP, TP>) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton
addState() - Method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton
 
addState() - Method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic
 
addState(SP) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
addState(SP) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
addState(SP) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
addState(SP) - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
addState(SP) - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
addState(Boolean) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA
 
addState(MutableFSA<S, I>) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA
 
addState(MutableFSA<S, I>, Boolean) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA
 
addState() - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA
 
addState(Boolean) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA
 
addState(boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA
 
addState(boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA
 
addState(boolean) - Method in class net.automatalib.automata.fsa.impl.FastDFA
 
addState(boolean) - Method in class net.automatalib.automata.fsa.impl.FastNFA
 
addState(boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA
 
addState(SP) - Method in interface net.automatalib.automata.MutableAutomaton
Adds a state to the automaton.
addState() - Method in interface net.automatalib.automata.MutableAutomaton
 
addState() - Method in class net.automatalib.automata.transout.impl.FastMealy
 
addState() - Method in class net.automatalib.automata.transout.impl.FastProbMealy
 
addStates(int) - Method in class net.automatalib.util.automata.random.AbstractRandomAutomatonGenerator
 
addSymbol(I) - Method in interface net.automatalib.words.GrowingAlphabet
Adds a new symbol to the alphabet.
addSymbol(I) - Method in class net.automatalib.words.impl.FastAlphabet
 
addSymbol(I) - Method in class net.automatalib.words.impl.SimpleAlphabet
 
addTransition(MutableAutomaton<S, I, T, SP, TP>, S, I, T) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton
addTransition(MutableAutomaton<S, I, T, SP, TP>, S, I, S, TP) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton
addTransition(S, I, T) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton
 
addTransition(S, I, S, TP) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton
 
addTransition(MutableDeterministic<S, I, T, SP, TP>, S, I, T) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic
addTransition(S, I, T) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic
 
addTransition(S, I, S, TP) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic
 
addTransition(Integer, I, Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
addTransition(int, I, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
addTransition(int, int, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
addTransition(S, I, T) - Method in interface net.automatalib.automata.MutableAutomaton
 
addTransition(S, I, S, TP) - Method in interface net.automatalib.automata.MutableAutomaton
 
addTransition(FastProbMealyState<O>, I, FastProbMealyState<O>, O, float) - Method in class net.automatalib.automata.transout.impl.FastProbMealy
 
addTransitions(MutableAutomaton<S, I, T, SP, TP>, S, I, Collection<? extends T>) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton
 
addTransitions(S, I, Collection<? extends T>) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton
 
addTransitions(S, I, Collection<? extends T>) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic
 
addTransitions(S, I, Collection<? extends T>) - Method in interface net.automatalib.automata.MutableAutomaton
 
addTransitions() - Method in class net.automatalib.util.automata.random.RandomDeterministicAutomatonGenerator
 
advance() - Method in class net.automatalib.commons.util.collections.TwoLevelIterator
 
AggregateDOTHelper<N,E> - Class in net.automatalib.graphs.dot
 
AggregateDOTHelper() - Constructor for class net.automatalib.graphs.dot.AggregateDOTHelper
 
AggregateDOTHelper(List<? extends GraphDOTHelper<N, ? super E>>) - Constructor for class net.automatalib.graphs.dot.AggregateDOTHelper
 
AGHelper - Class in net.automatalib.util.automata.asgraph
 
AGHelper() - Constructor for class net.automatalib.util.automata.asgraph.AGHelper
 
allCombinations(Iterable<T>...) - Static method in class net.automatalib.commons.util.collections.CollectionsUtil
 
allDefinedInputs(Automaton<S, I, ?>, Iterable<? extends I>) - Static method in class net.automatalib.util.automata.Automata
 
allDefinedInputs(TransitionSystem<S, I, ?>, Iterable<? extends S>, Iterable<? extends I>) - Static method in class net.automatalib.util.ts.TS
 
allDefinedInputsIterator(Automaton<S, I, ?>, Iterable<? extends I>) - Static method in class net.automatalib.util.automata.Automata
 
allDefinedInputsIterator(TransitionSystem<S, I, ?>, Iterator<? extends S>, Iterable<? extends I>) - Static method in class net.automatalib.util.ts.TS
 
allowPartial - Variable in class net.automatalib.ts.comp.DTSComposition
 
allTuples(Iterable<T>, int, int) - Static method in class net.automatalib.commons.util.collections.CollectionsUtil
 
allTuples(Iterable<T>, int) - Static method in class net.automatalib.commons.util.collections.CollectionsUtil
 
allUndefinedInputs(Automaton<S, I, ?>, Iterable<? extends I>) - Static method in class net.automatalib.util.automata.Automata
 
allUndefinedInputsIterator(Automaton<S, I, ?>, Iterable<? extends I>) - Static method in class net.automatalib.util.automata.Automata
 
allUndefinedTransitions(TransitionSystem<S, I, ?>, Iterable<? extends S>, Iterable<? extends I>) - Static method in class net.automatalib.util.ts.TS
 
allUndefinedTransitionsIterator(TransitionSystem<S, I, ?>, Iterator<? extends S>, Iterable<? extends I>) - Static method in class net.automatalib.util.ts.TS
 
alphabet - Variable in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
Alphabet<I> - Interface in net.automatalib.words
Class implementing an (indexed) alphabet.
Alphabets - Class in net.automatalib.words.impl
 
alphabetSize - Variable in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
alphabetSize - Variable in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder
 
alwaysFalse() - Static method in class net.automatalib.util.automata.predicates.TransitionPredicates
 
alwaysTrue() - Static method in class net.automatalib.util.automata.predicates.TransitionPredicates
 
and(DFA<?, I>, DFA<?, I>, Collection<? extends I>, A) - Static method in class net.automatalib.util.automata.fsa.DFAs
Calculates the conjunction ("and") of two DFA, and stores the result in a given mutable DFA.
and(DFA<?, I>, DFA<?, I>, Alphabet<I>) - Static method in class net.automatalib.util.automata.fsa.DFAs
Calculates the conjunction ("and") of two DFA, and returns the result as a new DFA.
AND - Static variable in interface net.automatalib.util.ts.acceptors.AcceptanceCombiner
 
and(TS1, TS2) - Static method in class net.automatalib.util.ts.acceptors.Acceptors
 
AnnotatedEdge<I,O> - Class in net.automatalib.incremental.mealy.tree
 
AnnotatedEdge(Edge<I, O>, I) - Constructor for class net.automatalib.incremental.mealy.tree.AnnotatedEdge
 
append(I) - Method in class net.automatalib.words.Word
Appends a symbol to this word and returns the result as a new word.
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 a symbol 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.
appendArray(Appendable, Object[], String) - Static method in class net.automatalib.commons.util.strings.StringUtil
 
appendArrayEnquoted(Appendable, Object[], String) - Static method in class net.automatalib.commons.util.strings.StringUtil
 
appendIterable(Appendable, Iterable<?>, String) - Static method in class net.automatalib.commons.util.strings.StringUtil
 
appendIterableEnquoted(Appendable, Iterable<?>, String) - Static method in class net.automatalib.commons.util.strings.StringUtil
 
appendObject(Appendable, Object) - Static method in class net.automatalib.commons.util.strings.StringUtil
 
appendStringIndex(Appendable, int) - Method in class net.automatalib.commons.util.strings.StringIndexGenerator
 
appendStringIndex(StringBuilder, int) - Method in class net.automatalib.commons.util.strings.StringIndexGenerator
 
appendSuffix(SuffixTrieNode<I>, List<? super I>) - Static method in class net.automatalib.util.tries.SuffixTrieNode
 
appendSuffix(List<? super I>) - Method in class net.automatalib.util.tries.SuffixTrieNode
 
apply(Mapping<? super D, R>, Collection<? extends D>) - Static method in class net.automatalib.commons.util.mappings.Mappings
Applies a mapping to a collection, resulting in a collection containing the result of applying the specified mapping to each element in the collection.
apply(Mapping<? super D, R>, List<? extends D>) - Static method in class net.automatalib.commons.util.mappings.Mappings
Applies a mapping to a list, resulting in a list containing the result of applying the specified mapping to each element in the list.
apply(Mapping<? super D, R>, Iterable<? extends D>) - Static method in class net.automatalib.commons.util.mappings.Mappings
Applies a mapping to an iterable.
apply(Mapping<? super D, R>, Iterator<? extends D>) - Static method in class net.automatalib.commons.util.mappings.Mappings
Applies a mapping to an iterator.
apply(S, I, T) - Method in interface net.automatalib.ts.TransitionPredicate
 
APSPResult<N,E> - Interface in net.automatalib.algorithms.graph.apsp
Result interface for the all pairs shortest paths problem.
array - Variable in class net.automatalib.commons.util.array.ResizingArrayStorage
 
array - Variable in class net.automatalib.commons.util.array.ResizingIntArray
The storage array.
array - Variable in class net.automatalib.commons.util.array.ResizingObjectArray
The storage array.
ArrayAlphabet<I> - Class in net.automatalib.words.impl
 
ArrayAlphabet(I...) - Constructor for class net.automatalib.words.impl.ArrayAlphabet
 
ArrayMapping<K extends NumericID,V> - Class in net.automatalib.commons.util.mappings
 
ArrayMapping() - Constructor for class net.automatalib.commons.util.mappings.ArrayMapping
 
ArrayMapping(int) - Constructor for class net.automatalib.commons.util.mappings.ArrayMapping
 
ArrayWritable<T> - Interface in net.automatalib.commons.util.array
Unified interface for (collection) classes that allow writing their contents to an array.
ARROWHEAD - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.EdgeAttrs
 
asBlockAutomaton() - Method in class net.automatalib.util.minimizer.MinimizationResult
Creates a BlockAutomaton using this results structure.
asGraph() - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder
 
asGraph() - Method in interface net.automatalib.incremental.dfa.IncrementalDFABuilder
 
asGraph() - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder
 
asGraph() - Method in interface net.automatalib.incremental.IncrementalConstruction
Retrieves a graph view of the current state of the construction.
asGraph() - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder
 
asGraph() - Method in interface net.automatalib.incremental.mealy.IncrementalMealyBuilder
 
asGraph() - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder
 
asGraph(Automaton<S, I, T>, Collection<? extends I>) - Static method in class net.automatalib.util.automata.Automata
 
asList() - Method in class net.automatalib.words.Word
Retrieves a List view on the contents of this word.
asPair1() - Method in class net.automatalib.commons.util.Triple
Deprecated.
 
asPair2() - Method in class net.automatalib.commons.util.Triple
Deprecated.
 
asTransitionSystem() - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder
 
asTransitionSystem() - Method in interface net.automatalib.incremental.dfa.IncrementalDFABuilder
 
asTransitionSystem() - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder
 
asTransitionSystem() - Method in class net.automatalib.incremental.dfa.tree.IncrementalPCDFATreeBuilder
 
asTransitionSystem() - Method in interface net.automatalib.incremental.IncrementalConstruction
Retrieves a transition system view of the current state of the construction.
asTransitionSystem() - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder
 
asTransitionSystem() - Method in interface net.automatalib.incremental.mealy.IncrementalMealyBuilder
 
asTransitionSystem() - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder
 
asUniversalGraph(UniversalAutomaton<S, I, T, SP, TP>, Collection<? extends I>) - Static method in class net.automatalib.util.automata.Automata
 
Automata - Class in net.automatalib.util.automata
 
Automata() - Constructor for class net.automatalib.util.automata.Automata
 
AutomataLibSettings - Class in net.automatalib
 
Automaton<S,I,T> - Interface in net.automatalib.automata
Basic interface for an automaton.
automaton - Variable in class net.automatalib.automata.dot.DefaultDOTHelperAutomaton
 
automaton - Variable in class net.automatalib.brics.AbstractBricsAutomaton
 
automaton - Variable in class net.automatalib.util.automata.asgraph.AutomatonAsGraph
 
automaton - Variable in class net.automatalib.util.automata.random.AbstractRandomAutomatonGenerator
 
AutomatonAsGraph<S,I,T,A extends Automaton<S,I,T>> - Class in net.automatalib.util.automata.asgraph
 
AutomatonAsGraph(A, Collection<? extends I>) - Constructor for class net.automatalib.util.automata.asgraph.AutomatonAsGraph
 
AutomatonBuilders - Class in net.automatalib.util.automata.builders
Fluent interface automaton builders.
AutomatonCopyMethod - Interface in net.automatalib.util.automata.copy
 
AutomatonLowLevelCopy - Class in net.automatalib.util.automata.copy
 
automatonState - Variable in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.Record
 
AutomatonView() - Constructor for class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.AutomatonView
 
AWUtil - Class in net.automatalib.commons.util.array
Utility class for writing containers to arrays.

B

backEdge(N, Void, E, N, Void) - Method in class net.automatalib.examples.graph.DFSExample.MyDFSVisitor
 
backEdge(N, D, E, N, D) - Method in class net.automatalib.util.graphs.traversal.BaseDFSVisitor
 
backEdge(N, D, E, N, D) - Method in interface net.automatalib.util.graphs.traversal.DFSVisitor
 
BackedGeneralPriorityQueue<E,K extends Comparable<K>> - Class in net.automatalib.commons.smartcollections
A SmartGeneralPriorityQueue implementation that is backed by a SmartDynamicPriorityQueue.
BackedGeneralPriorityQueue() - Constructor for class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
BackedGeneralPriorityQueue(int) - Constructor for class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
BackedGeneralPriorityQueue(List<? extends E>, List<K>) - Constructor for class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
BackedGeneralPriorityQueue(Class<? extends SmartDynamicPriorityQueue<?>>) - Constructor for class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
BackedGeneralPriorityQueue(SmartDynamicPriorityQueue<?>) - Constructor for class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
Constructor.
backtrackEdge(N, TarjanSCCRecord, E, N, TarjanSCCRecord) - Method in class net.automatalib.algorithms.graph.scc.TarjanSCCVisitor
 
backtrackEdge(N, D, E, N, D) - Method in class net.automatalib.util.graphs.traversal.BaseDFSVisitor
 
backtrackEdge(N, D, E, N, D) - Method in class net.automatalib.util.graphs.traversal.DefaultGraphTraversalVisitor
 
backtrackEdge(N, D, E, N, D) - Method in interface net.automatalib.util.graphs.traversal.DFSVisitor
 
backtrackEdge(N, D, E, N, D) - Method in interface net.automatalib.util.graphs.traversal.GraphTraversalVisitor
 
BaseDFSVisitor<N,E,D> - Class in net.automatalib.util.graphs.traversal
A base implementation of a DFSVisitor.
BaseDFSVisitor() - Constructor for class net.automatalib.util.graphs.traversal.BaseDFSVisitor
 
BasicLinkedListEntry<E,T extends BasicLinkedListEntry<E,T>> - Class in net.automatalib.commons.smartcollections
Abstract base class for entries in a linked list.
BasicLinkedListEntry() - Constructor for class net.automatalib.commons.smartcollections.BasicLinkedListEntry
 
bfIterator(IndefiniteGraph<N, E>, Collection<? extends N>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
BFS - Static variable in interface net.automatalib.util.automata.copy.AutomatonCopyMethod
 
bfsOrder(TransitionSystem<S, I, ?>, Collection<? extends I>) - Static method in class net.automatalib.util.ts.TS
 
BFSOrderIterator<S,I> - Class in net.automatalib.util.ts.traversal
 
BFSOrderIterator(SimpleTS<S, I>, Collection<? extends I>) - Constructor for class net.automatalib.util.ts.traversal.BFSOrderIterator
 
BidirectionalGraph<N,E> - Interface in net.automatalib.graphs
Interface for bidirectional graph.
BinaryHeap<E> - Class in net.automatalib.commons.smartcollections
A PriorityQueue implementation using a binary heap.
BinaryHeap(int, Comparator<? super E>) - Constructor for class net.automatalib.commons.smartcollections.BinaryHeap
 
BinaryHeap(int, Collection<? extends E>, Comparator<? super E>) - Constructor for class net.automatalib.commons.smartcollections.BinaryHeap
 
BitSetIterator - Class in net.automatalib.commons.util
Iterator for iterating over a BitSet like over a normal collection.
BitSetIterator(BitSet) - Constructor for class net.automatalib.commons.util.BitSetIterator
Constructor.
blackTarget(N, D, E, N, D) - Method in class net.automatalib.util.graphs.traversal.BaseDFSVisitor
 
Block<S,L> - Class in net.automatalib.util.minimizer
A block in the partition calculated during minimization.
BlockAutomaton<S,L> - Class in net.automatalib.util.minimizer
A "block automaton", i.e. an automaton-style representation of the minimization result in which each block forms a state.
BlockEdge<S,L> - Class in net.automatalib.util.minimizer
An edge in a BlockAutomaton.
BlockMap<V> - Class in net.automatalib.util.minimizer
Class for associating arbitrary values with the blocks of a minimization result.
BlockMap(MinimizationResult<?, ?>) - Constructor for class net.automatalib.util.minimizer.BlockMap
Constructor.
BOLD - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.CommonStyles
 
booleanValue(Boolean, boolean) - Static method in class net.automatalib.commons.util.WrapperUtil
 
booleanValue(Boolean) - Static method in class net.automatalib.commons.util.WrapperUtil
 
BOX - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.NodeShapes
 
BREADTH_FIRST - Static variable in interface net.automatalib.util.ts.traversal.TSTraversalMethod
 
breadthFirst(IndefiniteGraph<N, E>, int, Collection<? extends N>, GraphTraversalVisitor<N, E, D>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
breadthFirst(IndefiniteGraph<N, E>, int, N, GraphTraversalVisitor<N, E, D>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
breadthFirst(IndefiniteGraph<N, E>, Collection<? extends N>, GraphTraversalVisitor<N, E, D>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
breadthFirst(IndefiniteGraph<N, E>, N, GraphTraversalVisitor<N, E, D>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
breadthFirst(TransitionSystem<S, ? super I, T>, int, Collection<? extends I>, TSTraversalVisitor<S, I, T, D>) - Static method in class net.automatalib.util.ts.traversal.TSTraversal
Traverses the given transition system in a breadth-first fashion.
breadthFirst(TransitionSystem<S, ? super I, T>, Collection<? extends I>, TSTraversalVisitor<S, I, T, D>) - Static method in class net.automatalib.util.ts.traversal.TSTraversal
 
breadthFirstOrder(IndefiniteGraph<N, E>, Collection<? extends N>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
BricsDFA - Class in net.automatalib.brics
Adapter class for wrapping a Brics automaton as a DFA.
BricsDFA(Automaton) - Constructor for class net.automatalib.brics.BricsDFA
Constructor.
BricsDFA(Automaton, boolean) - Constructor for class net.automatalib.brics.BricsDFA
Constructor.
BricsNFA - Class in net.automatalib.brics
Adapter class for wrapping a Brics automaton as an NFA.
BricsNFA(Automaton) - Constructor for class net.automatalib.brics.BricsNFA
Constructor.
BricsTransitionProperty - Class in net.automatalib.brics
The properties of an edge in a Brics automaton.
BricsTransitionProperty(char, char) - Constructor for class net.automatalib.brics.BricsTransitionProperty
Constructor.
BricsTransitionProperty(Transition) - Constructor for class net.automatalib.brics.BricsTransitionProperty
Constructor.
build(IncrementalDFABuilder<Character>) - Static method in class net.automatalib.examples.incremental.IncrementalDFAExample
 
build(IncrementalMealyBuilder<Character, Character>) - Static method in class net.automatalib.examples.incremental.IncrementalMealyExample
 
build(IncrementalDFABuilder<Character>) - Static method in class net.automatalib.examples.incremental.IncrementalPCDFAExample
 

C

calculateNext() - Method in class net.automatalib.commons.util.collections.SimplifiedIterator
 
canonicalComparator(Comparator<? super U>) - Static method in class net.automatalib.commons.util.comparison.CmpUtil
Retrieves a canonical comparator for the given list type.
canonicalComparator() - Static method in class net.automatalib.commons.util.comparison.CmpUtil
Retrieves a canonical comparator for the given type, which has to be a List of Comparable types.
canonicalComparator(Comparator<? super I>) - Static method in class net.automatalib.words.Word
 
canonicalCompare(List<? extends U>, List<? extends U>, Comparator<? super U>) - Static method in class net.automatalib.commons.util.comparison.CmpUtil
Compares two Lists with respect to canonical ordering.
canonicalCompare(List<? extends U>, List<? extends U>) - Static method in class net.automatalib.commons.util.comparison.CmpUtil
Compares two Lists of Comparable elements with respect to canonical ordering.
canonicalNext(Alphabet<I>) - Method in class net.automatalib.words.Word
Retrieves the next word after this in canonical order.
CapacityManagement - Interface in net.automatalib.commons.smartcollections
Control interface for collections supporting a capacity management, i.e., reserving space in advance in order to avoid repeated reallocations.
castRef(ElementReference) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Helper function for casting a general ElementReference to the specific linked list entry type.
changeKey(ElementReference, K) - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
changeKey(ElementReference, K) - Method in interface net.automatalib.commons.smartcollections.SmartGeneralPriorityQueue
Changes the key of an element in the priority key.
characterizingSet(UniversalDeterministicAutomaton<?, I, ?, ?, ?>, Collection<? extends I>, Collection<? super Word<I>>) - Static method in class net.automatalib.util.automata.Automata
Computes a characterizing set for the given automaton.
characterizingSet(UniversalDeterministicAutomaton<?, I, ?, ?, ?>, Collection<? extends I>) - Static method in class net.automatalib.util.automata.Automata
Computes a characterizing set, and returns it as a List.
CharacterizingSets - Class in net.automatalib.util.automata.equivalence
Operations for calculating characterizing sets.
CharacterizingSets() - Constructor for class net.automatalib.util.automata.equivalence.CharacterizingSets
 
characters(char, char) - Static method in class net.automatalib.words.impl.Alphabets
 
charGet(int) - Method in class net.automatalib.commons.util.collections.CharRange
 
CharRange - Class in net.automatalib.commons.util.collections
 
CharRange(char, char) - Constructor for class net.automatalib.commons.util.collections.CharRange
 
CharRange(char, char, int) - Constructor for class net.automatalib.commons.util.collections.CharRange
 
CharRange(IntRange) - Constructor for class net.automatalib.commons.util.collections.CharRange
 
charRange(char, char) - Static method in class net.automatalib.commons.util.collections.CollectionsUtil
 
CharRangeIterator - Class in net.automatalib.commons.util.collections
 
CharRangeIterator(char, int, int) - Constructor for class net.automatalib.commons.util.collections.CharRangeIterator
 
CharRangeIterator(char, int, int, int) - Constructor for class net.automatalib.commons.util.collections.CharRangeIterator
 
CharRangeIterator(IntRangeIterator) - Constructor for class net.automatalib.commons.util.collections.CharRangeIterator
 
charValue(int) - Method in class net.automatalib.commons.util.collections.CharRange
 
choose() - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
 
choose() - Method in class net.automatalib.commons.smartcollections.AbstractSmartCollection
 
choose() - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
choose() - Method in interface net.automatalib.commons.smartcollections.SmartCollection
Retrieves an arbitrary element from the collection.
choose() - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
choose(List<? extends T>, Random) - Static method in class net.automatalib.commons.util.random.RandomUtil
 
choose(List<? extends T>) - Method in class net.automatalib.commons.util.random.RandomUtil
 
chooseInitial() - Method in class net.automatalib.util.automata.random.AbstractRandomAutomatonGenerator
 
chooseIntials(int) - Method in class net.automatalib.util.automata.random.AbstractRandomAutomatonGenerator
 
chooseRef() - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
 
chooseRef() - Method in class net.automatalib.commons.smartcollections.AbstractSmartCollection
 
chooseRef() - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
chooseRef() - Method in interface net.automatalib.commons.smartcollections.SmartCollection
Retrieves the reference to an arbitrary element from the collection.
chooseRef() - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
CIRCLE - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.NodeShapes
 
clear() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
clear() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
clear() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
clear() - Method in class net.automatalib.automata.base.compact.UniversalCompactSimpleDet
 
clear() - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
clear() - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
clear() - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA
 
clear() - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA
 
clear() - Method in interface net.automatalib.automata.MutableAutomaton
Removes all states and transitions.
clear() - Method in class net.automatalib.commons.dotutil.DOTPanel
 
clear() - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
 
clear() - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
clear() - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
clear() - Method in class net.automatalib.commons.util.nid.DynamicList
 
clear() - Method in class net.automatalib.words.WordBuilder
 
clearTransitions() - Method in class net.automatalib.automata.base.fast.FastDetState
 
clearTransitions() - Method in class net.automatalib.automata.base.fast.FastNondetState
 
clone(State, Acceptance) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder
Clones a state, changing the signature.
clone(State, int, State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder
Clones a state, changing the signature.
clone(State, Acceptance, int, State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder
 
CmpUtil - Class in net.automatalib.commons.util.comparison
Various methods for dealing with the comparison of objects.
CmpUtil.NullOrdering - Enum in net.automatalib.commons.util.comparison
Enum for controlling which rank is assigned to a null element when using a safe comparator (CmpUtil.safeComparator(Comparator, NullOrdering)).
CollectionsUtil - Class in net.automatalib.commons.util.collections
Various methods for operating on collections.
collectSCCs(Graph<N, E>) - Static method in class net.automatalib.algorithms.graph.GraphAlgorithms
Collects all strongly-connected components in a graph.
collectSCCs(Graph<N, E>) - Static method in class net.automatalib.algorithms.graph.scc.SCCs
Collects all strongly-connected components in a graph.
COLOR - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.CommonAttrs
 
Color - Enum in net.automatalib.util.traversal
Enum to use for coloring nodes/states during traversal.
combine(L1, L2, L3) - Method in class net.automatalib.commons.util.collections.ThreeLevelIterator
 
combine(L1, L2) - Method in class net.automatalib.commons.util.collections.TwoLevelIterator
 
combine(List<I>, Word<I>, Word<I>) - Method in class net.automatalib.util.automata.conformance.WMethodTestsIterator
 
combine(DFA<?, I>, DFA<?, I>, Collection<? extends I>, A, AcceptanceCombiner) - Static method in class net.automatalib.util.automata.fsa.DFAs
Most general way of combining two DFAs.
combine(DFA<?, I>, DFA<?, I>, Alphabet<I>, AcceptanceCombiner) - Static method in class net.automatalib.util.automata.fsa.DFAs
Most general way of combining two DFAs.
combine(boolean, boolean) - Method in interface net.automatalib.util.ts.acceptors.AcceptanceCombiner
Combine two acceptance values.
combine(TS1, TS2, AcceptanceCombiner) - Static method in class net.automatalib.util.ts.acceptors.Acceptors
 
CommonAttrs() - Constructor for class net.automatalib.graphs.dot.GraphDOTHelper.CommonAttrs
 
CommonStyles() - Constructor for class net.automatalib.graphs.dot.GraphDOTHelper.CommonStyles
 
CompactBidiEdge<EP> - Class in net.automatalib.graphs.base.compact
 
CompactBidiEdge(int, int, EP) - Constructor for class net.automatalib.graphs.base.compact.CompactBidiEdge
 
CompactDFA<I> - Class in net.automatalib.automata.fsa.impl.compact
 
CompactDFA(Alphabet<I>) - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactDFA
 
CompactDFA(Alphabet<I>, int) - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactDFA
 
CompactDFA(Alphabet<I>, float) - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactDFA
 
CompactDFA(Alphabet<I>, int, float) - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactDFA
 
CompactEdge<EP> - Class in net.automatalib.graphs.base.compact
An edge in a CompactSimpleGraph.
CompactEdge(int, EP) - Constructor for class net.automatalib.graphs.base.compact.CompactEdge
 
CompactGraph<NP,EP> - Class in net.automatalib.graphs.base.compact
 
CompactGraph() - Constructor for class net.automatalib.graphs.base.compact.CompactGraph
 
CompactGraph(int) - Constructor for class net.automatalib.graphs.base.compact.CompactGraph
 
CompactMealy<I,O> - Class in net.automatalib.automata.transout.impl.compact
 
CompactMealy(Alphabet<I>, float) - Constructor for class net.automatalib.automata.transout.impl.compact.CompactMealy
 
CompactMealy(Alphabet<I>, int, float) - Constructor for class net.automatalib.automata.transout.impl.compact.CompactMealy
 
CompactMealy(Alphabet<I>, int) - Constructor for class net.automatalib.automata.transout.impl.compact.CompactMealy
 
CompactMealy(Alphabet<I>) - Constructor for class net.automatalib.automata.transout.impl.compact.CompactMealy
 
CompactMealyTransition<O> - Class in net.automatalib.automata.transout.impl.compact
 
CompactMealyTransition(int) - Constructor for class net.automatalib.automata.transout.impl.compact.CompactMealyTransition
 
CompactMealyTransition(int, O) - Constructor for class net.automatalib.automata.transout.impl.compact.CompactMealyTransition
 
CompactNFA<I> - Class in net.automatalib.automata.fsa.impl.compact
 
CompactNFA(Alphabet<I>, float) - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactNFA
 
CompactNFA(Alphabet<I>, int, float) - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactNFA
 
CompactNFA(Alphabet<I>, int) - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactNFA
 
CompactNFA(Alphabet<I>) - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactNFA
 
CompactSimpleBidiGraph<EP> - Class in net.automatalib.graphs.base.compact
 
CompactSimpleBidiGraph() - Constructor for class net.automatalib.graphs.base.compact.CompactSimpleBidiGraph
 
CompactSimpleBidiGraph(int) - Constructor for class net.automatalib.graphs.base.compact.CompactSimpleBidiGraph
 
CompactSimpleGraph<EP> - Class in net.automatalib.graphs.base.compact
 
CompactSimpleGraph() - Constructor for class net.automatalib.graphs.base.compact.CompactSimpleGraph
 
CompactSimpleGraph(int) - Constructor for class net.automatalib.graphs.base.compact.CompactSimpleGraph
 
compare(I, I) - Method in class net.automatalib.words.abstractimpl.AbstractAlphabet
 
compare(E, E) - Method in class net.automatalib.words.impl.EnumAlphabet
 
compare(I, I) - Method in class net.automatalib.words.impl.FastAlphabet
 
compare(I, I) - Method in class net.automatalib.words.impl.SimpleAlphabet
 
compareTo(Symbol) - Method in class net.automatalib.words.impl.Symbol
 
complement(DFA<?, I>, Collection<? extends I>, A) - Static method in class net.automatalib.util.automata.fsa.DFAs
Calculates the complement (negation) of a DFA, and stores the result in a given mutable DFA.
complement(DFA<?, I>, Alphabet<I>) - Static method in class net.automatalib.util.automata.fsa.DFAs
Calculates the complement (negation) of a DFA, and returns the result as a new DFA.
complement(MutableDFA<S, I>, Collection<? extends I>) - Static method in class net.automatalib.util.automata.fsa.MutableDFAs
 
complete(DFA<?, I>, Collection<? extends I>, A) - Static method in class net.automatalib.util.automata.fsa.DFAs
 
complete(DFA<?, I>, Alphabet<I>) - Static method in class net.automatalib.util.automata.fsa.DFAs
 
complete(MutableDFA<S, I>, Collection<? extends I>) - Static method in class net.automatalib.util.automata.fsa.MutableDFAs
 
complete(MutableDFA<S, I>, Collection<? extends I>, boolean) - Static method in class net.automatalib.util.automata.fsa.MutableDFAs
 
complete(MutableDFA<S, I>, Collection<? extends I>, boolean, boolean) - Static method in class net.automatalib.util.automata.fsa.MutableDFAs
 
compose(Mapping<D, ? extends I>, Mapping<? super I, R>) - Static method in class net.automatalib.commons.util.mappings.Mappings
Retrieves the composition of two mappings, i.e., that mapping that results from applying the Mapping.get(Object) method consecutively.
compose(TS1, TS2) - Static method in class net.automatalib.ts.comp.TSCompositions
 
compose(TS1, TS2) - Static method in class net.automatalib.ts.comp.TSCompositions
 
compose(Predicate<? super S>, Predicate<? super I>, Predicate<? super T>) - Static method in class net.automatalib.util.automata.predicates.TransitionPredicates
 
CompState<S1,S2> - Class in net.automatalib.ts.comp
 
CompState(S1, S2) - Constructor for class net.automatalib.ts.comp.CompState
 
CompTrans<T1,T2> - Class in net.automatalib.ts.comp
 
CompTrans(T1, T2) - Constructor for class net.automatalib.ts.comp.CompTrans
 
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.Output
 
computeOutput(Iterable<? extends I>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractDFA
 
computeOutput(FiniteStateAcceptor<S, I>, Iterable<? extends I>) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractFSA
 
computeOutput(Iterable<? extends I>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractFSA
 
computeOutput(Iterable<? extends I>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA
 
computeOutput(Iterable<? extends I>) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA
 
computeOutput(Iterable<? extends I>) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA
 
computeOutput(Iterable<? extends I>) - Method in class net.automatalib.automata.fsa.impl.FastDFA
 
computeOutput(Iterable<? extends I>) - Method in class net.automatalib.automata.fsa.impl.FastNFA
 
computeOutput(Iterable<? extends I>) - Method in class net.automatalib.automata.transout.abstractimpl.AbstractMealyMachine
 
computeOutput(TransitionOutputAutomaton<S, I, T, O>, Iterable<? extends I>) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractTransOutAutomaton
 
computeOutput(Iterable<? extends I>) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy
 
computeOutput(Iterable<? extends I>) - Method in class net.automatalib.automata.transout.impl.FastMealy
 
computeOutput(Iterable<? extends I>) - Method in class net.automatalib.automata.transout.impl.FastMoore
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.SuffixOutput
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractDFA
 
computeSuffixOutput(FiniteStateAcceptor<S, I>, Iterable<? extends I>, Iterable<? extends I>) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractFSA
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractFSA
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in class net.automatalib.automata.fsa.impl.FastDFA
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in class net.automatalib.automata.fsa.impl.FastNFA
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in class net.automatalib.automata.transout.abstractimpl.AbstractMealyMachine
 
computeSuffixOutput(TransitionOutputAutomaton<S, I, T, O>, Iterable<? extends I>, Iterable<? extends I>) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractTransOutAutomaton
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in class net.automatalib.automata.transout.impl.FastMealy
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in class net.automatalib.automata.transout.impl.FastMoore
 
concat(AbstractLinkedList<? extends E, ? extends T>) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Concatenates two linked lists.
concat(Iterator<? extends T>...) - Static method in class net.automatalib.commons.util.collections.IterableUtil
 
concat(Iterable<? extends T>...) - Static method in class net.automatalib.commons.util.collections.IterableUtil
 
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.
ConcatIterator<T> - Class in net.automatalib.commons.util.collections
 
ConcatIterator(Iterator<? extends T>...) - Constructor for class net.automatalib.commons.util.collections.ConcatIterator
 
ConflictException - Exception in net.automatalib.incremental
Conflict exception.
ConflictException() - Constructor for exception net.automatalib.incremental.ConflictException
Default constructor.
ConflictException(String, Throwable) - Constructor for exception net.automatalib.incremental.ConflictException
Constructor.
ConflictException(String) - Constructor for exception net.automatalib.incremental.ConflictException
Constructor.
ConflictException(Throwable) - Constructor for exception net.automatalib.incremental.ConflictException
Constructor.
conflicts(boolean) - Method in enum net.automatalib.incremental.dfa.Acceptance
 
connect(N, N) - Method in class net.automatalib.graphs.abstractimpl.AbstractMutableGraph
 
connect(Integer, Integer, EP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
connect(int, int, EP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
connect(int, int) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
connect(int, int, EP) - Method in class net.automatalib.graphs.base.compact.CompactSimpleBidiGraph
 
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.
constantValue(boolean) - Static method in class net.automatalib.util.automata.predicates.TransitionPredicates
 
copy(InputStream, OutputStream, boolean) - Static method in class net.automatalib.commons.util.IOUtil
Copies all data from the given input stream to the given output stream.
copy(InputStream, OutputStream) - Static method in class net.automatalib.commons.util.IOUtil
Copies all data from the given input stream to the given output stream and closes the streams.
copy(Reader, Writer, boolean) - Static method in class net.automatalib.commons.util.IOUtil
Copies all text from the given reader to the given writer.
copy(Reader, Writer) - Static method in class net.automatalib.commons.util.IOUtil
Copies all text from the given reader to the given writer and closes both afterwards.
copy(AutomatonCopyMethod, UniversalAutomaton<S1, ? super I1, T1, ? extends SP1, ? extends TP1>, Collection<? extends I1>, MutableAutomaton<S2, I2, T2, ? super SP2, ? super TP2>, Function<? super I1, ? extends I2>, Function<? super SP1, ? extends SP2>, Function<? super TP1, ? extends TP2>, Predicate<? super S1>, TransitionPredicate<? super S1, ? super I1, ? super T1>) - Static method in class net.automatalib.util.automata.copy.AutomatonLowLevelCopy
Copies a UniversalAutomaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.
copy(AutomatonCopyMethod, UniversalAutomaton<S1, ? super I1, T1, ? extends SP1, ? extends TP1>, Collection<? extends I1>, MutableAutomaton<S2, I2, T2, ? super SP2, ? super TP2>, Function<? super I1, ? extends I2>, Function<? super SP1, ? extends SP2>, Function<? super TP1, ? extends TP2>) - Static method in class net.automatalib.util.automata.copy.AutomatonLowLevelCopy
Copies a UniversalAutomaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.
copy(AutomatonCopyMethod, UniversalAutomaton<S1, ? super I, T1, ? extends SP1, ? extends TP1>, Collection<? extends I>, MutableAutomaton<S2, I, T2, ? super SP2, ? super TP2>, Function<? super SP1, ? extends SP2>, Function<? super TP1, ? extends TP2>, Predicate<? super S1>, TransitionPredicate<? super S1, ? super I, ? super T1>) - Static method in class net.automatalib.util.automata.copy.AutomatonLowLevelCopy
Copies a UniversalAutomaton to a MutableAutomaton with compatible input alphabets, but possibly heterogeneous properties.
copy(AutomatonCopyMethod, UniversalAutomaton<S1, ? super I, T1, ? extends SP1, ? extends TP1>, Collection<? extends I>, MutableAutomaton<S2, I, T2, ? super SP2, ? super TP2>, Function<? super SP1, ? extends SP2>, Function<? super TP1, ? extends TP2>) - Static method in class net.automatalib.util.automata.copy.AutomatonLowLevelCopy
Copies a UniversalAutomaton to a MutableAutomaton with compatible input alphabets, but possibly heterogeneous properties.
copy(AutomatonCopyMethod, UniversalAutomaton<S1, ? super I1, T1, ? extends SP, ? extends TP>, Collection<? extends I1>, MutableAutomaton<S2, I2, T2, ? super SP, ? super TP>, Function<? super I1, ? extends I2>, Predicate<? super S1>, TransitionPredicate<? super S1, ? super I1, ? super T1>) - Static method in class net.automatalib.util.automata.copy.AutomatonLowLevelCopy
Copies a UniversalAutomaton with possibly heterogeneous input alphabets, but compatible properties.
copy(AutomatonCopyMethod, UniversalAutomaton<S1, ? super I1, T1, ? extends SP, ? extends TP>, Collection<? extends I1>, MutableAutomaton<S2, I2, T2, ? super SP, ? super TP>, Function<? super I1, ? extends I2>) - Static method in class net.automatalib.util.automata.copy.AutomatonLowLevelCopy
Copies a UniversalAutomaton with possibly heterogeneous input alphabets, but compatible properties.
copy(AutomatonCopyMethod, UniversalAutomaton<S1, ? super I, T1, ? extends SP, ? extends TP>, Collection<? extends I>, MutableAutomaton<S2, I, T2, ? super SP, ? super TP>, Predicate<? super S1>, TransitionPredicate<? super S1, ? super I, ? super T1>) - Static method in class net.automatalib.util.automata.copy.AutomatonLowLevelCopy
Copies a UniversalAutomaton with compatible input alphabets and properties.
copy(AutomatonCopyMethod, UniversalAutomaton<S1, ? super I, T1, ? extends SP, ? extends TP>, Collection<? extends I>, MutableAutomaton<S2, I, T2, ? super SP, ? super TP>) - Static method in class net.automatalib.util.automata.copy.AutomatonLowLevelCopy
Copies a UniversalAutomaton with compatible input alphabets and properties.
copy(TSTraversalMethod, UniversalTransitionSystem<S1, ? super I1, T1, ? extends SP1, ? extends TP1>, int, Collection<? extends I1>, MutableAutomaton<S2, I2, T2, ? super SP2, ? super TP2>, Function<? super I1, ? extends I2>, Function<? super SP1, ? extends SP2>, Function<? super TP1, ? extends TP2>, Predicate<? super S1>, TransitionPredicate<? super S1, ? super I1, ? super T1>) - Static method in class net.automatalib.util.ts.copy.TSCopy
Copies a UniversalAutomaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.
copy(TSTraversalMethod, UniversalTransitionSystem<S1, ? super I1, T1, ? extends SP1, ? extends TP1>, int, Collection<? extends I1>, MutableAutomaton<S2, I2, T2, ? super SP2, ? super TP2>, Function<? super I1, ? extends I2>, Function<? super SP1, ? extends SP2>, Function<? super TP1, ? extends TP2>) - Static method in class net.automatalib.util.ts.copy.TSCopy
Copies a UniversalAutomaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.
copy(TSTraversalMethod, UniversalTransitionSystem<S1, ? super I, T1, ? extends SP1, ? extends TP1>, int, Collection<? extends I>, MutableAutomaton<S2, I, T2, ? super SP2, ? super TP2>, Function<? super SP1, ? extends SP2>, Function<? super TP1, ? extends TP2>, Predicate<? super S1>, TransitionPredicate<? super S1, ? super I, ? super T1>) - Static method in class net.automatalib.util.ts.copy.TSCopy
Copies a UniversalAutomaton to a MutableAutomaton with compatible input alphabets, but possibly heterogeneous properties.
copy(TSTraversalMethod, UniversalTransitionSystem<S1, ? super I, T1, ? extends SP1, ? extends TP1>, int, Collection<? extends I>, MutableAutomaton<S2, I, T2, ? super SP2, ? super TP2>, Function<? super SP1, ? extends SP2>, Function<? super TP1, ? extends TP2>) - Static method in class net.automatalib.util.ts.copy.TSCopy
Copies a UniversalAutomaton to a MutableAutomaton with compatible input alphabets, but possibly heterogeneous properties.
copy(TSTraversalMethod, UniversalTransitionSystem<S1, ? super I1, T1, ? extends SP, ? extends TP>, int, Collection<? extends I1>, MutableAutomaton<S2, I2, T2, ? super SP, ? super TP>, Function<? super I1, ? extends I2>, Predicate<? super S1>, TransitionPredicate<? super S1, ? super I1, ? super T1>) - Static method in class net.automatalib.util.ts.copy.TSCopy
Copies a UniversalAutomaton with possibly heterogeneous input alphabets, but compatible properties.
copy(TSTraversalMethod, UniversalTransitionSystem<S1, ? super I1, T1, ? extends SP, ? extends TP>, int, Collection<? extends I1>, MutableAutomaton<S2, I2, T2, ? super SP, ? super TP>, Function<? super I1, ? extends I2>) - Static method in class net.automatalib.util.ts.copy.TSCopy
Copies a UniversalAutomaton with possibly heterogeneous input alphabets, but compatible properties.
copy(TSTraversalMethod, UniversalTransitionSystem<S1, ? super I, T1, ? extends SP, ? extends TP>, int, Collection<? extends I>, MutableAutomaton<S2, I, T2, ? super SP, ? super TP>, Predicate<? super S1>, TransitionPredicate<? super S1, ? super I, ? super T1>) - Static method in class net.automatalib.util.ts.copy.TSCopy
Copies a UniversalAutomaton with compatible input alphabets and properties.
copy(TSTraversalMethod, UniversalTransitionSystem<S1, ? super I, T1, ? extends SP, ? extends TP>, int, Collection<? extends I>, MutableAutomaton<S2, I, T2, ? super SP, ? super TP>) - Static method in class net.automatalib.util.ts.copy.TSCopy
Copies a UniversalAutomaton with compatible input alphabets and properties.
copyInitialState(S1) - Method in class net.automatalib.util.automata.copy.AbstractLowLevelAutomatonCopier
 
copyPlain(Graph<N1, E1>, MutableGraph<N2, E2, NP2, EP2>, Mapping<? super N1, ? extends NP2>, Mapping<? super E1, ? extends EP2>) - Static method in class net.automatalib.util.graphs.copy.GraphCopy
 
copyPlain(UniversalGraph<N1, E1, ? extends NP2, ? extends EP2>, MutableGraph<N2, E2, NP2, EP2>) - Static method in class net.automatalib.util.graphs.copy.GraphCopy
 
copyState(S1) - Method in class net.automatalib.util.automata.copy.AbstractLowLevelAutomatonCopier
 
copyTransition(T, Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
copyTransition(T, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
copyTransition(Integer, Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
copyTransition(Integer, Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
copyTransition(S, S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA
 
copyTransition(MutableFSA<S, I>, S, S) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA
 
copyTransition(S, S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA
 
copyTransition(S, S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableNFA
 
copyTransition(FastDFAState, FastDFAState) - Method in class net.automatalib.automata.fsa.impl.FastDFA
 
copyTransition(FastNFAState, FastNFAState) - Method in class net.automatalib.automata.fsa.impl.FastNFA
 
copyTransition(T, S) - Method in interface net.automatalib.automata.MutableAutomaton
 
copyTransition(MutableMealyMachine<S, I, T, O>, T, S) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractMealyMachine
 
copyTransition(MutableMooreMachine<S, I, T, O>, T, S) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractMooreMachine
 
copyTransition(CompactMealyTransition<O>, int) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy
 
copyTransition(MealyTransition<FastMealyState<O>, O>, FastMealyState<O>) - Method in class net.automatalib.automata.transout.impl.FastMealy
 
copyTransition(FastMooreState<O>, FastMooreState<O>) - Method in class net.automatalib.automata.transout.impl.FastMoore
 
copyTransition(ProbMealyTransition<FastProbMealyState<O>, O>, FastProbMealyState<O>) - Method in class net.automatalib.automata.transout.impl.FastProbMealy
 
copyTransition(S2, I2, T1, S1) - Method in class net.automatalib.util.automata.copy.AbstractLowLevelAutomatonCopier
 
copyTransitionChecked(S2, I2, T1, S1) - Method in class net.automatalib.util.automata.copy.AbstractLowLevelAutomatonCopier
 
copyTransitions(S2, I2, Iterable<? extends T1>) - Method in class net.automatalib.util.automata.copy.AbstractLowLevelAutomatonCopier
 
copyTraversal(IndefiniteGraph<N1, E1>, MutableGraph<N2, E2, NP2, EP2>, TraversalOrder, int, Collection<? extends N1>, Mapping<? super N1, ? extends NP2>, Mapping<? super E1, ? extends EP2>) - Static method in class net.automatalib.util.graphs.copy.GraphCopy
 
copyTraversal(UniversalIndefiniteGraph<N1, E1, ? extends NP2, ? extends EP2>, MutableGraph<N2, E2, NP2, EP2>, TraversalOrder, int, Collection<? extends N1>) - Static method in class net.automatalib.util.graphs.copy.GraphCopy
 
copyUniversalPlain(UniversalGraph<N1, E1, NP1, EP1>, MutableGraph<N2, E2, NP2, EP2>, Mapping<? super NP1, ? extends NP2>, Mapping<? super EP1, ? extends EP2>) - Static method in class net.automatalib.util.graphs.copy.GraphCopy
 
copyUniversalTraversal(UniversalIndefiniteGraph<N1, E1, NP1, EP1>, MutableGraph<N2, E2, NP2, EP2>, TraversalOrder, int, Collection<? extends N1>, Mapping<? super NP1, ? extends NP2>, Mapping<? super EP1, ? extends EP2>) - Static method in class net.automatalib.util.graphs.copy.GraphCopy
 
cover(DeterministicAutomaton<?, I, ?>, Collection<? extends I>, Collection<? super Word<I>>, Collection<? super Word<I>>) - Static method in class net.automatalib.util.automata.Automata
 
create() - Static method in class net.automatalib.commons.smartcollections.BinaryHeap
 
create(int) - Static method in class net.automatalib.commons.smartcollections.BinaryHeap
 
create(Collection<? extends E>) - Static method in class net.automatalib.commons.smartcollections.BinaryHeap
 
create(int, Collection<? extends E>) - Static method in class net.automatalib.commons.smartcollections.BinaryHeap
 
create(Map<D, R>) - Static method in class net.automatalib.commons.util.mappings.MapMapping
 
createCmp(Comparator<? super E>) - Static method in class net.automatalib.commons.smartcollections.BinaryHeap
 
createCmp(Comparator<? super E>, int) - Static method in class net.automatalib.commons.smartcollections.BinaryHeap
 
createCmp(Comparator<? super E>, Collection<? extends E>) - Static method in class net.automatalib.commons.smartcollections.BinaryHeap
 
createCmp(Comparator<? super E>, int, Collection<? extends E>) - Static method in class net.automatalib.commons.smartcollections.BinaryHeap
 
createDOTComponent(Reader) - Static method in class net.automatalib.commons.dotutil.DOT
Creates a DOTComponent that displays the result of rendering a DOT description read from a Reader.
createDotWriter(boolean) - Static method in class net.automatalib.commons.dotutil.DOT
Creates a Writer that can be used to write a DOT description to.
createDotWriter(String) - Method in class net.automatalib.commons.dotutil.DOTPanel
 
createDynamicNodeMapping() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
createDynamicNodeMapping() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
createDynamicNodeMapping() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
createDynamicNodeMapping() - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
createDynamicNodeMapping() - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
createDynamicNodeMapping() - Method in class net.automatalib.automata.fsa.impl.FastDFA
 
createDynamicNodeMapping(Automaton<S, I, T>) - Static method in class net.automatalib.automata.graphs.AbstractAutomatonGraph
 
createDynamicNodeMapping() - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraph
 
createDynamicNodeMapping() - Method in class net.automatalib.brics.AbstractBricsAutomaton
 
createDynamicNodeMapping(IndefiniteGraph<N, E>) - Static method in class net.automatalib.graphs.abstractimpl.AbstractIndefiniteGraph
Provides a realization for IndefiniteGraph.createDynamicNodeMapping() by defaulting to a HashMap backed mapping.
createDynamicNodeMapping() - Method in class net.automatalib.graphs.abstractimpl.AbstractIndefiniteGraph
 
createDynamicNodeMapping() - Method in interface net.automatalib.graphs.IndefiniteGraph
 
createDynamicNodeMapping() - Method in class net.automatalib.util.automata.asgraph.AutomatonAsGraph
 
createDynamicStateMapping() - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
createDynamicStateMapping() - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
createDynamicStateMapping(TransitionSystem<S, I, T>) - Static method in class net.automatalib.ts.abstractimpl.AbstractTS
 
createDynamicStateMapping() - Method in class net.automatalib.ts.abstractimpl.AbstractTS
 
createDynamicStateMapping() - Method in interface net.automatalib.ts.simple.SimpleTS
Creates a MutableMapping allowing to associate arbitrary data with this transition system's states.
createEdge(int, int, EP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
createEdge(int, int, EP) - Method in class net.automatalib.graphs.base.compact.CompactGraph
 
createEdge(int, int, EP) - Method in class net.automatalib.graphs.base.compact.CompactSimpleBidiGraph
 
createEdge(int, int, EP) - Method in class net.automatalib.graphs.base.compact.CompactSimpleGraph
 
createLowLevelCopier(Automaton<S1, ? super I1, T1>, Collection<? extends I1>, MutableAutomaton<S2, I2, T2, ? super SP2, ? super TP2>, Function<? super I1, ? extends I2>, Function<? super S1, ? extends SP2>, Function<? super T1, ? extends TP2>, Predicate<? super S1>, TransitionPredicate<? super S1, ? super I1, ? super T1>) - Method in interface net.automatalib.util.automata.copy.AutomatonCopyMethod
 
createOutgoingEdges(Automaton<S, I, T>, Collection<? extends I>, S) - Static method in class net.automatalib.automata.graphs.AbstractAutomatonGraph
 
createState() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
createState(SP) - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
createState(SP) - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
createState(Boolean) - Method in class net.automatalib.automata.fsa.impl.FastDFA
 
createState(boolean) - Method in class net.automatalib.automata.fsa.impl.FastDFA
 
createState(Boolean) - Method in class net.automatalib.automata.fsa.impl.FastNFA
 
createState(Void) - Method in class net.automatalib.automata.transout.impl.FastMealy
 
createState(O) - Method in class net.automatalib.automata.transout.impl.FastMoore
 
createState(Void) - Method in class net.automatalib.automata.transout.impl.FastProbMealy
 
createStaticNodeMapping() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
createStaticNodeMapping() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
createStaticNodeMapping() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
createStaticNodeMapping() - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
createStaticNodeMapping() - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
createStaticNodeMapping() - Method in class net.automatalib.automata.fsa.impl.FastDFA
 
createStaticNodeMapping(Automaton<S, I, T>) - Static method in class net.automatalib.automata.graphs.AbstractAutomatonGraph
 
createStaticNodeMapping() - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraph
 
createStaticNodeMapping() - Method in class net.automatalib.brics.AbstractBricsAutomaton
 
createStaticNodeMapping(IndefiniteGraph<N, E>) - Static method in class net.automatalib.graphs.abstractimpl.AbstractIndefiniteGraph
Provides a realization for IndefiniteGraph.createStaticNodeMapping() by defaulting to a HashMap backed mapping.
createStaticNodeMapping() - Method in class net.automatalib.graphs.abstractimpl.AbstractIndefiniteGraph
 
createStaticNodeMapping() - Method in interface net.automatalib.graphs.IndefiniteGraph
 
createStaticNodeMapping() - Method in class net.automatalib.util.automata.asgraph.AutomatonAsGraph
 
createStaticStateMapping(Automaton<S, I, T>) - Static method in class net.automatalib.automata.abstractimpl.AbstractAutomaton
 
createStaticStateMapping() - Method in class net.automatalib.automata.abstractimpl.AbstractAutomaton
 
createStaticStateMapping() - Method in class net.automatalib.automata.abstractimpl.AbstractDeterministicAutomaton
 
createStaticStateMapping() - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
createStaticStateMapping() - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
createStaticStateMapping(TransitionSystem<S, I, T>) - Static method in class net.automatalib.ts.abstractimpl.AbstractTS
 
createStaticStateMapping() - Method in class net.automatalib.ts.abstractimpl.AbstractTS
 
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.automata.base.compact.AbstractCompactDeterministic
 
createTransition(Integer, TP) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
createTransition(Integer, Void) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
createTransition(Integer, Void) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
createTransition(S, Void) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA
 
createTransition(MutableFSA<S, I>, S, Void) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA
 
createTransition(S, Void) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA
 
createTransition(S, Void) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableNFA
 
createTransition(FastDFAState, Void) - Method in class net.automatalib.automata.fsa.impl.FastDFA
 
createTransition(FastNFAState, Void) - Method in class net.automatalib.automata.fsa.impl.FastNFA
 
createTransition(S, TP) - Method in interface net.automatalib.automata.MutableAutomaton
 
createTransition(int, O) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy
 
createTransition(FastMealyState<O>, O) - Method in class net.automatalib.automata.transout.impl.FastMealy
 
createTransition(FastMooreState<O>, Void) - Method in class net.automatalib.automata.transout.impl.FastMoore
 
createTransition(FastProbMealyState<O>, ProbabilisticOutput<O>) - Method in class net.automatalib.automata.transout.impl.FastProbMealy
 
crossEdge(N, Void, E, N, Void) - Method in class net.automatalib.examples.graph.DFSExample.MyDFSVisitor
 
crossEdge(N, D, E, N, D) - Method in class net.automatalib.util.graphs.traversal.BaseDFSVisitor
 
crossEdge(N, D, E, N, D) - Method in interface net.automatalib.util.graphs.traversal.DFSVisitor
 

D

DASHED - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.CommonStyles
 
data - Variable in class net.automatalib.util.ts.traversal.DFRecord
 
decreaseIncoming() - Method in class net.automatalib.incremental.mealy.dag.State
 
deepClear() - Method in class net.automatalib.commons.smartcollections.AbstractSmartCollection
 
deepClear() - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
deepClear() - Method in class net.automatalib.commons.smartcollections.BinaryHeap
 
deepClear() - Method in interface net.automatalib.commons.smartcollections.SmartCollection
Thoroughly clears the collection, fixing all issues that may have been caused by a call of the above SmartCollection.quickClear().
deepClear() - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
DEFAULT_GRAPH_REPRESENTABLE - Static variable in class net.automatalib.util.tries.SuffixTrie
 
DEFAULT_INIT_CAPACITY - Static variable in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
DEFAULT_INIT_CAPACITY - Static variable in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
DEFAULT_INIT_CAPACITY - Static variable in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
DEFAULT_INIT_CAPACITY - Static variable in class net.automatalib.automata.fsa.impl.compact.CompactDFA
 
DEFAULT_INITIAL_CAPACITY - Static variable in class net.automatalib.commons.util.array.ResizingArrayStorage
The default initial capacity of the array storage.
DEFAULT_INITIAL_CAPACITY - Static variable in class net.automatalib.commons.util.array.ResizingIntArray
The arrays default initial capacity.
DEFAULT_INITIAL_CAPACITY - Static variable in class net.automatalib.commons.util.array.ResizingObjectArray
The arrays default initial capacity.
DEFAULT_RESIZE_FACTOR - Static variable in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
DEFAULT_RESIZE_FACTOR - Static variable in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
DEFAULT_RESIZE_FACTOR - Static variable in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
DEFAULT_RESIZE_FACTOR - Static variable in class net.automatalib.automata.fsa.impl.compact.CompactDFA
 
DefaultDOTHelper<N,E> - Class in net.automatalib.graphs.dot
 
DefaultDOTHelper() - Constructor for class net.automatalib.graphs.dot.DefaultDOTHelper
 
DefaultDOTHelper(GraphDOTHelper<N, ? super E>) - Constructor for class net.automatalib.graphs.dot.DefaultDOTHelper
 
DefaultDOTHelperAutomaton<S,I,T,A extends Automaton<S,I,T>> - Class in net.automatalib.automata.dot
 
DefaultDOTHelperAutomaton(A) - Constructor for class net.automatalib.automata.dot.DefaultDOTHelperAutomaton
 
DefaultGraphTraversalVisitor<N,E,D> - Class in net.automatalib.util.graphs.traversal
 
DefaultGraphTraversalVisitor() - Constructor for class net.automatalib.util.graphs.traversal.DefaultGraphTraversalVisitor
 
DefaultLinkedList<E> - Class in net.automatalib.commons.smartcollections
A simple linked list implementation that allows storing arbitrary elements.
DefaultLinkedList() - Constructor for class net.automatalib.commons.smartcollections.DefaultLinkedList
 
DefaultLinkedListEntry<E> - Class in net.automatalib.commons.smartcollections
The default linked list entry.
DefaultLinkedListEntry(E) - Constructor for class net.automatalib.commons.smartcollections.DefaultLinkedListEntry
Constructor.
definedInputs(DeterministicTransitionSystem<S, I, ?>, S, Iterable<? extends I>) - Static method in class net.automatalib.util.ts.TS
 
definedInputsIterator(TransitionSystem<S, I, ?>, S, Iterator<? extends I>) - Static method in class net.automatalib.util.ts.TS
 
DelegateDOTHelper<N,E> - Class in net.automatalib.graphs.dot
 
DelegateDOTHelper(GraphDOTHelper<N, ? super E>) - Constructor for class net.automatalib.graphs.dot.DelegateDOTHelper
 
depth(SuffixTrieNode<I>) - Static method in class net.automatalib.util.tries.SuffixTrieNode
 
depth() - Method in class net.automatalib.util.tries.SuffixTrieNode
 
DEPTH_FIRST - Static variable in interface net.automatalib.util.ts.traversal.TSTraversalMethod
 
depthFirst(IndefiniteGraph<N, E>, int, Collection<? extends N>, GraphTraversalVisitor<N, E, D>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
depthFirst(IndefiniteGraph<N, E>, N, GraphTraversalVisitor<N, E, D>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
depthFirst(IndefiniteGraph<N, E>, int, N, GraphTraversalVisitor<N, E, D>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
depthFirst(IndefiniteGraph<N, E>, Collection<? extends N>, GraphTraversalVisitor<N, E, D>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
depthFirst(TransitionSystem<S, ? super I, T>, int, Collection<? extends I>, TSTraversalVisitor<S, I, T, D>) - Static method in class net.automatalib.util.ts.traversal.TSTraversal
 
depthFirst(TransitionSystem<S, I, T>, Collection<? extends I>, TSTraversalVisitor<S, I, T, D>) - Static method in class net.automatalib.util.ts.traversal.TSTraversal
 
depthFirstOrder(IndefiniteGraph<N, E>, Collection<? extends N>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
DetAcceptorComposition<S1,S2,I,A1 extends DeterministicAcceptorTS<S1,I>,A2 extends DeterministicAcceptorTS<S2,I>> - Class in net.automatalib.util.ts.acceptors
 
DetAcceptorComposition(A1, A2, AcceptanceCombiner) - Constructor for class net.automatalib.util.ts.acceptors.DetAcceptorComposition
 
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.
DeterministicEquivalenceTest<I> - Class in net.automatalib.util.automata.equivalence
 
DeterministicEquivalenceTest(UniversalDeterministicAutomaton<?, I, ?, ?, ?>) - Constructor for class net.automatalib.util.automata.equivalence.DeterministicEquivalenceTest
 
DeterministicPowersetView<S,I,T> - Class in net.automatalib.ts.powerset
 
DeterministicPowersetView(DeterministicTransitionSystem<S, I, T>) - Constructor for class net.automatalib.ts.powerset.DeterministicPowersetView
 
DeterministicTransitionOutputTS<S,I,T,O> - Interface in net.automatalib.ts.transout
 
DeterministicTransitionSystem<S,I,T> - Interface in net.automatalib.ts
Deterministic transition system.
determinize() - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA
 
determinize(NFA<?, I>, Collection<? extends I>, MutableDFA<?, I>, boolean, boolean) - Static method in class net.automatalib.util.automata.fsa.NFAs
 
determinize(NFA<?, I>, Alphabet<I>, boolean, boolean) - Static method in class net.automatalib.util.automata.fsa.NFAs
 
determinize(NFA<?, I>, Alphabet<I>) - Static method in class net.automatalib.util.automata.fsa.NFAs
 
determinize(A, boolean, boolean) - Static method in class net.automatalib.util.automata.fsa.NFAs
 
determinize(A) - Static method in class net.automatalib.util.automata.fsa.NFAs
 
determinize(NFA<?, I>, Collection<? extends I>, MutableDFA<?, I>) - Static method in class net.automatalib.util.automata.fsa.NFAs
 
DetOutputAutomaton<S,I,T,D> - Interface in net.automatalib.automata.concepts
An automaton which deterministically produces an output for an input word.
DFA<S,I> - Interface in net.automatalib.automata.fsa
Deterministic finite state acceptor
DFAs - Class in net.automatalib.util.automata.fsa
Operations on DFAs.
dfIterator(IndefiniteGraph<N, E>, Collection<? extends N>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
DFRecord<S,I,T,D> - Class in net.automatalib.util.ts.traversal
 
DFRecord(S, Collection<? extends I>, D) - Constructor for class net.automatalib.util.ts.traversal.DFRecord
 
DFS - Static variable in interface net.automatalib.util.automata.copy.AutomatonCopyMethod
 
dfs(IndefiniteGraph<N, E>, int, Collection<? extends N>, DFSVisitor<? super N, ? super E, D>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
dfs(IndefiniteGraph<N, E>, N, DFSVisitor<? super N, ? super E, D>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
dfs(IndefiniteGraph<N, E>, Collection<? extends N>, DFSVisitor<? super N, ? super E, D>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
DFSExample - Class in net.automatalib.examples.graph
 
DFSExample() - Constructor for class net.automatalib.examples.graph.DFSExample
 
DFSExample.DFSResultDOTHelper<N,E> - Class in net.automatalib.examples.graph
 
DFSExample.EdgeType - Enum in net.automatalib.examples.graph
 
DFSExample.MyDFSVisitor<N,E> - Class in net.automatalib.examples.graph
 
DFSResultDOTHelper(Map<N, Integer>, Map<E, DFSExample.EdgeType>) - Constructor for class net.automatalib.examples.graph.DFSExample.DFSResultDOTHelper
 
DFSResultDOTHelper(DFSExample.MyDFSVisitor<N, E>) - Constructor for class net.automatalib.examples.graph.DFSExample.DFSResultDOTHelper
 
DFSVisitor<N,E,D> - Interface in net.automatalib.util.graphs.traversal
 
DIAGONALS - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.NodeStyles
 
DijkstraSSSP<N,E> - Class in net.automatalib.algorithms.graph.sssp
Implementation of Dijkstras algorithm for the single-source shortest path problem.
DijkstraSSSP(Graph<N, E>, N, EdgeWeights<E>) - Constructor for class net.automatalib.algorithms.graph.sssp.DijkstraSSSP
Constructor.
DirectPowersetDTS<S,I,T> - Class in net.automatalib.ts.powerset
 
DirectPowersetDTS(TransitionSystem<S, I, T>) - Constructor for class net.automatalib.ts.powerset.DirectPowersetDTS
 
directUnion(int, int) - Method in class net.automatalib.commons.util.combinatorics.DisjointSetForestInt
 
DisjointSetForestInt - Class in net.automatalib.commons.util.combinatorics
 
DisjointSetForestInt(int) - Constructor for class net.automatalib.commons.util.combinatorics.DisjointSetForestInt
 
distinctIntegers(int, int, int, Random) - Static method in class net.automatalib.commons.util.random.RandomUtil
 
distinctIntegers(int, int, Random) - Static method in class net.automatalib.commons.util.random.RandomUtil
 
distinctIntegers(int, int, int) - Method in class net.automatalib.commons.util.random.RandomUtil
 
distinctIntegers(int, int) - Method in class net.automatalib.commons.util.random.RandomUtil
 
doCopy() - Method in class net.automatalib.util.automata.copy.AbstractLowLevelAutomatonCopier
 
doCopy() - Method in interface net.automatalib.util.automata.copy.LowLevelAutomatonCopier
 
doFindSeparatingWord(DFA<S, I>, Collection<? extends I>, boolean) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder
 
doFindSeparatingWord(DFA<S, I>, Collection<? extends I>, boolean) - Method in class net.automatalib.incremental.dfa.tree.IncrementalPCDFATreeBuilder
 
DOT - Class in net.automatalib.commons.dotutil
Utility class to simplify operating the GraphVIZ "dot" utility.
DOT() - Constructor for class net.automatalib.commons.dotutil.DOT
 
DOTComponent - Class in net.automatalib.commons.dotutil
 
DOTComponent() - Constructor for class net.automatalib.commons.dotutil.DOTComponent
 
DOTComponent(Reader) - Constructor for class net.automatalib.commons.dotutil.DOTComponent
 
DOTFrame - Class in net.automatalib.commons.dotutil
 
DOTFrame() - Constructor for class net.automatalib.commons.dotutil.DOTFrame
 
DOTFrame(String) - Constructor for class net.automatalib.commons.dotutil.DOTFrame
 
DOTHelperFSA<S,I> - Class in net.automatalib.automata.dot
 
DOTHelperFSA(FiniteStateAcceptor<S, I>) - Constructor for class net.automatalib.automata.dot.DOTHelperFSA
 
DOTHelperMealy<S,I,T,O> - Class in net.automatalib.automata.dot
 
DOTHelperMealy(TransitionOutputAutomaton<S, I, T, O>) - Constructor for class net.automatalib.automata.dot.DOTHelperMealy
 
DOTPanel - Class in net.automatalib.commons.dotutil
 
DOTPanel() - Constructor for class net.automatalib.commons.dotutil.DOTPanel
 
DOTPlottableAutomaton<S,I,T> - Interface in net.automatalib.automata.dot
 
DOTPlottableGraph<N,E> - Interface in net.automatalib.graphs.dot
 
DOTTED - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.CommonStyles
 
DOUBLECIRCLE - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.NodeShapes
 
DOUBLEOCTAGON - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.NodeShapes
 
DOUBLEOVAL - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.NodeShapes
 
doubleValue(Double, double) - Static method in class net.automatalib.commons.util.WrapperUtil
 
doubleValue(Double) - Static method in class net.automatalib.commons.util.WrapperUtil
 
DTSComposition<S1,S2,I,T1,T2,TS1 extends DeterministicTransitionSystem<S1,I,T1>,TS2 extends DeterministicTransitionSystem<S2,I,T2>> - Class in net.automatalib.ts.comp
 
DTSComposition(TS1, TS2, boolean) - Constructor for class net.automatalib.ts.comp.DTSComposition
 
DTSComposition(TS1, TS2) - Constructor for class net.automatalib.ts.comp.DTSComposition
 
DynamicList<T extends MutableNumericID> - Class in net.automatalib.commons.util.nid
 
DynamicList() - Constructor for class net.automatalib.commons.util.nid.DynamicList
 

E

Edge<I> - Class in net.automatalib.incremental.dfa.tree
 
Edge(Node<I>, I) - Constructor for class net.automatalib.incremental.dfa.tree.Edge
 
edge(N, D, E, N) - Method in class net.automatalib.util.graphs.traversal.BaseDFSVisitor
Most general edge handler.
EdgeAttrs() - Constructor for class net.automatalib.graphs.dot.GraphDOTHelper.EdgeAttrs
 
EdgeLabels<E,L> - Interface in net.automatalib.graphs.concepts
Edge label context, for Graphs with labeled edges.
edgeList() - Method in class net.automatalib.util.graphs.Path
 
edgeList - Variable in class net.automatalib.util.graphs.Path.PathData
 
edgeProperties(UniversalIndefiniteGraph<?, E, ?, EP>) - Static method in class net.automatalib.util.graphs.Graphs
 
edges - Variable in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
EdgeWeights<E> - Interface in net.automatalib.graphs.concepts
Edge weights concepts.
ElementReference - Interface in net.automatalib.commons.smartcollections
Marker interface for element reference.
EMPTY_SET - Static variable in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
EmptyDOTHelper<N,E> - Class in net.automatalib.graphs.dot
 
EmptyDOTHelper() - Constructor for class net.automatalib.graphs.dot.EmptyDOTHelper
 
emptyIterator() - Static method in class net.automatalib.commons.util.collections.IterableUtil
 
endNode() - Method in class net.automatalib.util.graphs.Path
 
enquote(String) - Static method in class net.automatalib.commons.util.strings.StringUtil
 
enquote(String, Appendable) - Static method in class net.automatalib.commons.util.strings.StringUtil
 
enquoteIfNecessary(String, Appendable) - Static method in class net.automatalib.commons.util.strings.StringUtil
 
enquoteIfNecessary(String, Appendable, Pattern) - Static method in class net.automatalib.commons.util.strings.StringUtil
 
enquoteIfNecessary(String, Appendable, Pattern, Pattern) - Static method in class net.automatalib.commons.util.strings.StringUtil
 
ensureAdditionalCapacity(int) - Method in class net.automatalib.commons.smartcollections.BinaryHeap
 
ensureAdditionalCapacity(int) - Method in interface net.automatalib.commons.smartcollections.CapacityManagement
Ensures that the internal storage has room for at least the provided number of additional elements.
ensureAdditionalCapacity(int) - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
ensureAdditionalCapacity(int) - Method in class net.automatalib.words.WordBuilder
Ensures that the internal storage has additionally the given capacity.
ensureCapacity() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
ensureCapacity(int) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
ensureCapacity(int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
ensureCapacity(int, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
ensureCapacity(int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
ensureCapacity(int, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
ensureCapacity(int, int) - Method in class net.automatalib.automata.base.compact.UniversalCompactSimpleDet
 
ensureCapacity(int, int) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA
 
ensureCapacity(int) - Method in class net.automatalib.commons.smartcollections.BinaryHeap
 
ensureCapacity(int) - Method in interface net.automatalib.commons.smartcollections.CapacityManagement
Ensures that the internal storage has room for at least the provided number of elements.
ensureCapacity(int) - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
ensureCapacity(int) - Method in class net.automatalib.commons.util.array.ResizingArrayStorage
Ensures that the storage has room for at least the specified number of elements.
ensureCapacity(int) - Method in class net.automatalib.commons.util.array.ResizingIntArray
 
ensureCapacity(int) - Method in class net.automatalib.commons.util.array.ResizingObjectArray
 
ensureCapacity(int) - Method in class net.automatalib.words.WordBuilder
Ensures that the internal storage has in total the given capacity
entrySet() - Method in class net.automatalib.commons.util.mappings.MapMapping
Delegates to the underlying Map.
EnumAlphabet<E extends Enum<E>> - Class in net.automatalib.words.impl
 
EnumAlphabet(Class<E>, boolean) - Constructor for class net.automatalib.words.impl.EnumAlphabet
 
epsilon() - Static method in class net.automatalib.words.Word
Retrieves the empty word.
equals(Object) - Method in class net.automatalib.automata.graphs.TransitionEdge
 
equals(Object) - Method in class net.automatalib.automata.graphs.TransitionEdge.Property
 
equals(Object) - Method in class net.automatalib.automata.transout.probabilistic.ProbabilisticOutput
 
equals(Object) - Method in class net.automatalib.brics.BricsTransitionProperty
 
equals(Object) - Method in class net.automatalib.commons.util.Pair
Deprecated.
 
equals(Object) - Method in class net.automatalib.commons.util.Triple
Deprecated.
 
equals(Object) - Method in class net.automatalib.ts.comp.CompState
 
equals(Object) - Method in class net.automatalib.ts.comp.CompTrans
 
equals(Object) - Method in class net.automatalib.ts.powerset.FastPowersetState
 
equals(Object) - Method in class net.automatalib.words.impl.Symbol
 
equals(Object) - Method in class net.automatalib.words.Word
 
equiv(DFA<?, I>, DFA<?, I>, Collection<? extends I>, A) - Static method in class net.automatalib.util.automata.fsa.DFAs
Calculates the equivalence ("<=>") of two DFA, and stores the result in a given mutable DFA.
equiv(DFA<?, I>, DFA<?, I>, Alphabet<I>) - Static method in class net.automatalib.util.automata.fsa.DFAs
Calculates the equivalence ("<=>") of two DFA, and returns the result as a new DFA.
EQUIV - Static variable in interface net.automatalib.util.ts.acceptors.AcceptanceCombiner
 
equiv(TS1, TS2) - Static method in class net.automatalib.util.ts.acceptors.Acceptors
 
escapeQuotes(String) - Static method in class net.automatalib.commons.util.strings.StringUtil
Escapes double quotes in a string.
escapeQuotes(String, Appendable) - Static method in class net.automatalib.commons.util.strings.StringUtil
 
executeDOT(String, String...) - Static method in class net.automatalib.commons.dotutil.DOT
 
explore(N, Void) - Method in class net.automatalib.examples.graph.DFSExample.MyDFSVisitor
 
explore(N, D) - Method in class net.automatalib.util.graphs.traversal.BaseDFSVisitor
 
explore(N, D) - Method in interface net.automatalib.util.graphs.traversal.DFSVisitor
 
ExtensionWord<I> - Class in net.automatalib.words.impl
 
ExtensionWord(Word<I>, I) - Constructor for class net.automatalib.words.impl.ExtensionWord
 
extractMin() - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
extractMin() - Method in class net.automatalib.commons.smartcollections.BinaryHeap
 
extractMin() - Method in interface net.automatalib.commons.smartcollections.SmartPriorityQueue
Retrieves and remove the element with the minimum key in the priority queue.
extractMin() - Method in class net.automatalib.util.automata.conformance.StrictPriorityQueue
Retrieves and removes the element at the head of the queue (i.e., the minimum element in the queue).

F

FastAlphabet<I extends MutableNumericID> - Class in net.automatalib.words.impl
A fast alphabet implementation, that assumes identifiers are stored directly in the input symbols.
FastAlphabet() - Constructor for class net.automatalib.words.impl.FastAlphabet
 
FastAlphabet(List<? extends I>) - Constructor for class net.automatalib.words.impl.FastAlphabet
 
FastAlphabet(I...) - Constructor for class net.automatalib.words.impl.FastAlphabet
 
FastDetState<S extends FastDetState<S,T>,T> - Class in net.automatalib.automata.base.fast
 
FastDetState(int) - Constructor for class net.automatalib.automata.base.fast.FastDetState
 
FastDFA<I> - Class in net.automatalib.automata.fsa.impl
 
FastDFA(Alphabet<I>) - Constructor for class net.automatalib.automata.fsa.impl.FastDFA
 
FastDFAState - Class in net.automatalib.automata.fsa.impl
 
FastDFAState(int, boolean) - Constructor for class net.automatalib.automata.fsa.impl.FastDFAState
 
FastMealy<I,O> - Class in net.automatalib.automata.transout.impl
A fast implementation of a Mealy machine.
FastMealy(Alphabet<I>) - Constructor for class net.automatalib.automata.transout.impl.FastMealy
Constructor.
FastMealyState<O> - Class in net.automatalib.automata.transout.impl
A state in a FastMealy automaton.
FastMealyState(int) - Constructor for class net.automatalib.automata.transout.impl.FastMealyState
 
FastMoore<I,O> - Class in net.automatalib.automata.transout.impl
A fast implementation of a Moore automaton.
FastMoore(Alphabet<I>) - Constructor for class net.automatalib.automata.transout.impl.FastMoore
 
FastMooreState<O> - Class in net.automatalib.automata.transout.impl
A state in a FastMoore automaton.
FastMooreState(int, O) - Constructor for class net.automatalib.automata.transout.impl.FastMooreState
Constructor.
FastMutableDet<S extends FastDetState<S,T>,I,T,SP,TP> - Class in net.automatalib.automata.base.fast
 
FastMutableDet(Alphabet<I>) - Constructor for class net.automatalib.automata.base.fast.FastMutableDet
 
FastMutableNondet<S extends FastNondetState<S,T>,I,T,SP,TP> - Class in net.automatalib.automata.base.fast
 
FastMutableNondet(Alphabet<I>) - Constructor for class net.automatalib.automata.base.fast.FastMutableNondet
 
FastNFA<I> - Class in net.automatalib.automata.fsa.impl
 
FastNFA(Alphabet<I>) - Constructor for class net.automatalib.automata.fsa.impl.FastNFA
 
FastNFAState - Class in net.automatalib.automata.fsa.impl
 
FastNFAState(int) - Constructor for class net.automatalib.automata.fsa.impl.FastNFAState
 
FastNFAState(int, boolean) - Constructor for class net.automatalib.automata.fsa.impl.FastNFAState
 
FastNondetState<S extends FastNondetState<S,T>,T> - Class in net.automatalib.automata.base.fast
 
FastNondetState(int) - Constructor for class net.automatalib.automata.base.fast.FastNondetState
 
FastPowersetDTS<S extends NumericID,I,T> - Class in net.automatalib.ts.powerset
 
FastPowersetDTS(TransitionSystem<S, I, T>) - Constructor for class net.automatalib.ts.powerset.FastPowersetDTS
 
FastPowersetState<S> - Class in net.automatalib.ts.powerset
 
FastPowersetState() - Constructor for class net.automatalib.ts.powerset.FastPowersetState
 
FastProbMealy<I,O> - Class in net.automatalib.automata.transout.impl
 
FastProbMealy(Alphabet<I>) - Constructor for class net.automatalib.automata.transout.impl.FastProbMealy
 
FastProbMealyState<O> - Class in net.automatalib.automata.transout.impl
 
FastProbMealyState(int) - Constructor for class net.automatalib.automata.transout.impl.FastProbMealyState
 
FILLED - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.NodeStyles
 
filterByOutput(MealyMachine<?, I, ?, O>, Alphabet<I>, Predicate<? super O>) - Static method in class net.automatalib.util.automata.transout.MealyFilter
 
filterByOutput(MealyMachine<S1, I, T1, O>, Collection<? extends I>, MutableMealyMachine<S2, I, ?, O>, Predicate<? super O>) - Static method in class net.automatalib.util.automata.transout.MealyFilter
 
find(Object) - Method in class net.automatalib.commons.smartcollections.AbstractSmartCollection
 
find(Object) - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
find(Object) - Method in interface net.automatalib.commons.smartcollections.SmartCollection
Retrieves the reference for a given element.
find(int) - Method in class net.automatalib.commons.util.combinatorics.DisjointSetForestInt
 
find(int) - Method in class net.automatalib.commons.util.UnionFind
Finds the set of a given element, and compresses the path to the root node.
findAPSP(Graph<N, E>, EdgeWeights<E>) - Static method in class net.automatalib.algorithms.graph.apsp.FloydWarshallAPSP
 
findAPSP() - Method in class net.automatalib.algorithms.graph.apsp.FloydWarshallAPSP
 
findAPSP(Graph<N, E>, EdgeWeights<E>) - Static method in class net.automatalib.algorithms.graph.GraphAlgorithms
Computes the shortest paths between all pairs of nodes in a graph, using the Floyd-Warshall dynamic programming algorithm.
findCharacterizingSet(UniversalDeterministicAutomaton<S, I, T, ?, ?>, Collection<? extends I>, S, Collection<? super Word<I>>) - Static method in class net.automatalib.util.automata.equivalence.CharacterizingSets
Computes a characterizing set for a specified state in the given automaton.
findCharacterizingSet(UniversalDeterministicAutomaton<S, I, T, ?, ?>, Collection<? extends I>, Collection<? super Word<I>>) - Static method in class net.automatalib.util.automata.equivalence.CharacterizingSets
Computes a characterizing set for the given automaton.
findConstructor(Class<T>, Class<?>...) - Static method in class net.automatalib.commons.util.ReflectUtil
 
findIncrementalCharacterizingSet(UniversalDeterministicAutomaton<S, I, T, ?, ?>, Collection<? extends I>, Collection<? extends Word<I>>, Collection<? super Word<I>>) - Static method in class net.automatalib.util.automata.equivalence.CharacterizingSets
 
findMethod(Class<?>, String, Class<?>...) - Static method in class net.automatalib.commons.util.ReflectUtil
 
findMethodRT(Class<?>, String, Class<?>, Class<?>...) - Static method in class net.automatalib.commons.util.ReflectUtil
 
findSCCs(Graph<N, E>, SCCListener<N>) - Static method in class net.automatalib.algorithms.graph.GraphAlgorithms
Find all strongly-connected components in a graph.
findSCCs(Graph<N, E>, SCCListener<N>) - Static method in class net.automatalib.algorithms.graph.scc.SCCs
Find all strongly-connected components in a graph.
findSeparatingWord(DFA<?, I>, Collection<? extends I>, boolean) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder
 
findSeparatingWord(DFA<?, I>, Collection<? extends I>, boolean) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder
 
findSeparatingWord(A, Collection<? extends I>, boolean) - Method in interface net.automatalib.incremental.IncrementalConstruction
Checks the current state of the construction against a given target model, and returns a word exposing a difference if there is one.
findSeparatingWord(MealyMachine<?, I, ?, O>, Collection<? extends I>, boolean) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder
 
findSeparatingWord(MealyMachine<?, I, ?, O>, Collection<? extends I>, boolean) - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder
 
findSeparatingWord(UniversalDeterministicAutomaton<?, I, ?, ?, ?>, UniversalDeterministicAutomaton<?, I, ?, ?, ?>, Collection<? extends I>) - Static method in class net.automatalib.util.automata.Automata
Finds a separating word for two automata.
findSeparatingWord(UniversalDeterministicAutomaton<S, I, ?, ?, ?>, S, S, Collection<? extends I>) - Static method in class net.automatalib.util.automata.Automata
Finds a separating word for two states in an automaton.
findSeparatingWord(UniversalDeterministicAutomaton<?, I, ?, ?, ?>, Collection<? extends I>) - Method in class net.automatalib.util.automata.equivalence.DeterministicEquivalenceTest
 
findSeparatingWord(UniversalDeterministicAutomaton<S, I, T, ?, ?>, UniversalDeterministicAutomaton<S2, I, T2, ?, ?>, Collection<? extends I>) - Static method in class net.automatalib.util.automata.equivalence.DeterministicEquivalenceTest
 
findSeparatingWord(UniversalDeterministicAutomaton<?, I, ?, ?, ?>, Collection<? extends I>) - Method in class net.automatalib.util.automata.equivalence.NearLinearEquivalenceTest
 
findSeparatingWord(UniversalDeterministicAutomaton<S, I, T, ?, ?>, UniversalDeterministicAutomaton<S2, I, T2, ?, ?>, Collection<? extends I>) - Static method in class net.automatalib.util.automata.equivalence.NearLinearEquivalenceTest
 
findSeparatingWord(UniversalDeterministicAutomaton<S, I, T, ?, ?>, S, S, Collection<? extends I>) - Static method in class net.automatalib.util.automata.equivalence.NearLinearEquivalenceTest
 
findShortestPath(IndefiniteGraph<N, E>, int, N, Collection<? extends N>) - Static method in class net.automatalib.util.graphs.Graphs
 
findSSSP(Graph<N, E>, N, EdgeWeights<E>) - Static method in class net.automatalib.algorithms.graph.GraphAlgorithms
Computes the shortest paths between a single source node and all other nodes in a graph, using Dijkstra's algorithm.
findSSSP(Graph<N, E>, N, EdgeWeights<E>) - Static method in class net.automatalib.algorithms.graph.sssp.DijkstraSSSP
Search for the shortest paths from a single source node in a graph.
findSSSP() - Method in class net.automatalib.algorithms.graph.sssp.DijkstraSSSP
Start the search.
finish(N, D) - Method in class net.automatalib.util.graphs.traversal.BaseDFSVisitor
 
finish(N, D) - Method in interface net.automatalib.util.graphs.traversal.DFSVisitor
 
finishExploration(N, TarjanSCCRecord) - Method in class net.automatalib.algorithms.graph.scc.TarjanSCCVisitor
 
finishExploration(N, D) - Method in class net.automatalib.util.graphs.traversal.DefaultGraphTraversalVisitor
 
finishExploration(N, D) - Method in interface net.automatalib.util.graphs.traversal.GraphTraversalVisitor
Called when the exploration of a node is finished.
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.
first - Variable in class net.automatalib.commons.util.Pair
Deprecated.
 
first - Variable in class net.automatalib.commons.util.Triple
Deprecated.
 
firstEdge() - Method in class net.automatalib.util.graphs.Path
 
firstNode() - Method in class net.automatalib.util.graphs.Path
 
firstNullResult - Variable in enum net.automatalib.commons.util.comparison.CmpUtil.NullOrdering
Value that determines the result of the comparison, when only the first value is a null value.
firstSymbol() - Method in class net.automatalib.words.Word
Retrieves the first symbol of this word.
FIXEDSIZE - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.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 class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA
 
flipAcceptance(MutableFSA<S, I>) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA
 
flipAcceptance() - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableFSA
 
flipAcceptance() - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableNFA
 
flipAcceptance() - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA
 
flipAcceptance() - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA
 
flipAcceptance() - Method in class net.automatalib.automata.fsa.impl.FastDFA
 
flipAcceptance() - Method in class net.automatalib.automata.fsa.impl.FastNFA
 
flipAcceptance() - Method in interface net.automatalib.automata.fsa.MutableFSA
 
floatValue(Float, float) - Static method in class net.automatalib.commons.util.WrapperUtil
 
floatValue(Float) - Static method in class net.automatalib.commons.util.WrapperUtil
 
FloydWarshallAPSP<N,E> - Class in net.automatalib.algorithms.graph.apsp
Implementation of the Floyd-Warshall dynamic programming algorithm for the all pairs shortest paths problem.
FloydWarshallAPSP(Graph<N, E>, EdgeWeights<E>) - Constructor for class net.automatalib.algorithms.graph.apsp.FloydWarshallAPSP
 
forDFA(A) - Static method in class net.automatalib.util.automata.builders.AutomatonBuilders
 
forMealy(A) - Static method in class net.automatalib.util.automata.builders.AutomatonBuilders
 
forwardEdge(N, Void, E, N, Void) - Method in class net.automatalib.examples.graph.DFSExample.MyDFSVisitor
 
forwardEdge(N, D, E, N, D) - Method in class net.automatalib.util.graphs.traversal.BaseDFSVisitor
 
forwardEdge(N, D, E, N, D) - Method in interface net.automatalib.util.graphs.traversal.DFSVisitor
 
foundSCC(Collection<? extends N>) - Method in class net.automatalib.algorithms.graph.scc.SCCCollector
 
foundSCC(Collection<? extends N>) - Method in interface net.automatalib.algorithms.graph.scc.SCCListener
 
fromArray(T...) - Static method in class net.automatalib.words.impl.Alphabets
 
fromArray(I[], int, int) - Static method in class net.automatalib.words.Word
Creates a word from a subrange of an array of symbols.
fromBoolean(boolean) - Static method in enum net.automatalib.incremental.dfa.Acceptance
Retrieves the corresponding acceptance value (either Acceptance.TRUE or Acceptance.FALSE) for a given boolean value.
fromEnum(Class<E>, boolean) - Static method in class net.automatalib.words.impl.Alphabets
 
fromEnum(Class<E>) - Static method in class net.automatalib.words.impl.Alphabets
 
fromLetter(I) - Static method in class net.automatalib.words.Word
Constructs a word from a single letter.
fromList(List<? extends T>) - Static method in class net.automatalib.words.impl.Alphabets
 
fromList(List<? extends I>) - Static method in class net.automatalib.words.Word
Creates a word from a list of symbols
fromMap(Map<D, R>) - Static method in class net.automatalib.commons.util.mappings.Mappings
 
fromPair1(Pair<T1, Pair<T2, T3>>) - Static method in class net.automatalib.commons.util.Triple
Deprecated.
 
fromPair2(Pair<Pair<T1, T2>, T3>) - Static method in class net.automatalib.commons.util.Triple
Deprecated.
 
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
 

G

get(S) - Method in class net.automatalib.automata.base.StateIDDynamicMapping
 
get(S) - Method in class net.automatalib.automata.base.StateIDGrowingMapping
 
get(S) - Method in class net.automatalib.automata.base.StateIDStaticMapping
 
get(ElementReference) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
 
get(ElementReference) - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
get(ElementReference) - Method in class net.automatalib.commons.smartcollections.BinaryHeap
 
get(ElementReference) - Method in interface net.automatalib.commons.smartcollections.SmartCollection
Retrieves an element by its reference.
get(ElementReference) - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
get(int) - Method in class net.automatalib.commons.util.collections.CharRange
 
get(K) - Method in class net.automatalib.commons.util.mappings.ArrayMapping
 
get(D) - Method in class net.automatalib.commons.util.mappings.MapMapping
 
get(D) - Method in interface net.automatalib.commons.util.mappings.Mapping
Get the range object elem maps to.
get(int) - Method in class net.automatalib.commons.util.nid.DynamicList
 
get() - Method in interface net.automatalib.commons.util.ref.Ref
Retrieves the referent.
get() - Method in class net.automatalib.commons.util.ref.StrongRef
 
get() - Method in class net.automatalib.commons.util.ref.WeakRef
 
get(N) - Method in class net.automatalib.util.graphs.OutEdgesMapping
 
get(int) - Method in class net.automatalib.util.graphs.Path
 
get(Block<?, ?>) - Method in class net.automatalib.util.minimizer.BlockMap
Retrieves a value.
get(int) - Method in class net.automatalib.words.abstractimpl.AbstractAlphabet
 
get(int) - Method in class net.automatalib.words.impl.ListAlphabet
 
get(int) - Method in class net.automatalib.words.impl.SimpleAlphabet
 
get(int) - Method in class net.automatalib.words.WordBuilder
 
getAcceptance(State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.GraphView
 
getAcceptance(State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.TransitionSystemView
 
getAcceptance(N) - Method in interface net.automatalib.incremental.dfa.IncrementalDFABuilder.GraphView
 
getAcceptance(S) - Method in interface net.automatalib.incremental.dfa.IncrementalDFABuilder.TransitionSystemView
 
getAcceptance() - Method in class net.automatalib.incremental.dfa.tree.Edge
 
getAcceptance(Node<I>) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.GraphView
 
getAcceptance(Node<I>) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.TransitionSystemView
 
getAcceptance() - Method in class net.automatalib.incremental.dfa.tree.Node
Retrieves the acceptance value of this node.
getAtomicPropositions(N) - Method in interface net.automatalib.graphs.concepts.KripkeInterpretation
Retrieves the atomic propositions holding at the given node.
getAutomaton() - Method in class net.automatalib.util.automata.random.AbstractRandomAutomatonGenerator
 
getBack() - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Retrieves the last element in the list.
getBack() - Method in interface net.automatalib.commons.smartcollections.SmartDeque
Retrieves the element at the end of the sequence, or null if the sequence is empty.
getBackEntry() - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Retrieves the last entry in the list, or null if the list is empty.
getBackReference() - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Retrieves a reference to the last element in the list.
getBackReference() - Method in interface net.automatalib.commons.smartcollections.SmartDeque
Retrieves the reference to the element at the end of the sequence, or null if the sequence is empty.
getBlockForState(S) - Method in class net.automatalib.util.minimizer.MinimizationResult
Retrieves the block to which a given original state belongs.
getBlocks() - Method in class net.automatalib.util.minimizer.MinimizationResult
Retrieves all blocks in the final partition.
getBricsAutomaton() - Method in class net.automatalib.brics.AbstractBricsAutomaton
Retrieves the Brics automaton object.
getChild(int) - Method in class net.automatalib.incremental.dfa.tree.Node
Retrieves, for a given index, the respective child of this node.
getClearAction() - Method in class net.automatalib.commons.dotutil.DOTPanel
 
getDfsNumbers() - Method in class net.automatalib.examples.graph.DFSExample.MyDFSVisitor
 
getDot() - Method in class net.automatalib.commons.dotutil.DOTComponent
 
getDOTHelper() - Method in interface net.automatalib.automata.dot.DOTPlottableAutomaton
 
getDOTHelper() - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA
 
getDOTHelper() - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA
 
getDOTHelper() - Method in class net.automatalib.automata.fsa.impl.FastNFA
 
getDOTHelper() - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy
 
getDOTHelper() - Method in class net.automatalib.automata.transout.impl.FastMealy
 
getEdge() - Method in class net.automatalib.incremental.mealy.tree.AnnotatedEdge
 
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.dot.DefaultDOTHelperAutomaton
 
getEdgeProperties(S, TransitionEdge<I, T>, S, Map<String, String>) - Method in class net.automatalib.automata.dot.DOTHelperMealy
 
getEdgeProperties(UniversalAutomaton<S, I, T, SP, TP>, TransitionEdge<I, T>) - Static method in class net.automatalib.automata.graphs.AbstractAutomatonGraph
 
getEdgeProperties(N, E, N, Map<String, String>) - Method in class net.automatalib.examples.graph.DFSExample.DFSResultDOTHelper
 
getEdgeProperties(N, E, N, Map<String, String>) - Method in class net.automatalib.graphs.dot.AggregateDOTHelper
 
getEdgeProperties(N, E, N, Map<String, String>) - Method in class net.automatalib.graphs.dot.DefaultDOTHelper
 
getEdgeProperties(N, E, N, Map<String, String>) - Method in class net.automatalib.graphs.dot.DelegateDOTHelper
 
getEdgeProperties(N, E, N, Map<String, String>) - Method in class net.automatalib.graphs.dot.EmptyDOTHelper
 
getEdgeProperties(N, E, N, Map<String, String>) - Method in interface net.automatalib.graphs.dot.GraphDOTHelper
Retrieves the GraphVIZ properties for rendering a single edge.
getEdgeProperty(TransitionEdge<I, Integer>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getEdgeProperty(TransitionEdge<I, Integer>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getEdgeProperty(TransitionEdge<I, T>) - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
getEdgeProperty(TransitionEdge<I, T>) - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
getEdgeProperty(TransitionEdge<I, T>) - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraph
 
getEdgeProperty(Transition) - Method in class net.automatalib.brics.AbstractBricsAutomaton
 
getEdgeProperty(E) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
getEdgeProperty(E) - Method in interface net.automatalib.graphs.UniversalIndefiniteGraph
Retrieves the property of a given edge.
getEdgeProperty(TransitionEdge<I, T>) - Method in class net.automatalib.util.automata.asgraph.UniversalAutomatonAsGraph
 
getEdgeTypes() - Method in class net.automatalib.examples.graph.DFSExample.MyDFSVisitor
 
getEdgeWeight(E) - Method in interface net.automatalib.graphs.concepts.EdgeWeights
Retrieves the weight of an edge.
getEdgeWeight(E) - Method in class net.automatalib.util.graphs.concepts.PropertyEdgeWeights
 
getElement() - Method in class net.automatalib.commons.smartcollections.DefaultLinkedListEntry
 
getElement() - Method in interface net.automatalib.commons.smartcollections.LinkedListEntry
Retrieves the element stored at this position in the list.
getElement() - Method in class net.automatalib.util.minimizer.Block
 
getFirst() - Method in class net.automatalib.commons.util.Pair
Deprecated.
Getter for the first member.
getFirst() - Method in class net.automatalib.commons.util.Triple
Deprecated.
 
getFirstTS() - Method in class net.automatalib.ts.comp.DTSComposition
 
getFront() - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Retrieves the first element in the list.
getFront() - Method in interface net.automatalib.commons.smartcollections.SmartDeque
Retrieves the element at the beginning of the sequence, or null if the sequence is empty.
getFrontEntry() - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Retrieves the first entry in the list, or null if the list is empty.
getFrontReference() - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Retrieves a reference to the first element in the list.
getFrontReference() - Method in interface net.automatalib.commons.smartcollections.SmartDeque
Retrieves the reference to the element at the beginning of the sequence, or null if the sequence is empty.
getGlobalEdgeProperties(Map<String, String>) - Method in class net.automatalib.graphs.dot.AggregateDOTHelper
 
getGlobalEdgeProperties(Map<String, String>) - Method in class net.automatalib.graphs.dot.DelegateDOTHelper
 
getGlobalEdgeProperties(Map<String, String>) - Method in class net.automatalib.graphs.dot.EmptyDOTHelper
 
getGlobalEdgeProperties(Map<String, String>) - Method in interface net.automatalib.graphs.dot.GraphDOTHelper
 
getGlobalEdgeProperties(Map<String, String>) - Method in class net.automatalib.graphs.dot.PrettyDOTHelper
 
getGlobalNodeProperties(Map<String, String>) - Method in class net.automatalib.graphs.dot.AggregateDOTHelper
 
getGlobalNodeProperties(Map<String, String>) - Method in class net.automatalib.graphs.dot.DelegateDOTHelper
 
getGlobalNodeProperties(Map<String, String>) - Method in class net.automatalib.graphs.dot.EmptyDOTHelper
 
getGlobalNodeProperties(Map<String, String>) - Method in interface net.automatalib.graphs.dot.GraphDOTHelper
 
getGlobalNodeProperties(Map<String, String>) - Method in class net.automatalib.graphs.dot.PrettyDOTHelper
 
getGraphDOTHelper() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getGraphDOTHelper() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getGraphDOTHelper() - Method in class net.automatalib.brics.AbstractBricsAutomaton
 
getGraphDOTHelper() - Method in interface net.automatalib.graphs.dot.DOTPlottableGraph
 
getGraphDOTHelper() - Method in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder.AbstractGraphView
 
getGraphDOTHelper() - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.GraphView
 
getGraphDOTHelper() - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.GraphView
 
getGraphDOTHelper() - Method in class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder.AbstractGraphView
 
getGraphDOTHelper() - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView
 
getGraphDOTHelper() - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder.GraphView
 
getGraphDOTHelper() - Method in class net.automatalib.util.tries.SuffixTrie
 
getId(Integer) - Static method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
getId() - Method in class net.automatalib.commons.util.nid.AbstractMutableNumericID
 
getId() - Method in interface net.automatalib.commons.util.nid.NumericID
 
getId() - Method in class net.automatalib.util.minimizer.Block
Retrieves the ID of this block.
getIdentifierPattern() - Static method in class net.automatalib.commons.util.strings.StringUtil
 
getImage() - Method in class net.automatalib.commons.dotutil.ImageComponent
Retrieves the image to be displayed
getIncomingEdges(Integer) - Method in class net.automatalib.graphs.base.compact.CompactSimpleBidiGraph
 
getIncomingEdges(int) - Method in class net.automatalib.graphs.base.compact.CompactSimpleBidiGraph
 
getIncomingEdges(N) - Method in interface net.automatalib.graphs.BidirectionalGraph
Retrieves the incoming edges of a given node.
getInEdgeList(int) - Method in class net.automatalib.graphs.base.compact.CompactSimpleBidiGraph
 
getInitialNode() - Method in class net.automatalib.algorithms.graph.sssp.DijkstraSSSP
 
getInitialNode() - Method in interface net.automatalib.algorithms.graph.sssp.SSSPResult
Retrieves the node the source was started from.
getInitialNode() - Method in interface net.automatalib.graphs.concepts.InitialNode
Retrieves the initial node, or null if this graph does not have an initial node.
getInitialNode() - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.GraphView
 
getInitialNode() - Method in interface net.automatalib.incremental.dfa.IncrementalDFABuilder.GraphView
 
getInitialNode() - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.GraphView
 
getInitialNode() - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView
 
getInitialNode() - Method in interface net.automatalib.incremental.mealy.IncrementalMealyBuilder.GraphView
 
getInitialNode() - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder.GraphView
 
getInitialState() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
getInitialState() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getInitialState() - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
getInitialState() - Method in class net.automatalib.brics.BricsDFA
 
getInitialState() - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.TransitionSystemView
 
getInitialState() - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.TransitionSystemView
 
getInitialState() - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.AutomatonView
 
getInitialState() - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder.TransitionSystemView
 
getInitialState() - Method in class net.automatalib.ts.comp.DTSComposition
 
getInitialState() - Method in class net.automatalib.ts.powerset.DeterministicPowersetView
 
getInitialState() - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
 
getInitialState() - Method in class net.automatalib.ts.powerset.FastPowersetDTS
 
getInitialState() - Method in interface net.automatalib.ts.simple.SimpleDTS
Retrieves the initial state of this transition system.
getInitialStates() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getInitialStates() - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
getInitialStates() - Method in class net.automatalib.brics.AbstractBricsAutomaton
 
getInitialStates(DeterministicTransitionSystem<S, I, T>) - Static method in class net.automatalib.ts.abstractimpl.AbstractDTS
getInitialStates() - Method in class net.automatalib.ts.abstractimpl.AbstractDTS
 
getInitialStates() - Method in class net.automatalib.ts.comp.TSComposition
 
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
 
getInput() - Method in class net.automatalib.incremental.dfa.tree.Edge
 
getInput() - Method in class net.automatalib.incremental.mealy.tree.AnnotatedEdge
 
getInputAlphabet() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
getInputAlphabet() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getInputAlphabet() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getInputAlphabet() - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
getInputAlphabet() - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
getInputAlphabet() - Method in interface net.automatalib.automata.concepts.InputAlphabetHolder
 
getInputAlphabet() - Method in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder
 
getInputAlphabet() - Method in interface net.automatalib.incremental.IncrementalConstruction
Retrieves the input alphabet of this construction.
getInputAlphabet() - Method in class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder
 
getInputSymbol(EdgeRecord) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.GraphView
 
getInputSymbol(E) - Method in interface net.automatalib.incremental.dfa.IncrementalDFABuilder.GraphView
 
getInputSymbol(Edge<I>) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.GraphView
 
getInputSymbol(TransitionRecord) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView
 
getInputSymbol(E) - Method in interface net.automatalib.incremental.mealy.IncrementalMealyBuilder.GraphView
 
getInputSymbol(AnnotatedEdge<I, O>) - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder.GraphView
 
getInstance() - Static method in class net.automatalib.AutomataLibSettings
 
getInstance() - Static method in class net.automatalib.util.automata.random.RandomAutomata
 
getIntegerIndex(String) - Static method in class net.automatalib.commons.util.strings.StringIndexGenerator
 
getIntInitialState() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
getIntInitialState() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getIntInitialStates() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getIntSource(CompactBidiEdge<EP>) - Method in class net.automatalib.graphs.base.compact.CompactSimpleBidiGraph
 
getIntState(Iterable<? extends I>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getIntSuccessor(T) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
getIntSuccessor(int, I) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getIntSuccessor(int, Iterable<? extends I>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getIntSuccessor(CompactMealyTransition<O>) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy
 
getIntTransition(int, I) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getIntTransitions(int, I) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getLabel() - Method in class net.automatalib.util.minimizer.BlockEdge
Retrieves the transition label.
getLocalInstance() - Static method in class net.automatalib.util.minimizer.Minimizer
Retrieves the local instance of this minimizer.
getMax() - Method in class net.automatalib.brics.BricsTransitionProperty
Retrieves the upper bound of the character range.
getMaxDepth() - Method in class net.automatalib.util.automata.conformance.IncrementalWMethodTestsIterator
 
getMin() - Method in class net.automatalib.brics.BricsTransitionProperty
Retrieves the lower bound of the character range.
getNext() - Method in class net.automatalib.commons.smartcollections.BasicLinkedListEntry
 
getNext() - Method in interface net.automatalib.commons.smartcollections.LinkedListEntry
Retrieves the next entry in the list, or null if this is the last entry.
getNode(int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getNode(int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getNode(int) - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
getNode(int) - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
getNode(int) - Method in class net.automatalib.automata.graphs.StateAsNodeIDs
 
getNode(int) - Method in class net.automatalib.graphs.abstractimpl.SimpleNodeIDs
 
getNode(int) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
getNode(int) - Method in interface net.automatalib.graphs.concepts.NodeIDs
 
getNode() - Method in class net.automatalib.incremental.dfa.tree.Edge
 
getNodeId(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getNodeId(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getNodeId(S) - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
getNodeId(S) - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
getNodeId(S) - Method in class net.automatalib.automata.graphs.StateAsNodeIDs
 
getNodeId(N) - Method in class net.automatalib.graphs.abstractimpl.SimpleNodeIDs
 
getNodeId(Integer) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
getNodeId(N) - Method in interface net.automatalib.graphs.concepts.NodeIDs
 
getNodeProperties(S, Map<String, String>) - Method in class net.automatalib.automata.dot.DOTHelperFSA
 
getNodeProperties(UniversalAutomaton<S, I, T, SP, TP>, S) - Static method in class net.automatalib.automata.graphs.AbstractAutomatonGraph
 
getNodeProperties(N, Map<String, String>) - Method in class net.automatalib.examples.graph.DFSExample.DFSResultDOTHelper
 
getNodeProperties(int) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
getNodeProperties(int) - Method in class net.automatalib.graphs.base.compact.AbstractCompactNPGraph
 
getNodeProperties(int) - Method in class net.automatalib.graphs.base.compact.AbstractCompactSimpleGraph
 
getNodeProperties(int) - Method in class net.automatalib.graphs.base.compact.CompactGraph
 
getNodeProperties(N, Map<String, String>) - Method in class net.automatalib.graphs.dot.AggregateDOTHelper
 
getNodeProperties(N, Map<String, String>) - Method in class net.automatalib.graphs.dot.DefaultDOTHelper
 
getNodeProperties(N, Map<String, String>) - Method in class net.automatalib.graphs.dot.DelegateDOTHelper
 
getNodeProperties(N, Map<String, String>) - Method in class net.automatalib.graphs.dot.EmptyDOTHelper
 
getNodeProperties(N, Map<String, String>) - Method in interface net.automatalib.graphs.dot.GraphDOTHelper
Retrieves the GraphVIZ properties for rendering a single node.
getNodeProperties(N, Map<String, String>) - Method in class net.automatalib.graphs.dot.PrettyDOTHelper
 
getNodeProperty(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getNodeProperty(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getNodeProperty(S) - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
getNodeProperty(S) - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
getNodeProperty(S) - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraph
 
getNodeProperty(State) - Method in class net.automatalib.brics.AbstractBricsAutomaton
 
getNodeProperty(Integer) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
getNodeProperty(N) - Method in interface net.automatalib.graphs.UniversalIndefiniteGraph
Retrieves the property of a given node.
getNodeProperty(S) - Method in class net.automatalib.util.automata.asgraph.UniversalAutomatonAsGraph
 
getNodes() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
getNodes() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getNodes() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getNodes() - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
getNodes() - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
getNodes(Automaton<S, I, T>) - Static method in class net.automatalib.automata.graphs.AbstractAutomatonGraph
 
getNodes() - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraph
 
getNodes() - Method in class net.automatalib.brics.AbstractBricsAutomaton
 
getNodes() - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
getNodes() - Method in interface net.automatalib.graphs.Graph
Retrieves an (unmodifiable) collection of the nodes in this graph.
getNodes() - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.GraphView
 
getNodes() - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.GraphView
 
getNodes() - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView
 
getNodes() - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder.GraphView
 
getNodes() - Method in class net.automatalib.util.automata.asgraph.AutomatonAsGraph
 
getNodes() - Method in class net.automatalib.util.tries.SuffixTrie
 
getNumBlocks() - Method in class net.automatalib.util.minimizer.MinimizationResult
Retrieves the number of blocks in the final partition.
getNumIncoming() - Method in class net.automatalib.incremental.mealy.dag.State
 
getOriginalStates(S) - Method in class net.automatalib.ts.powerset.DeterministicPowersetView
 
getOriginalStates(Set<? extends S>) - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
 
getOriginalStates(FastPowersetState<S>) - Method in class net.automatalib.ts.powerset.FastPowersetDTS
 
getOriginalStates(S) - Method in interface net.automatalib.ts.PowersetViewTS
 
getOriginalTransitions(T) - Method in class net.automatalib.ts.powerset.DeterministicPowersetView
 
getOriginalTransitions(Set<? extends T>) - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
 
getOriginalTransitions(Set<? extends T>) - Method in class net.automatalib.ts.powerset.FastPowersetDTS
 
getOriginalTransitions(T) - Method in interface net.automatalib.ts.PowersetViewTS
 
getOutEdgeList(int) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
getOutgoingEdgeArray(Block<S, L>) - Method in class net.automatalib.util.minimizer.BlockAutomaton
Retrieves an array of outgoing edges of a block (state).
getOutgoingEdges(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
getOutgoingEdges(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getOutgoingEdges(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getOutgoingEdges(S) - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
getOutgoingEdges(S) - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
getOutgoingEdges(FiniteAlphabetAutomaton<S, I, T>, S) - Static method in class net.automatalib.automata.graphs.AbstractAutomatonGraph
 
getOutgoingEdges(S) - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraph
 
getOutgoingEdges(State) - Method in class net.automatalib.brics.AbstractBricsAutomaton
 
getOutgoingEdges(Integer) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
getOutgoingEdges(int) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
getOutgoingEdges(N) - Method in interface net.automatalib.graphs.IndefiniteGraph
Retrieves the outgoing edges of a given node.
getOutgoingEdges(State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.GraphView
 
getOutgoingEdges(Node<I>) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.GraphView
 
getOutgoingEdges(State) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView
 
getOutgoingEdges(Node<I, O>) - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder.GraphView
 
getOutgoingEdges(S) - Method in class net.automatalib.util.automata.asgraph.AutomatonAsGraph
 
getOutgoingEdges(Block<S, L>) - Method in class net.automatalib.util.minimizer.BlockAutomaton
Retrieves a list of outgoing edges of a block (state).
getOutgoingEdges(SuffixTrieNode<I>) - Method in class net.automatalib.util.tries.SuffixTrie
 
getOutput(S, I) - Method in class net.automatalib.automata.transout.abstractimpl.AbstractMealyMachine
 
getOutput(TransitionOutputAutomaton<S, I, T, O>, S, I) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractTransOutAutomaton
Deprecated.
getOutput(Integer, I) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy
 
getOutput() - Method in class net.automatalib.automata.transout.impl.compact.CompactMealyTransition
 
getOutput(FastMealyState<O>, I) - Method in class net.automatalib.automata.transout.impl.FastMealy
 
getOutput(FastMooreState<O>, I) - Method in class net.automatalib.automata.transout.impl.FastMoore
 
getOutput() - Method in class net.automatalib.automata.transout.impl.FastMooreState
Retrieves the output symbol generated by this state.
getOutput() - Method in class net.automatalib.automata.transout.impl.MealyTransition
Retrieves the output symbol.
getOutput() - Method in class net.automatalib.automata.transout.probabilistic.ProbabilisticOutput
 
getOutput(S, I) - Method in class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder.AbstractTransitionSystemView
 
getOutput(int) - Method in class net.automatalib.incremental.mealy.dag.State
 
getOutput() - Method in class net.automatalib.incremental.mealy.tree.AnnotatedEdge
 
getOutput(DeterministicTransitionOutputTS<S, I, T, O>, S, I) - Static method in class net.automatalib.ts.abstractimpl.AbstractDeterministicTransOutTS
 
getOutput(S, I) - Method in class net.automatalib.ts.abstractimpl.AbstractDeterministicTransOutTS
 
getOutput(S, I) - Method in interface net.automatalib.ts.transout.DeterministicTransitionOutputTS
Retrieves the output for the given input symbol in the given state.
getOutputSymbol(TransitionRecord) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView
 
getOutputSymbol(E) - Method in interface net.automatalib.incremental.mealy.IncrementalMealyBuilder.GraphView
 
getOutputSymbol(AnnotatedEdge<I, O>) - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder.GraphView
 
getParent() - Method in class net.automatalib.util.tries.SuffixTrieNode
 
getPrev() - Method in class net.automatalib.commons.smartcollections.BasicLinkedListEntry
 
getPrev() - Method in interface net.automatalib.commons.smartcollections.LinkedListEntry
Retrieves the previous entry in the list, or null if this is the first entry.
getProbability() - Method in class net.automatalib.automata.transout.impl.ProbMealyTransition
 
getProbability() - Method in class net.automatalib.automata.transout.probabilistic.ProbabilisticOutput
 
getProperty() - Method in class net.automatalib.automata.graphs.TransitionEdge.Property
 
getProperty(String) - Method in class net.automatalib.AutomataLibSettings
 
getProperty(String, String) - Method in class net.automatalib.AutomataLibSettings
 
getProperty() - Method in class net.automatalib.graphs.base.compact.CompactEdge
 
getRandom() - Method in class net.automatalib.commons.util.random.RandomUtil
 
getRenameAction() - Method in class net.automatalib.commons.dotutil.DOTPanel
 
getRepresentative(Block<S, L>) - Method in class net.automatalib.util.minimizer.MinimizationResult
Chooses a representative (i.e., an arbitrary element of the set of states) from a block.
getRoot() - Method in class net.automatalib.util.tries.SuffixTrie
Returns the root of this trie.
getSaveDotAction() - Method in class net.automatalib.commons.dotutil.DOTComponent
 
getSaveDotAction() - Method in class net.automatalib.commons.dotutil.DOTPanel
 
getSavePngAction() - Method in class net.automatalib.commons.dotutil.DOTPanel
 
getSavePngAction() - Method in class net.automatalib.commons.dotutil.ImageComponent
Retrieves an Action to save the image in a PNG file.
getSCCList() - Method in class net.automatalib.algorithms.graph.scc.SCCCollector
 
getSecond() - Method in class net.automatalib.commons.util.Pair
Deprecated.
Getter for the second member.
getSecond() - Method in class net.automatalib.commons.util.Triple
Deprecated.
 
getSecondTS() - Method in class net.automatalib.ts.comp.DTSComposition
 
getShortestPath(N, N) - Method in interface net.automatalib.algorithms.graph.apsp.APSPResult
Retrieves the shortest path between the given nodes, or null if there exists no such path.
getShortestPath(N, N) - Method in class net.automatalib.algorithms.graph.apsp.FloydWarshallAPSP
 
getShortestPath(N) - Method in class net.automatalib.algorithms.graph.sssp.DijkstraSSSP
 
getShortestPath(N) - Method in interface net.automatalib.algorithms.graph.sssp.SSSPResult
Retrieves the shortest path from the initial node to the given one (as a sequence of edges), or null if there exists no such path.
getShortestPathDistance(N, N) - Method in interface net.automatalib.algorithms.graph.apsp.APSPResult
Retrieves the length of the shortest path between the given nodes.
getShortestPathDistance(N, N) - Method in class net.automatalib.algorithms.graph.apsp.FloydWarshallAPSP
 
getShortestPathDistance(N) - Method in class net.automatalib.algorithms.graph.sssp.DijkstraSSSP
 
getShortestPathDistance(N) - Method in interface net.automatalib.algorithms.graph.sssp.SSSPResult
Retrieves the length of the shortest path from the initial node to the given one.
getShortestPathEdge(N) - Method in class net.automatalib.algorithms.graph.sssp.DijkstraSSSP
 
getShortestPathEdge(N) - Method in interface net.automatalib.algorithms.graph.sssp.SSSPResult
Retrieves the incoming edge via which the given node is reached on the shortest path.
getSignature() - Method in class net.automatalib.incremental.mealy.dag.State
 
getSink() - Method in class net.automatalib.incremental.dfa.tree.IncrementalPCDFATreeBuilder
 
getSource() - Method in class net.automatalib.graphs.base.compact.CompactBidiEdge
 
getSource(CompactBidiEdge<EP>) - Method in class net.automatalib.graphs.base.compact.CompactSimpleBidiGraph
 
getSource(E) - Method in interface net.automatalib.graphs.BidirectionalGraph
Retrieves the source node of a given edge.
getSource() - Method in class net.automatalib.util.minimizer.BlockEdge
Retrieves the source block.
getState(int) - Method in class net.automatalib.automata.abstractimpl.SimpleStateIDs
 
getState(int) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
getState(int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getState(Iterable<? extends I>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getState(int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getState(int) - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
getState(int) - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
getState(int) - Method in interface net.automatalib.automata.concepts.StateIDs
 
getState(Iterable<? extends Character>) - Method in class net.automatalib.brics.BricsDFA
 
getState(Word<? extends I>) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder
 
getState(Word<? extends I>) - Method in class net.automatalib.incremental.dfa.dag.IncrementalDFADAGBuilder
Retrieves the state reached by a given word.
getState(Word<? extends I>) - Method in class net.automatalib.incremental.dfa.dag.IncrementalPCDFADAGBuilder
 
getState(DeterministicTransitionSystem<S, I, T>, Iterable<? extends I>) - Static method in class net.automatalib.ts.abstractimpl.AbstractDTS
getState(Iterable<? extends I>) - Method in class net.automatalib.ts.abstractimpl.AbstractDTS
 
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 class net.automatalib.automata.abstractimpl.SimpleStateIDs
 
getStateId(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
getStateId(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getStateId(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getStateId(S) - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
getStateId(S) - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
getStateId(S) - Method in interface net.automatalib.automata.concepts.StateIDs
 
getStateMapping() - Method in class net.automatalib.util.automata.copy.AbstractLowLevelAutomatonCopier
 
getStateMapping() - Method in interface net.automatalib.util.automata.copy.LowLevelAutomatonCopier
 
getStateMapping() - Method in class net.automatalib.util.ts.copy.TSCopyVisitor
 
getStateOutput(S) - Method in interface net.automatalib.automata.concepts.StateOutput
 
getStateOutput(FastMooreState<O>) - Method in class net.automatalib.automata.transout.impl.FastMoore
 
getStateProperty(int) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
getStateProperty(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
getStateProperty(int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getStateProperty(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getStateProperty(int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getStateProperty(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getStateProperty(int) - Method in class net.automatalib.automata.base.compact.UniversalCompactSimpleDet
 
getStateProperty(S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractDFA
 
getStateProperty(FiniteStateAcceptor<S, I>, S) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractFSA
 
getStateProperty(S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractFSA
 
getStateProperty(S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA
 
getStateProperty(int) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA
 
getStateProperty(int) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA
 
getStateProperty(FastDFAState) - Method in class net.automatalib.automata.fsa.impl.FastDFA
 
getStateProperty(FastNFAState) - Method in class net.automatalib.automata.fsa.impl.FastNFA
 
getStateProperty(MealyMachine<S, I, T, O>, S) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractMealyMachine
 
getStateProperty(S) - Method in class net.automatalib.automata.transout.abstractimpl.AbstractMealyMachine
 
getStateProperty(MooreMachine<S, I, T, O>, S) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractMooreMachine
 
getStateProperty(int) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy
 
getStateProperty(Integer) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy
 
getStateProperty(FastMealyState<O>) - Method in class net.automatalib.automata.transout.impl.FastMealy
 
getStateProperty(FastMooreState<O>) - Method in class net.automatalib.automata.transout.impl.FastMoore
 
getStateProperty(FastProbMealyState<O>) - Method in class net.automatalib.automata.transout.impl.FastProbMealy
 
getStateProperty(S) - Method in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder.AbstractTransitionSystemView
 
getStateProperty(S) - Method in class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder.AbstractTransitionSystemView
 
getStateProperty(AcceptorTS<S, I>, S) - Static method in class net.automatalib.ts.acceptors.abstractimpl.AbstractAcceptorTS
 
getStateProperty(S) - Method in class net.automatalib.ts.acceptors.abstractimpl.AbstractAcceptorTS
 
getStateProperty(S) - Method in interface net.automatalib.ts.UniversalTransitionSystem
Retrieves the state property for the given state.
getStateProperty(Pair<S1, S2>) - Method in class net.automatalib.util.ts.acceptors.DetAcceptorComposition
 
getStates() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
getStates() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getStates() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getStates() - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
getStates() - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
getStates() - Method in interface net.automatalib.automata.simple.SimpleAutomaton
Retrieves all states of the transition system.
getStates() - Method in class net.automatalib.brics.AbstractBricsAutomaton
 
getStates(TransitionSystem<S, I, T>, Iterable<? extends I>) - Static method in class net.automatalib.ts.abstractimpl.AbstractTS
getStates(Iterable<? extends I>) - Method in class net.automatalib.ts.abstractimpl.AbstractTS
 
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.
getStatesInBlock(Block<S, L>) - Static method in class net.automatalib.util.minimizer.MinimizationResult
Retrieves all (original) states in a block.
getStringIndex(int) - Method in class net.automatalib.commons.util.strings.StringIndexGenerator
 
getStyle() - Method in enum net.automatalib.examples.graph.DFSExample.EdgeType
 
getSuccessor(T) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
getSuccessor(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getSuccessor(Integer, Iterable<? extends I>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getSuccessor(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getSuccessor(S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractDFA
 
getSuccessor(FiniteStateAcceptor<S, I>, S) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractFSA
 
getSuccessor(S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractFSA
 
getSuccessor(S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA
 
getSuccessor(S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableNFA
 
getSuccessor(FastDFAState) - Method in class net.automatalib.automata.fsa.impl.FastDFA
 
getSuccessor(FastNFAState) - Method in class net.automatalib.automata.fsa.impl.FastNFA
 
getSuccessor(MealyTransition<FastMealyState<O>, O>) - Method in class net.automatalib.automata.transout.impl.FastMealy
 
getSuccessor(FastMooreState<O>) - Method in class net.automatalib.automata.transout.impl.FastMoore
 
getSuccessor(ProbMealyTransition<FastProbMealyState<O>, O>) - Method in class net.automatalib.automata.transout.impl.FastProbMealy
 
getSuccessor() - Method in class net.automatalib.automata.transout.impl.MealyTransition
Retrieves the successor state.
getSuccessor(State, Character) - Method in class net.automatalib.brics.BricsDFA
 
getSuccessor(State, Iterable<? extends Character>) - Method in class net.automatalib.brics.BricsDFA
 
getSuccessor(State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.TransitionSystemView
 
getSuccessor(Node<I>) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.TransitionSystemView
 
getSuccessor(TransitionRecord) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.AutomatonView
 
getSuccessor(int) - Method in class net.automatalib.incremental.mealy.dag.State
 
getSuccessor(Edge<I, O>) - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder.TransitionSystemView
 
getSuccessor(DeterministicTransitionSystem<S, I, T>, S, I) - Static method in class net.automatalib.ts.abstractimpl.AbstractDTS
getSuccessor(DeterministicTransitionSystem<S, I, T>, S, Iterable<? extends I>) - Static method in class net.automatalib.ts.abstractimpl.AbstractDTS
getSuccessor(S, I) - Method in class net.automatalib.ts.abstractimpl.AbstractDTS
 
getSuccessor(S, Iterable<? extends I>) - Method in class net.automatalib.ts.abstractimpl.AbstractDTS
 
getSuccessor(Pair<T1, T2>) - Method in class net.automatalib.ts.comp.DTSComposition
 
getSuccessor(CompTrans<T1, T2>) - Method in class net.automatalib.ts.comp.TSComposition
 
getSuccessor(T) - Method in class net.automatalib.ts.powerset.DeterministicPowersetView
 
getSuccessor(Set<? extends T>) - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
 
getSuccessor(Set<? extends S>, I) - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
 
getSuccessor(Set<? extends T>) - Method in class net.automatalib.ts.powerset.FastPowersetDTS
 
getSuccessor(FastPowersetState<S>, I) - Method in class net.automatalib.ts.powerset.FastPowersetDTS
 
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(State, Character) - Method in class net.automatalib.brics.BricsDFA
 
getSuccessors(TransitionSystem<S, I, T>, S, I) - Static method in class net.automatalib.ts.abstractimpl.AbstractTS
getSuccessors(TransitionSystem<S, I, T>, S, Iterable<? extends I>) - Static method in class net.automatalib.ts.abstractimpl.AbstractTS
getSuccessors(TransitionSystem<S, I, T>, Collection<? extends S>, Iterable<? extends I>) - Static method in class net.automatalib.ts.abstractimpl.AbstractTS
getSuccessors(S, I) - Method in class net.automatalib.ts.abstractimpl.AbstractTS
 
getSuccessors(S, Iterable<? extends I>) - Method in class net.automatalib.ts.abstractimpl.AbstractTS
 
getSuccessors(Collection<? extends S>, Iterable<? extends I>) - Method in class net.automatalib.ts.abstractimpl.AbstractTS
 
getSuccessors(S, I) - Method in interface net.automatalib.ts.simple.SimpleTS
Retrieves the set of successors for the given input symbol.
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.
getSuccId() - Method in class net.automatalib.automata.transout.impl.compact.CompactMealyTransition
 
getSuffix() - Method in class net.automatalib.util.tries.SuffixTrieNode
 
getSymbol(SuffixTrieNode<I>, int) - Static method in class net.automatalib.util.tries.SuffixTrieNode
 
getSymbol() - Method in class net.automatalib.util.tries.SuffixTrieNode
 
getSymbol(int) - Method in class net.automatalib.util.tries.SuffixTrieNode
 
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.impl.ArrayAlphabet
 
getSymbol(int) - Method in class net.automatalib.words.impl.ExtensionWord
 
getSymbol(int) - Method in class net.automatalib.words.impl.FastAlphabet
 
getSymbol(int) - Method in class net.automatalib.words.impl.ListAlphabet
 
getSymbol(int) - Method in class net.automatalib.words.impl.SimpleAlphabet
 
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.
getSymbolIndex(I) - Method in class net.automatalib.words.impl.ArrayAlphabet
 
getSymbolIndex(E) - Method in class net.automatalib.words.impl.EnumAlphabet
 
getSymbolIndex(I) - Method in class net.automatalib.words.impl.FastAlphabet
 
getSymbolIndex(I) - Method in class net.automatalib.words.impl.ListAlphabet
 
getSymbolIndex(I) - Method in class net.automatalib.words.impl.SimpleAlphabet
 
getTarget(TransitionEdge<I, T>) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
getTarget(TransitionEdge<I, Integer>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getTarget(TransitionEdge<I, Integer>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getTarget(TransitionEdge<I, T>) - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
getTarget(TransitionEdge<I, T>) - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
getTarget(Automaton<S, I, T>, TransitionEdge<I, T>) - Static method in class net.automatalib.automata.graphs.AbstractAutomatonGraph
 
getTarget(TransitionEdge<I, T>) - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraph
 
getTarget(Transition) - Method in class net.automatalib.brics.AbstractBricsAutomaton
 
getTarget(E) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
getTarget() - Method in class net.automatalib.graphs.base.compact.CompactEdge
 
getTarget(E) - Method in interface net.automatalib.graphs.IndefiniteGraph
Retrieves, for a given edge, its target node.
getTarget(EdgeRecord) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.GraphView
 
getTarget(Edge<I>) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.GraphView
 
getTarget(TransitionRecord) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView
 
getTarget() - Method in class net.automatalib.incremental.mealy.tree.AnnotatedEdge
 
getTarget(AnnotatedEdge<I, O>) - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder.GraphView
 
getTarget(TransitionEdge<I, T>) - Method in class net.automatalib.util.automata.asgraph.AutomatonAsGraph
 
getTarget() - Method in class net.automatalib.util.minimizer.BlockEdge
Retrieves the target block.
getTarget(SuffixTrieNode<I>) - Method in class net.automatalib.util.tries.SuffixTrie
 
getThird() - Method in class net.automatalib.commons.util.Triple
Deprecated.
 
getTransition(int, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
getTransition(int, I) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
getTransition(Integer, I) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
getTransition(Integer, I) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getTransition(int) - Method in class net.automatalib.automata.base.fast.FastDetState
 
getTransition(S, I) - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
getTransition() - Method in class net.automatalib.automata.graphs.TransitionEdge
 
getTransition(State, Character) - Method in class net.automatalib.brics.BricsDFA
 
getTransition(State, I) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.TransitionSystemView
 
getTransition(Node<I>, I) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.TransitionSystemView
 
getTransition(Node<I>, I) - Method in class net.automatalib.incremental.dfa.tree.IncrementalPCDFATreeBuilder.TransitionSystemView
 
getTransition(State, I) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.AutomatonView
 
getTransition(Node<I, O>, I) - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder.TransitionSystemView
 
getTransition(Pair<S1, S2>, I) - Method in class net.automatalib.ts.comp.DTSComposition
 
getTransition(S, I) - Method in interface net.automatalib.ts.DeterministicTransitionSystem
Retrieves the transition triggered by the given input symbol.
getTransition(S, I) - Method in class net.automatalib.ts.powerset.DeterministicPowersetView
 
getTransition(Set<? extends S>, I) - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
 
getTransition(FastPowersetState<S>, I) - Method in class net.automatalib.ts.powerset.FastPowersetDTS
 
getTransitionOutput(T) - Method in interface net.automatalib.automata.concepts.TransitionOutput
 
getTransitionOutput(MooreMachine<S, I, T, O>, T) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractMooreMachine
 
getTransitionOutput(CompactMealyTransition<O>) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy
 
getTransitionOutput(MealyTransition<FastMealyState<O>, O>) - Method in class net.automatalib.automata.transout.impl.FastMealy
 
getTransitionOutput(FastMooreState<O>) - Method in class net.automatalib.automata.transout.impl.FastMoore
 
getTransitionOutput(ProbMealyTransition<FastProbMealyState<O>, O>) - Method in class net.automatalib.automata.transout.impl.FastProbMealy
 
getTransitionOutput(TransitionRecord) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.AutomatonView
 
getTransitionOutput(Edge<I, O>) - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder.TransitionSystemView
 
getTransitionProbability(T) - Method in interface net.automatalib.automata.concepts.Probabilistic
 
getTransitionProbability(ProbMealyTransition<FastProbMealyState<O>, O>) - Method in class net.automatalib.automata.transout.impl.FastProbMealy
 
getTransitionProperty(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
getTransitionProperty(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getTransitionProperty(S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractDFA
 
getTransitionProperty(FiniteStateAcceptor<S, I>, S) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractFSA
 
getTransitionProperty(S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractFSA
 
getTransitionProperty(S) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableDFA
 
getTransitionProperty(FastDFAState) - Method in class net.automatalib.automata.fsa.impl.FastDFA
 
getTransitionProperty(FastNFAState) - Method in class net.automatalib.automata.fsa.impl.FastNFA
 
getTransitionProperty(MealyMachine<S, I, T, O>, T) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractMealyMachine
 
getTransitionProperty(T) - Method in class net.automatalib.automata.transout.abstractimpl.AbstractMealyMachine
 
getTransitionProperty(MooreMachine<S, I, T, O>, T) - Static method in class net.automatalib.automata.transout.abstractimpl.AbstractMooreMachine
 
getTransitionProperty(CompactMealyTransition<O>) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy
 
getTransitionProperty(MealyTransition<FastMealyState<O>, O>) - Method in class net.automatalib.automata.transout.impl.FastMealy
 
getTransitionProperty(FastMooreState<O>) - Method in class net.automatalib.automata.transout.impl.FastMoore
 
getTransitionProperty(ProbMealyTransition<FastProbMealyState<O>, O>) - Method in class net.automatalib.automata.transout.impl.FastProbMealy
 
getTransitionProperty(T) - Method in interface net.automatalib.automata.transout.probabilistic.ProbabilisticMealyMachine
 
getTransitionProperty(T) - Method in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder.AbstractTransitionSystemView
 
getTransitionProperty(T) - Method in class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder.AbstractTransitionSystemView
 
getTransitionProperty(AcceptorTS<S, I>, S) - Static method in class net.automatalib.ts.acceptors.abstractimpl.AbstractAcceptorTS
 
getTransitionProperty(S) - Method in class net.automatalib.ts.acceptors.abstractimpl.AbstractAcceptorTS
 
getTransitionProperty(T) - Method in interface net.automatalib.ts.UniversalTransitionSystem
Retrieves the transition property for the given state.
getTransitionProperty(Pair<S1, S2>) - Method in class net.automatalib.util.ts.acceptors.DetAcceptorComposition
 
getTransitions(Integer, I) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getTransitions(int, I) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getTransitions(int, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getTransitions(S, I) - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
getTransitions(int) - Method in class net.automatalib.automata.base.fast.FastNondetState
 
getTransitions(State, Character) - Method in class net.automatalib.brics.AbstractBricsAutomaton
 
getTransitions(State, Character) - Method in class net.automatalib.brics.BricsDFA
 
getTransitions(DeterministicTransitionSystem<S, I, T>, S, I) - Static method in class net.automatalib.ts.abstractimpl.AbstractDTS
getTransitions(S, I) - Method in class net.automatalib.ts.abstractimpl.AbstractDTS
 
getTransitions(CompState<S1, S2>, I) - Method in class net.automatalib.ts.comp.TSComposition
 
getTransitions(S, I) - Method in interface net.automatalib.ts.TransitionSystem
Retrieves the transitions that can be triggered by the given input symbol.
getUserObject() - Method in class net.automatalib.words.impl.Symbol
 
Graph<N,E> - Interface in net.automatalib.graphs
Graph interface.
GraphAlgorithms - Class in net.automatalib.algorithms.graph
Convenience entry points and helper methods for various graph algorithms.
GraphAlgorithms() - Constructor for class net.automatalib.algorithms.graph.GraphAlgorithms
 
GraphCopy - Class in net.automatalib.util.graphs.copy
 
GraphCopy() - Constructor for class net.automatalib.util.graphs.copy.GraphCopy
 
GraphDOT - Class in net.automatalib.util.graphs.dot
Methods for rendering a Graph or Automaton in the GraphVIZ DOT format.
GraphDOT() - Constructor for class net.automatalib.util.graphs.dot.GraphDOT
 
GraphDOTHelper<N,E> - Interface in net.automatalib.graphs.dot
Helper interface for plotting graphs using the GraphVIZ DOT format.
GraphDOTHelper.CommonAttrs - Class in net.automatalib.graphs.dot
 
GraphDOTHelper.CommonStyles - Class in net.automatalib.graphs.dot
 
GraphDOTHelper.EdgeAttrs - Class in net.automatalib.graphs.dot
 
GraphDOTHelper.NodeAttrs - Class in net.automatalib.graphs.dot
 
GraphDOTHelper.NodeShapes - Class in net.automatalib.graphs.dot
 
GraphDOTHelper.NodeStyles - Class in net.automatalib.graphs.dot
 
Graphs - Class in net.automatalib.util.graphs
 
GraphTraversal - Class in net.automatalib.util.graphs.traversal
 
GraphTraversalAction - Enum in net.automatalib.util.graphs.traversal
The type of a GraphTraversalAction to be performed.
GraphTraversalVisitor<N,E,D> - Interface in net.automatalib.util.graphs.traversal
Visitor interface for graph traversals.
GraphView() - Constructor for class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.GraphView
 
GraphView() - Constructor for class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.GraphView
 
GraphView() - Constructor for class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView
 
GraphView() - Constructor for class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder.GraphView
 
grayTarget(N, D, E, N, D) - Method in class net.automatalib.util.graphs.traversal.BaseDFSVisitor
 
GrowingAlphabet<I> - Interface in net.automatalib.words
Alphabet class that supports adding new symbols.

H

hasDefinitiveInformation(Word<? extends I>) - Method in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder
 
hasDefinitiveInformation(Word<? extends I>) - Method in interface net.automatalib.incremental.IncrementalConstruction
Checks whether this class has definitive information about a given word.
hasDefinitiveInformation(Word<? extends I>) - Method in class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder
 
hasDefinitiveInformation(Word<? extends I>) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder
 
hasDefinitiveInformation(Word<? extends I>) - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder
 
hashCode() - Method in class net.automatalib.automata.graphs.TransitionEdge
 
hashCode() - Method in class net.automatalib.automata.graphs.TransitionEdge.Property
 
hashCode() - Method in class net.automatalib.automata.transout.probabilistic.ProbabilisticOutput
 
hashCode() - Method in class net.automatalib.brics.BricsTransitionProperty
 
hashCode() - Method in class net.automatalib.commons.util.Pair
Deprecated.
 
hashCode() - Method in class net.automatalib.commons.util.Triple
Deprecated.
 
hashCode() - Method in class net.automatalib.ts.comp.CompState
 
hashCode() - Method in class net.automatalib.ts.comp.CompTrans
 
hashCode() - Method in class net.automatalib.ts.powerset.FastPowersetState
 
hashCode() - Method in class net.automatalib.words.impl.Symbol
 
hashCode() - Method in class net.automatalib.words.Word
 
hasNext() - Method in class net.automatalib.commons.util.BitSetIterator
 
hasNext() - Method in class net.automatalib.commons.util.collections.CharRangeIterator
 
hasNext() - Method in class net.automatalib.commons.util.collections.ConcatIterator
 
hasNext() - Method in class net.automatalib.commons.util.collections.IntRangeIterator
 
hasNext() - Method in class net.automatalib.commons.util.collections.SimplifiedIterator
 
hasNext() - Method in class net.automatalib.commons.util.collections.ThreeLevelIterator
 
hasNext() - Method in class net.automatalib.commons.util.collections.TransformingIterator
 
hasNext() - Method in class net.automatalib.commons.util.collections.TwoLevelIterator
 
hasNext() - Method in class net.automatalib.util.automata.conformance.IncrementalWMethodTestsIterator
 
hasNext() - Method in class net.automatalib.util.ts.traversal.BFSOrderIterator
 
hasPrevious() - Method in class net.automatalib.commons.util.collections.CharRangeIterator
 
hasPrevious() - Method in class net.automatalib.commons.util.collections.IntRangeIterator
 
hasVisited(N) - Method in class net.automatalib.algorithms.graph.scc.TarjanSCCVisitor
 
HEIGHT - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.NodeAttrs
 
hiddenClone(State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder
 
hide(State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder
 
hintNextCapacity(int) - Method in class net.automatalib.commons.smartcollections.BinaryHeap
 
hintNextCapacity(int) - Method in interface net.automatalib.commons.smartcollections.CapacityManagement
Gives a hint regarding the capacity that should be reserved when resizing the internal storage for the next time.
hintNextCapacity(int) - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
hintNextCapacity(int) - Method in class net.automatalib.commons.util.array.ResizingArrayStorage
Sets the minimum new capacity that the storage will have after the next resize.
hintNextCapacity(int) - Method in class net.automatalib.commons.util.array.ResizingIntArray
Hints the next required capacity.
hintNextCapacity(int) - Method in class net.automatalib.commons.util.array.ResizingObjectArray
Hints the next required capacity.
Holder<T> - Class in net.automatalib.commons.util
 
Holder() - Constructor for class net.automatalib.commons.util.Holder
 

I

id - Variable in class net.automatalib.commons.util.nid.AbstractMutableNumericID
 
idChanged(S, int, int) - Method in class net.automatalib.automata.base.StateIDDynamicMapping
 
idChanged(K, int, int) - Method in class net.automatalib.commons.util.mappings.ArrayMapping
 
idChanged(T, int, int) - Method in interface net.automatalib.commons.util.nid.IDChangeListener
 
IDChangeListener<T extends NumericID> - Interface in net.automatalib.commons.util.nid
 
IDChangeNotifier<T extends NumericID> - Class in net.automatalib.commons.util.nid
 
IDChangeNotifier() - Constructor for class net.automatalib.commons.util.nid.IDChangeNotifier
 
identity() - Static method in class net.automatalib.commons.util.mappings.Mappings
Retrieves the identity mapping, which maps each domain value to itself.
idGet(Mapping<D, D>, D) - Static method in class net.automatalib.commons.util.mappings.Mappings
 
ImageComponent - Class in net.automatalib.commons.dotutil
Component that displays a BufferedImage.
ImageComponent() - Constructor for class net.automatalib.commons.dotutil.ImageComponent
Default constructor.
ImageComponent(BufferedImage) - Constructor for class net.automatalib.commons.dotutil.ImageComponent
Constructor.
impl(DFA<?, I>, DFA<?, I>, Collection<? extends I>, A) - Static method in class net.automatalib.util.automata.fsa.DFAs
Calculates the implication ("=>") of two DFA, and stores the result in a given mutable DFA.
impl(DFA<?, I>, DFA<?, I>, Alphabet<I>) - Static method in class net.automatalib.util.automata.fsa.DFAs
Calculates the implication ("=>") of two DFA, and returns the result as a new DFA.
IMPL - Static variable in interface net.automatalib.util.ts.acceptors.AcceptanceCombiner
 
impl(TS1, TS2) - Static method in class net.automatalib.util.ts.acceptors.Acceptors
 
in - Variable in class net.automatalib.util.automata.copy.AbstractLowLevelAutomatonCopier
 
incomingEdges(Graph<N, E>) - Static method in class net.automatalib.util.graphs.Graphs
 
incomingInput - Variable in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.Record
 
increaseIncoming() - Method in class net.automatalib.incremental.mealy.dag.State
 
incrementalCharacterizingSet(UniversalDeterministicAutomaton<?, I, ?, ?, ?>, Collection<? extends I>, Collection<? extends Word<I>>, Collection<? super Word<I>>) - Static method in class net.automatalib.util.automata.Automata
 
IncrementalConstruction<A,I> - Interface in net.automatalib.incremental
Basic interface for incremental automata constructions.
incrementalCover(DeterministicAutomaton<?, I, ?>, Collection<? extends I>, Collection<? extends Word<I>>, Collection<? extends Word<I>>, Collection<? super Word<I>>, Collection<? super Word<I>>) - Static method in class net.automatalib.util.automata.Automata
 
IncrementalDFABuilder<I> - Interface in net.automatalib.incremental.dfa
General interface for incremental DFA builders.
IncrementalDFABuilder.GraphView<I,N,E> - Interface in net.automatalib.incremental.dfa
 
IncrementalDFABuilder.TransitionSystemView<S,I,T> - Interface in net.automatalib.incremental.dfa
 
IncrementalDFADAGBuilder<I> - Class in net.automatalib.incremental.dfa.dag
Incrementally builds an (acyclic) DFA, from a set of positive and negative words.
IncrementalDFADAGBuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.dfa.dag.IncrementalDFADAGBuilder
Constructor.
IncrementalDFAExample - Class in net.automatalib.examples.incremental
 
IncrementalDFAExample() - Constructor for class net.automatalib.examples.incremental.IncrementalDFAExample
 
IncrementalDFATreeBuilder<I> - Class in net.automatalib.incremental.dfa.tree
 
IncrementalDFATreeBuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder
 
IncrementalDFATreeBuilder.GraphView - Class in net.automatalib.incremental.dfa.tree
 
IncrementalDFATreeBuilder.Record<S,I> - Class in net.automatalib.incremental.dfa.tree
 
IncrementalDFATreeBuilder.TransitionSystemView - Class in net.automatalib.incremental.dfa.tree
 
IncrementalMealyBuilder<I,O> - Interface in net.automatalib.incremental.mealy
 
IncrementalMealyBuilder.GraphView<I,O,N,E> - Interface in net.automatalib.incremental.mealy
 
IncrementalMealyBuilder.TransitionSystemView<I,O,S,T> - Interface in net.automatalib.incremental.mealy
 
IncrementalMealyDAGBuilder<I,O> - Class in net.automatalib.incremental.mealy.dag
Incrementally builds an (acyclic) Mealy machine, from a set of input and corresponding output words.
IncrementalMealyDAGBuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder
Constructor.
IncrementalMealyDAGBuilder.AutomatonView - Class in net.automatalib.incremental.mealy.dag
 
IncrementalMealyDAGBuilder.GraphView - Class in net.automatalib.incremental.mealy.dag
 
IncrementalMealyExample - Class in net.automatalib.examples.incremental
 
IncrementalMealyExample() - Constructor for class net.automatalib.examples.incremental.IncrementalMealyExample
 
IncrementalMealyTreeBuilder<I,O> - Class in net.automatalib.incremental.mealy.tree
 
IncrementalMealyTreeBuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder
 
IncrementalMealyTreeBuilder.GraphView - Class in net.automatalib.incremental.mealy.tree
 
IncrementalMealyTreeBuilder.TransitionSystemView - Class in net.automatalib.incremental.mealy.tree
 
IncrementalPCDFADAGBuilder<I> - Class in net.automatalib.incremental.dfa.dag
 
IncrementalPCDFADAGBuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.dfa.dag.IncrementalPCDFADAGBuilder
 
IncrementalPCDFAExample - Class in net.automatalib.examples.incremental
 
IncrementalPCDFAExample() - Constructor for class net.automatalib.examples.incremental.IncrementalPCDFAExample
 
IncrementalPCDFATreeBuilder<I> - Class in net.automatalib.incremental.dfa.tree
 
IncrementalPCDFATreeBuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.dfa.tree.IncrementalPCDFATreeBuilder
 
IncrementalPCDFATreeBuilder.TransitionSystemView - Class in net.automatalib.incremental.dfa.tree
 
incrementalStateCover(DeterministicAutomaton<?, I, ?>, Collection<? extends I>, Collection<? extends Word<I>>, Collection<? super Word<I>>) - Static method in class net.automatalib.util.automata.Automata
 
incrementalStructuralCover(DeterministicAutomaton<?, I, ?>, Collection<? extends I>, Collection<? extends Word<I>>, Collection<? super Word<I>>) - Static method in class net.automatalib.util.automata.Automata
 
IncrementalWMethodTestsIterator<I> - Class in net.automatalib.util.automata.conformance
An iterator that enumerates the test cases as obtained through the W method conformance test in an incremental fashion.
IncrementalWMethodTestsIterator(Alphabet<I>) - Constructor for class net.automatalib.util.automata.conformance.IncrementalWMethodTestsIterator
 
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.
indexOf(char) - Method in class net.automatalib.commons.util.collections.CharRange
 
indexOf(Object) - Method in class net.automatalib.commons.util.collections.CharRange
 
inIndex - Variable in class net.automatalib.graphs.base.compact.CompactBidiEdge
 
init - Variable in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder
 
initial - Variable in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
initialize(N) - Method in class net.automatalib.util.graphs.traversal.BaseDFSVisitor
 
initialize(N) - Method in interface net.automatalib.util.graphs.traversal.DFSVisitor
 
InitialNode<N> - Interface in net.automatalib.graphs.concepts
Initial node concept.
initialNodes() - Method in class net.automatalib.automata.dot.DefaultDOTHelperAutomaton
 
initialNodes() - Method in class net.automatalib.graphs.dot.DefaultDOTHelper
 
initState(int, SP) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
initState(int, SP) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
initState(int, SP) - Method in class net.automatalib.automata.base.compact.UniversalCompactSimpleDet
 
initState(int, Boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA
 
initState(int, Boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA
 
input - Variable in class net.automatalib.util.ts.TS.TransRef
 
inputAlphabet - Variable in class net.automatalib.automata.base.fast.FastMutableDet
 
inputAlphabet - Variable in class net.automatalib.automata.base.fast.FastMutableNondet
 
inputAlphabet - Variable in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder
 
inputAlphabet - Variable in class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder
 
inputAlphabet - Variable in class net.automatalib.util.automata.asgraph.AutomatonAsGraph
 
InputAlphabetHolder<I> - Interface in net.automatalib.automata.concepts
 
inputIn(Object...) - Static method in class net.automatalib.util.automata.predicates.TransitionPredicates
 
inputIn(Collection<?>) - Static method in class net.automatalib.util.automata.predicates.TransitionPredicates
 
inputIs(Object) - Static method in class net.automatalib.util.automata.predicates.TransitionPredicates
 
inputIsNot(Object) - Static method in class net.automatalib.util.automata.predicates.TransitionPredicates
 
inputIt - Variable in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.Record
 
inputNotIn(Object...) - Static method in class net.automatalib.util.automata.predicates.TransitionPredicates
 
inputNotIn(Collection<?>) - Static method in class net.automatalib.util.automata.predicates.TransitionPredicates
 
inputs - Variable in class net.automatalib.util.automata.copy.AbstractLowLevelAutomatonCopier
 
inputs - Variable in class net.automatalib.util.automata.random.AbstractRandomAutomatonGenerator
 
inputSatisfying(Predicate<? super I>) - Static method in class net.automatalib.util.automata.predicates.TransitionPredicates
 
inputsMapping - Variable in class net.automatalib.util.automata.copy.AbstractLowLevelAutomatonCopier
 
insert(Word<? extends I>) - Method in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder
 
insert(Word<? extends I>, boolean) - Method in class net.automatalib.incremental.dfa.dag.IncrementalDFADAGBuilder
Inserts a word into either the set of accepted or rejected words.
insert(Word<? extends I>, boolean) - Method in class net.automatalib.incremental.dfa.dag.IncrementalPCDFADAGBuilder
 
insert(Word<? extends I>, boolean) - Method in interface net.automatalib.incremental.dfa.IncrementalDFABuilder
Inserts a new word into the automaton, with a given acceptance value.
insert(Word<? extends I>) - Method in interface net.automatalib.incremental.dfa.IncrementalDFABuilder
Inserts a new word into the automaton.
insert(Word<? extends I>, boolean) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder
 
insert(Word<? extends I>, boolean) - Method in class net.automatalib.incremental.dfa.tree.IncrementalPCDFATreeBuilder
 
insert(Word<? extends I>, Word<? extends O>) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder
Incorporates a pair of input/output words into the stored information.
insert(Word<? extends I>, Word<? extends O>) - Method in interface net.automatalib.incremental.mealy.IncrementalMealyBuilder
 
insert(Word<? extends I>, Word<? extends O>) - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder
 
insert(E) - Method in class net.automatalib.util.automata.conformance.StrictPriorityQueue
Inserts an element into the queue.
insertAfter(E, ElementReference) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
 
insertAfter(E, ElementReference) - Method in interface net.automatalib.commons.smartcollections.SmartSequence
Inserts the given element after the element referenced by the specified reference.
insertAfterEntry(T, T) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Inserts a new entry after a given one.
insertBefore(E, ElementReference) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
 
insertBefore(E, ElementReference) - Method in interface net.automatalib.commons.smartcollections.SmartSequence
Inserts the given element before the element referenced by the specified reference.
insertBeforeEntry(T, T) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Inserts a new entry before a given one.
integers(int, int) - Static method in class net.automatalib.words.impl.Alphabets
 
intNext() - Method in class net.automatalib.commons.util.collections.IntRangeIterator
 
intPrevious() - Method in class net.automatalib.commons.util.collections.IntRangeIterator
 
intRange(int, int) - Static method in class net.automatalib.commons.util.collections.CollectionsUtil
 
intRange(int, int, int) - Static method in class net.automatalib.commons.util.collections.CollectionsUtil
 
IntRangeIterator - Class in net.automatalib.commons.util.collections
 
IntRangeIterator(int, int, int) - Constructor for class net.automatalib.commons.util.collections.IntRangeIterator
 
IntRangeIterator(int, int, int, int) - Constructor for class net.automatalib.commons.util.collections.IntRangeIterator
 
IntrusiveLinkedList<T extends LinkedListEntry<T,T>> - Class in net.automatalib.commons.smartcollections
An intrusive version of a linked list.
IntrusiveLinkedList() - Constructor for class net.automatalib.commons.smartcollections.IntrusiveLinkedList
 
intValue(int) - Method in class net.automatalib.commons.util.collections.IntRangeIterator
 
intValue(Integer, int) - Static method in class net.automatalib.commons.util.WrapperUtil
 
intValue(Integer) - Static method in class net.automatalib.commons.util.WrapperUtil
 
INVALID_DISTANCE - Static variable in class net.automatalib.algorithms.graph.GraphAlgorithms
Float value to signal that no valid distance is returned (e.g., when attempting to retrieve the length of a path that does not exist).
InvalidReferenceException - Exception in net.automatalib.commons.smartcollections
Exception that is thrown if an invalid ElementReference is used.
InvalidReferenceException() - Constructor for exception net.automatalib.commons.smartcollections.InvalidReferenceException
Default constructor.
InvalidReferenceException(String) - Constructor for exception net.automatalib.commons.smartcollections.InvalidReferenceException
Constructor.
invasiveMinimize(A, Collection<? extends I>) - Static method in class net.automatalib.util.automata.Automata
 
INVISIBLE - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.NodeStyles
 
IOUtil - Class in net.automatalib.commons.util
Utility methods for operating with java.io.
IOUtil() - Constructor for class net.automatalib.commons.util.IOUtil
 
isAccepting(Collection<? extends S>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractMutableNFA
 
isAccepting(NFA<S, I>, Collection<? extends S>) - Static method in class net.automatalib.automata.fsa.abstractimpl.AbstractNFA
 
isAccepting(Collection<? extends S>) - Method in class net.automatalib.automata.fsa.abstractimpl.AbstractNFA
 
isAccepting(int) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA
 
isAccepting(Integer) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA
 
isAccepting(Collection<? extends Integer>) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA
 
isAccepting(Integer) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA
 
isAccepting(int) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA
 
isAccepting(FastDFAState) - Method in class net.automatalib.automata.fsa.impl.FastDFA
 
isAccepting() - Method in class net.automatalib.automata.fsa.impl.FastDFAState
 
isAccepting(Collection<? extends FastNFAState>) - Method in class net.automatalib.automata.fsa.impl.FastNFA
 
isAccepting(FastNFAState) - Method in class net.automatalib.automata.fsa.impl.FastNFA
 
isAccepting() - Method in class net.automatalib.automata.fsa.impl.FastNFAState
 
isAccepting(Collection<? extends S>) - Method in interface net.automatalib.automata.fsa.NFA
 
isAccepting(State) - Method in class net.automatalib.brics.AbstractBricsAutomaton
 
isAccepting(Collection<? extends State>) - Method in class net.automatalib.brics.BricsNFA
 
isAccepting(S) - Method in interface net.automatalib.ts.acceptors.AcceptorTS
Checks whether the given state is accepting.
isAccepting(Pair<S1, S2>) - Method in class net.automatalib.util.ts.acceptors.DetAcceptorComposition
 
isAcceptingNode(N) - Method in interface net.automatalib.graphs.concepts.NodeAcceptance
Checks whether a node is an accepting node.
isComplete(Word<? extends I>) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder
isConfluence() - Method in class net.automatalib.incremental.mealy.dag.State
 
isEmpty() - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
 
isEmpty() - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
isEmpty() - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
isEmpty() - Method in class net.automatalib.commons.util.nid.DynamicList
 
isEmpty() - Method in class net.automatalib.util.automata.conformance.StrictPriorityQueue
 
isEmpty() - Method in class net.automatalib.util.graphs.Path
 
isEmpty() - Method in class net.automatalib.util.minimizer.Block
Checks whether or not this block is empty, i.e., contains no states.
isEmpty() - Method in class net.automatalib.words.Word
Checks if this word is empty, i.e., contains no symbols.
isPrefixOf(Word<?>) - Method in class net.automatalib.words.impl.ExtensionWord
 
isPrefixOf(Word<?>) - Method in class net.automatalib.words.Word
Checks if this word is a prefix of another word.
isRoot() - Method in class net.automatalib.util.tries.SuffixTrieNode
 
isSingleton() - Method in class net.automatalib.util.minimizer.Block
Checks whether or not this block is a singleton, i.e., contains only a single state.
isSuffixOf(Word<?>) - Method in class net.automatalib.words.Word
Checks if this word is a suffix of another word
IterableUtil - Class in net.automatalib.commons.util.collections
 
iterator(Automaton<S, I, T>) - Static method in class net.automatalib.automata.abstractimpl.AbstractAutomaton
Provides a realization of Iterable.iterator() using Iterable.iterator().
iterator() - Method in class net.automatalib.automata.abstractimpl.AbstractAutomaton
 
iterator() - Method in class net.automatalib.automata.abstractimpl.AbstractDeterministicAutomaton
 
iterator() - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
 
iterator() - Method in class net.automatalib.commons.smartcollections.AbstractSmartCollection
 
iterator() - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
iterator() - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
iterator() - Method in class net.automatalib.commons.util.collections.CharRange
 
iterator() - Method in class net.automatalib.commons.util.nid.DynamicList
 
iterator(Graph<N, E>) - Static method in class net.automatalib.graphs.abstractimpl.AbstractGraph
Provides a realization for Iterable.iterator() relying on Graph.getNodes().
iterator() - Method in class net.automatalib.graphs.abstractimpl.AbstractGraph
 
iterator() - Method in class net.automatalib.ts.powerset.FastPowersetState
 
iterator() - Method in class net.automatalib.util.automata.asgraph.AutomatonAsGraph
 
iterator() - Method in class net.automatalib.util.automata.conformance.StrictPriorityQueue
 
iterator() - Method in class net.automatalib.util.graphs.Path
 
iterator() - Method in class net.automatalib.util.tries.SuffixTrieNode
 
iterator() - Method in class net.automatalib.words.impl.ExtensionWord
 
iterator() - Method in class net.automatalib.words.impl.SimpleAlphabet
 
iterator() - Method in class net.automatalib.words.Word
 

K

keyChanged(int) - Method in class net.automatalib.commons.smartcollections.BinaryHeap
 
keyChanged(ElementReference) - Method in class net.automatalib.commons.smartcollections.BinaryHeap
 
keyChanged(ElementReference) - Method in interface net.automatalib.commons.smartcollections.SmartDynamicPriorityQueue
Notifies the implementation that the key of an element has changed.
KripkeInterpretation<N,AP> - Interface in net.automatalib.graphs.concepts
A Kripke interpretation for a graph.

L

l2Iterator(L1) - Method in class net.automatalib.commons.util.collections.ThreeLevelIterator
 
l2Iterator(L1) - Method in class net.automatalib.commons.util.collections.TwoLevelIterator
 
l2Iterator(List<I>) - Method in class net.automatalib.util.automata.conformance.WMethodTestsIterator
 
l3Iterator(L1, L2) - Method in class net.automatalib.commons.util.collections.ThreeLevelIterator
 
l3Iterator(List<I>, Word<I>) - Method in class net.automatalib.util.automata.conformance.WMethodTestsIterator
 
LABEL - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.CommonAttrs
 
lastEdge() - Method in class net.automatalib.util.graphs.Path
 
lastIndexOf(Object) - Method in class net.automatalib.commons.util.collections.CharRange
 
lastSymbol() - Method in class net.automatalib.words.Word
Retrieves the last symbol of this word.
length() - Method in class net.automatalib.util.tries.SuffixTrieNode
 
length() - Method in class net.automatalib.words.impl.ExtensionWord
 
length() - Method in class net.automatalib.words.Word
Retrieves the length of this word.
lexComparator(Comparator<U>) - Static method in class net.automatalib.commons.util.comparison.CmpUtil
Retrieves a lexicographical comparator for the given type.
lexComparator() - Static method in class net.automatalib.commons.util.comparison.CmpUtil
Retrieves a lexicographical comparator for the given type, which has to be an Iterable of Comparable types.
lexCompare(Iterable<? extends U>, Iterable<? extends U>, Comparator<U>) - Static method in class net.automatalib.commons.util.comparison.CmpUtil
Lexicographically compares two Iterables.
lexCompare(Iterable<? extends U>, Iterable<? extends U>) - Static method in class net.automatalib.commons.util.comparison.CmpUtil
Lexicographically compares two Iterables, whose element types are comparable.
link(int, int) - Method in class net.automatalib.commons.util.UnionFind
Unites two given sets.
LinkedListEntry<E,T extends LinkedListEntry<E,T>> - Interface in net.automatalib.commons.smartcollections
Basic interface for entries in a linked list.
listActions(List<Action>) - Method in class net.automatalib.commons.dotutil.DOTComponent
 
listActions(List<Action>) - Method in class net.automatalib.commons.dotutil.ImageComponent
 
ListAlphabet<I> - Class in net.automatalib.words.impl
 
ListAlphabet(List<? extends I>) - Constructor for class net.automatalib.words.impl.ListAlphabet
 
listIterator() - Method in class net.automatalib.commons.util.collections.CharRange
 
listIterator(int) - Method in class net.automatalib.commons.util.collections.CharRange
 
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.
longValue(Long, long) - Static method in class net.automatalib.commons.util.WrapperUtil
 
longValue(Long) - Static method in class net.automatalib.commons.util.WrapperUtil
 
lookup(Word<? extends I>) - Method in class net.automatalib.incremental.dfa.dag.IncrementalDFADAGBuilder
Checks the ternary acceptance status for a given word.
lookup(Word<? extends I>) - Method in class net.automatalib.incremental.dfa.dag.IncrementalPCDFADAGBuilder
 
lookup(Word<? extends I>) - Method in interface net.automatalib.incremental.dfa.IncrementalDFABuilder
Looks up the tri-state acceptance value for a given word.
lookup(Word<? extends I>) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder
 
lookup(Word<? extends I>) - Method in class net.automatalib.incremental.dfa.tree.IncrementalPCDFATreeBuilder
 
lookup(Word<? extends I>) - Method in class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder
 
lookup(Word<? extends I>, List<? super O>) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder
Retrieves the output word for the given input word.
lookup(Word<? extends I>) - Method in interface net.automatalib.incremental.mealy.IncrementalMealyBuilder
 
lookup(Word<? extends I>, List<? super O>) - Method in interface net.automatalib.incremental.mealy.IncrementalMealyBuilder
 
lookup(Word<? extends I>, List<? super O>) - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder
 
LowLevelAutomatonCopier<S1,I1,T1,S2,I2,T2,SP2,TP2> - Interface in net.automatalib.util.automata.copy
 

M

main(String[]) - Static method in class net.automatalib.examples.brics.SimpleBricsExample
 
main(String[]) - Static method in class net.automatalib.examples.graph.DFSExample
 
main(String[]) - Static method in class net.automatalib.examples.incremental.IncrementalDFAExample
 
main(String[]) - Static method in class net.automatalib.examples.incremental.IncrementalMealyExample
 
main(String[]) - Static method in class net.automatalib.examples.incremental.IncrementalPCDFAExample
 
make(T1, T2) - Static method in class net.automatalib.commons.util.Pair
Deprecated.
Convenience function for creating a pair, allowing the user to omit the type parameters.
make(T1, T2, T3) - Static method in class net.automatalib.commons.util.Triple
Deprecated.
 
makeEntry(E) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Creates (if necessary) a LinkedListEntry for the given element.
makeEntry(E) - Method in class net.automatalib.commons.smartcollections.DefaultLinkedList
 
makeEntry(T) - Method in class net.automatalib.commons.smartcollections.IntrusiveLinkedList
 
makeId(int) - Static method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
makeSink() - Method in class net.automatalib.incremental.dfa.tree.Node
 
MapMapping<D,R> - Class in net.automatalib.commons.util.mappings
Class that wraps a Mapping around a Map.
MapMapping(Map<D, R>, boolean) - Constructor for class net.automatalib.commons.util.mappings.MapMapping
 
MapMapping(Map<? super D, R>) - Constructor for class net.automatalib.commons.util.mappings.MapMapping
Constructor.
MapMapping() - Constructor for class net.automatalib.commons.util.mappings.MapMapping
 
Mapping<D,R> - Interface in net.automatalib.commons.util.mappings
An interface for mapping objects of a certain domain type to objects of a certain range type.
Mappings - Class in net.automatalib.commons.util.mappings
Collection of various methods dealing with Mappings.
MealyFilter - Class in net.automatalib.util.automata.transout
Various utility methods to filter Mealy machines.
MealyMachine<S,I,T,O> - Interface in net.automatalib.automata.transout
 
MealyTransition<S,O> - Class in net.automatalib.automata.transout.impl
A transition of a mealy machine, comprising a successor state and an output symbol.
MealyTransition(S, O) - Constructor for class net.automatalib.automata.transout.impl.MealyTransition
Constructor.
MealyTransitionSystem<S,I,T,O> - Interface in net.automatalib.ts.transout
 
merge(E, E) - Method in interface net.automatalib.util.automata.conformance.StrictPriorityQueue.MergeOperation
Merges the old element and the new element into a replacement element.
MinimizationResult<S,L> - Class in net.automatalib.util.minimizer
The result structure of a minimization process.
minimize(UniversalDeterministicAutomaton<S, I, T, SP, TP>, Collection<? extends I>, A) - Static method in class net.automatalib.util.automata.Automata
 
minimize(UniversalGraph<S, ?, ?, L>) - Static method in class net.automatalib.util.minimizer.Minimizer
Minimizes an automaton.
minimize(UniversalGraph<S, ?, ?, L>, Collection<? extends S>) - Static method in class net.automatalib.util.minimizer.Minimizer
 
Minimizer<S,L> - Class in net.automatalib.util.minimizer
Automaton minimizer.
Minimizer() - Constructor for class net.automatalib.util.minimizer.Minimizer
Deprecated.
Public instantiation is deprecated. Use Minimizer.getLocalInstance() or Minimizer.minimize(UniversalGraph)
MooreMachine<S,I,T,O> - Interface in net.automatalib.automata.transout
 
MutableAutomaton<S,I,T,SP,TP> - Interface in net.automatalib.automata
A mutable automaton.
MutableDeterministic<S,I,T,SP,TP> - Interface in net.automatalib.automata
Interface for a mutable deterministic automaton.
MutableDFA<S,I> - Interface in net.automatalib.automata.fsa
 
MutableDFAs - Class in net.automatalib.util.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.
MutableMapping<D,R> - Interface in net.automatalib.commons.util.mappings
Mutable version of a Mapping, which supports setting keys for given values.
MutableMealyMachine<S,I,T,O> - Interface in net.automatalib.automata.transout
 
MutableMooreMachine<S,I,T,O> - Interface in net.automatalib.automata.transout
 
MutableNFA<S,I> - Interface in net.automatalib.automata.fsa
 
MutableNumericID - Interface in net.automatalib.commons.util.nid
 
MutableProbabilistic<T> - Interface in net.automatalib.automata.concepts
 
MutableProbabilisticMealy<S,I,T,O> - Interface in net.automatalib.automata.transout.probabilistic
 
MutableStateOutput<S,O> - Interface in net.automatalib.automata.concepts
 
MutableTransitionOutput<T,O> - Interface in net.automatalib.automata.concepts
 
MyDFSVisitor() - Constructor for class net.automatalib.examples.graph.DFSExample.MyDFSVisitor
 

N

naturalOrderingComparator() - Static method in class net.automatalib.commons.util.comparison.CmpUtil
Retrieves a Comparator that compares elements according to their natural ordering (i.e., they have to implement the Comparable interface.
NearLinearEquivalenceTest<I> - Class in net.automatalib.util.automata.equivalence
 
NearLinearEquivalenceTest(UniversalDeterministicAutomaton<?, I, ?, ?, ?>) - Constructor for class net.automatalib.util.automata.equivalence.NearLinearEquivalenceTest
 
net.automatalib - package net.automatalib
 
net.automatalib.algorithms.graph - package net.automatalib.algorithms.graph
 
net.automatalib.algorithms.graph.apsp - package net.automatalib.algorithms.graph.apsp
 
net.automatalib.algorithms.graph.scc - package net.automatalib.algorithms.graph.scc
 
net.automatalib.algorithms.graph.sssp - package net.automatalib.algorithms.graph.sssp
 
net.automatalib.automata - package net.automatalib.automata
 
net.automatalib.automata.abstractimpl - package net.automatalib.automata.abstractimpl
 
net.automatalib.automata.base - package net.automatalib.automata.base
 
net.automatalib.automata.base.compact - package net.automatalib.automata.base.compact
 
net.automatalib.automata.base.fast - package net.automatalib.automata.base.fast
 
net.automatalib.automata.concepts - package net.automatalib.automata.concepts
 
net.automatalib.automata.dot - package net.automatalib.automata.dot
 
net.automatalib.automata.fsa - package net.automatalib.automata.fsa
 
net.automatalib.automata.fsa.abstractimpl - package net.automatalib.automata.fsa.abstractimpl
 
net.automatalib.automata.fsa.impl - package net.automatalib.automata.fsa.impl
 
net.automatalib.automata.fsa.impl.compact - package net.automatalib.automata.fsa.impl.compact
 
net.automatalib.automata.graphs - package net.automatalib.automata.graphs
 
net.automatalib.automata.simple - package net.automatalib.automata.simple
 
net.automatalib.automata.transout - package net.automatalib.automata.transout
 
net.automatalib.automata.transout.abstractimpl - package net.automatalib.automata.transout.abstractimpl
 
net.automatalib.automata.transout.impl - package net.automatalib.automata.transout.impl
 
net.automatalib.automata.transout.impl.compact - package net.automatalib.automata.transout.impl.compact
 
net.automatalib.automata.transout.probabilistic - package net.automatalib.automata.transout.probabilistic
 
net.automatalib.brics - package net.automatalib.brics
 
net.automatalib.commons.dotutil - package net.automatalib.commons.dotutil
 
net.automatalib.commons.smartcollections - package net.automatalib.commons.smartcollections
 
net.automatalib.commons.util - package net.automatalib.commons.util
 
net.automatalib.commons.util.array - package net.automatalib.commons.util.array
 
net.automatalib.commons.util.collections - package net.automatalib.commons.util.collections
 
net.automatalib.commons.util.combinatorics - package net.automatalib.commons.util.combinatorics
 
net.automatalib.commons.util.comparison - package net.automatalib.commons.util.comparison
 
net.automatalib.commons.util.mappings - package net.automatalib.commons.util.mappings
 
net.automatalib.commons.util.nid - package net.automatalib.commons.util.nid
 
net.automatalib.commons.util.random - package net.automatalib.commons.util.random
 
net.automatalib.commons.util.ref - package net.automatalib.commons.util.ref
 
net.automatalib.commons.util.strings - package net.automatalib.commons.util.strings
 
net.automatalib.examples.brics - package net.automatalib.examples.brics
 
net.automatalib.examples.graph - package net.automatalib.examples.graph
 
net.automatalib.examples.incremental - package net.automatalib.examples.incremental
 
net.automatalib.graphs - package net.automatalib.graphs
 
net.automatalib.graphs.abstractimpl - package net.automatalib.graphs.abstractimpl
 
net.automatalib.graphs.base.compact - package net.automatalib.graphs.base.compact
 
net.automatalib.graphs.concepts - package net.automatalib.graphs.concepts
 
net.automatalib.graphs.dot - package net.automatalib.graphs.dot
 
net.automatalib.incremental - package net.automatalib.incremental
 
net.automatalib.incremental.dfa - package net.automatalib.incremental.dfa
 
net.automatalib.incremental.dfa.dag - package net.automatalib.incremental.dfa.dag
 
net.automatalib.incremental.dfa.tree - package net.automatalib.incremental.dfa.tree
 
net.automatalib.incremental.mealy - package net.automatalib.incremental.mealy
 
net.automatalib.incremental.mealy.dag - package net.automatalib.incremental.mealy.dag
 
net.automatalib.incremental.mealy.tree - package net.automatalib.incremental.mealy.tree
 
net.automatalib.ts - package net.automatalib.ts
 
net.automatalib.ts.abstractimpl - package net.automatalib.ts.abstractimpl
 
net.automatalib.ts.acceptors - package net.automatalib.ts.acceptors
 
net.automatalib.ts.acceptors.abstractimpl - package net.automatalib.ts.acceptors.abstractimpl
 
net.automatalib.ts.comp - package net.automatalib.ts.comp
 
net.automatalib.ts.powerset - package net.automatalib.ts.powerset
 
net.automatalib.ts.simple - package net.automatalib.ts.simple
 
net.automatalib.ts.transout - package net.automatalib.ts.transout
 
net.automatalib.util.automata - package net.automatalib.util.automata
 
net.automatalib.util.automata.asgraph - package net.automatalib.util.automata.asgraph
 
net.automatalib.util.automata.builders - package net.automatalib.util.automata.builders
 
net.automatalib.util.automata.conformance - package net.automatalib.util.automata.conformance
 
net.automatalib.util.automata.copy - package net.automatalib.util.automata.copy
 
net.automatalib.util.automata.equivalence - package net.automatalib.util.automata.equivalence
 
net.automatalib.util.automata.fsa - package net.automatalib.util.automata.fsa
 
net.automatalib.util.automata.predicates - package net.automatalib.util.automata.predicates
 
net.automatalib.util.automata.random - package net.automatalib.util.automata.random
 
net.automatalib.util.automata.transout - package net.automatalib.util.automata.transout
 
net.automatalib.util.graphs - package net.automatalib.util.graphs
 
net.automatalib.util.graphs.concepts - package net.automatalib.util.graphs.concepts
 
net.automatalib.util.graphs.copy - package net.automatalib.util.graphs.copy
 
net.automatalib.util.graphs.dot - package net.automatalib.util.graphs.dot
 
net.automatalib.util.graphs.traversal - package net.automatalib.util.graphs.traversal
 
net.automatalib.util.minimizer - package net.automatalib.util.minimizer
 
net.automatalib.util.traversal - package net.automatalib.util.traversal
 
net.automatalib.util.tries - package net.automatalib.util.tries
 
net.automatalib.util.ts - package net.automatalib.util.ts
 
net.automatalib.util.ts.acceptors - package net.automatalib.util.ts.acceptors
 
net.automatalib.util.ts.copy - package net.automatalib.util.ts.copy
 
net.automatalib.util.ts.traversal - package net.automatalib.util.ts.traversal
 
net.automatalib.words - package net.automatalib.words
 
net.automatalib.words.abstractimpl - package net.automatalib.words.abstractimpl
 
net.automatalib.words.impl - package net.automatalib.words.impl
 
newDFA(Alphabet<I>) - Static method in class net.automatalib.util.automata.builders.AutomatonBuilders
 
newMealy(Alphabet<I>) - Static method in class net.automatalib.util.automata.builders.AutomatonBuilders
 
next() - Method in class net.automatalib.commons.util.BitSetIterator
 
next() - Method in class net.automatalib.commons.util.collections.CharRangeIterator
 
next() - Method in class net.automatalib.commons.util.collections.ConcatIterator
 
next() - Method in class net.automatalib.commons.util.collections.IntRangeIterator
 
next() - Method in class net.automatalib.commons.util.collections.SimplifiedIterator
 
next() - Method in class net.automatalib.commons.util.collections.ThreeLevelIterator
 
next() - Method in class net.automatalib.commons.util.collections.TransformingIterator
 
next() - Method in class net.automatalib.commons.util.collections.TwoLevelIterator
 
next() - Method in class net.automatalib.util.automata.conformance.IncrementalWMethodTestsIterator
 
next() - Method in class net.automatalib.util.ts.traversal.BFSOrderIterator
 
nextIndex() - Method in class net.automatalib.commons.util.collections.CharRangeIterator
 
nextIndex() - Method in class net.automatalib.commons.util.collections.IntRangeIterator
 
nextL1() - Method in class net.automatalib.commons.util.collections.TwoLevelIterator
 
nextValue - Variable in class net.automatalib.commons.util.collections.SimplifiedIterator
 
NFA<S,I> - Interface in net.automatalib.automata.fsa
Nondeterministic finite state acceptor
NFAs - Class in net.automatalib.util.automata.fsa
 
NO_LIMIT - Static variable in class net.automatalib.util.ts.traversal.TSTraversal
 
Node<I> - Class in net.automatalib.incremental.dfa.tree
A node in the tree internally used by IncrementalDFATreeBuilder.
Node() - Constructor for class net.automatalib.incremental.dfa.tree.Node
Constructor.
Node(Acceptance) - Constructor for class net.automatalib.incremental.dfa.tree.Node
Constructor.
NodeAcceptance<N> - Interface in net.automatalib.graphs.concepts
Node acceptance concept, for Graphs that represent a structure for deciding acceptance or rejection.
NodeAttrs() - Constructor for class net.automatalib.graphs.dot.GraphDOTHelper.NodeAttrs
 
nodeIDs() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
nodeIDs() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
nodeIDs() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
nodeIDs() - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
nodeIDs() - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
nodeIDs(Automaton<S, I, T>) - Static method in class net.automatalib.automata.graphs.AbstractAutomatonGraph
 
nodeIDs() - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraph
 
nodeIDs() - Method in class net.automatalib.brics.AbstractBricsAutomaton
 
nodeIDs(Graph<N, E>) - Static method in class net.automatalib.graphs.abstractimpl.AbstractGraph
 
nodeIDs() - Method in class net.automatalib.graphs.abstractimpl.AbstractGraph
 
nodeIDs() - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
NodeIDs<N> - Interface in net.automatalib.graphs.concepts
 
nodeIDs() - Method in interface net.automatalib.graphs.Graph
 
nodeIDs() - Method in class net.automatalib.util.automata.asgraph.AutomatonAsGraph
 
nodeIterator() - Method in class net.automatalib.util.graphs.Path
 
nodeList() - Method in class net.automatalib.util.graphs.Path
 
nodeProperties(UniversalIndefiniteGraph<N, ?, NP, ?>) - Static method in class net.automatalib.util.graphs.Graphs
 
nodes() - Method in class net.automatalib.util.graphs.Path
 
nodes - Variable in class net.automatalib.util.tries.SuffixTrie
 
NodeShapes() - Constructor for class net.automatalib.graphs.dot.GraphDOTHelper.NodeShapes
 
NodeStyles() - Constructor for class net.automatalib.graphs.dot.GraphDOTHelper.NodeStyles
 
NONE - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.NodeShapes
 
nontreeEdge(N, D, E, N, D) - Method in class net.automatalib.util.graphs.traversal.BaseDFSVisitor
 
NOT_VISITED - Static variable in enum net.automatalib.util.traversal.VisitedState
Nodes that have not yet been visited.
notifyListeners(T, int, int) - Method in class net.automatalib.commons.util.nid.IDChangeNotifier
 
npStorage - Variable in class net.automatalib.graphs.base.compact.AbstractCompactNPGraph
 
nullGet(Mapping<? super D, ? extends R>, D) - Static method in class net.automatalib.commons.util.mappings.Mappings
 
nullList(int) - Static method in class net.automatalib.commons.util.collections.CollectionsUtil
Retrieves an unmodifiable list only containing null values of the given size.
nullMapping() - Static method in class net.automatalib.commons.util.mappings.Mappings
Retrieves the null mapping, which maps each domain value to null.
NumericID - Interface in net.automatalib.commons.util.nid
 
numStates - Variable in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 

O

OCTAGON - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.NodeShapes
 
offer(E) - Method in class net.automatalib.util.automata.conformance.StrictPriorityQueue
 
or(DFA<?, I>, DFA<?, I>, Collection<? extends I>, A) - Static method in class net.automatalib.util.automata.fsa.DFAs
Calculates the disjunction ("or") of two DFA, and stores the result in a given mutable DFA.
or(DFA<?, I>, DFA<?, I>, Alphabet<I>) - Static method in class net.automatalib.util.automata.fsa.DFAs
Calculates the disjunction ("or") of two DFA, and returns the result as a new DFA.
OR - Static variable in interface net.automatalib.util.ts.acceptors.AcceptanceCombiner
 
or(TS1, TS2) - Static method in class net.automatalib.util.ts.acceptors.Acceptors
 
out - Variable in class net.automatalib.util.automata.copy.AbstractLowLevelAutomatonCopier
 
OutEdgesMapping<N,E> - Class in net.automatalib.util.graphs
 
OutEdgesMapping(Graph<N, E>) - Constructor for class net.automatalib.util.graphs.OutEdgesMapping
 
outgoingEdges(Automaton<S, I, T>, S, Collection<? extends I>) - Static method in class net.automatalib.util.automata.asgraph.AGHelper
 
outIndex - Variable in class net.automatalib.graphs.base.compact.CompactEdge
 
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
 
outputIn(TransitionOutput<? super T, ?>, Object...) - Static method in class net.automatalib.util.automata.predicates.TransitionPredicates
 
outputIn(TransitionOutput<? super T, ?>, Collection<?>) - Static method in class net.automatalib.util.automata.predicates.TransitionPredicates
 
outputIs(TransitionOutput<? super T, ?>, Object) - Static method in class net.automatalib.util.automata.predicates.TransitionPredicates
 
outputIsNot(TransitionOutput<? super T, ?>, Object) - Static method in class net.automatalib.util.automata.predicates.TransitionPredicates
 
outputNotIn(TransitionOutput<? super T, ?>, Object...) - Static method in class net.automatalib.util.automata.predicates.TransitionPredicates
 
outputNotIn(TransitionOutput<? super T, ?>, Collection<?>) - Static method in class net.automatalib.util.automata.predicates.TransitionPredicates
 
outputSatisfies(TransitionOutput<? super T, ? extends O>, Predicate<? super O>) - Static method in class net.automatalib.util.automata.predicates.TransitionPredicates
 
outputViolates(TransitionOutput<? super T, ? extends O>, Predicate<? super O>) - Static method in class net.automatalib.util.automata.predicates.TransitionPredicates
 
OVAL - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.NodeShapes
 

P

paintComponent(Graphics) - Method in class net.automatalib.commons.dotutil.ImageComponent
 
Pair<T1,T2> - Class in net.automatalib.commons.util
Deprecated.
Pair(T1, T2) - Constructor for class net.automatalib.commons.util.Pair
Deprecated.
Constructs a pair with the given members.
Path<N,E> - Class in net.automatalib.util.graphs
 
Path(IndefiniteGraph<N, E>, N, List<? extends E>) - Constructor for class net.automatalib.util.graphs.Path
 
Path.PathData<N,E> - Class in net.automatalib.util.graphs
 
PathData(N, List<? extends E>) - Constructor for class net.automatalib.util.graphs.Path.PathData
 
peek() - Method in class net.automatalib.util.automata.conformance.StrictPriorityQueue
 
peekMin() - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
peekMin() - Method in class net.automatalib.commons.smartcollections.BinaryHeap
 
peekMin() - Method in interface net.automatalib.commons.smartcollections.SmartPriorityQueue
Retrieves, but does not remove the element with the minimum key in the priority queue.
peekMin() - Method in class net.automatalib.util.automata.conformance.StrictPriorityQueue
Retrieves, but does not remove the element at the head of the queue (i.e., the minimum element in the queue).
PENWIDTH - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.EdgeAttrs
 
performMinimization(UniversalGraph<S, E, ?, L>) - Method in class net.automatalib.util.minimizer.Minimizer
 
performMinimization(UniversalGraph<S, E, ?, L>, Collection<? extends S>) - Method in class net.automatalib.util.minimizer.Minimizer
Performs the minimization of an automaton.
poll() - Method in class net.automatalib.util.automata.conformance.StrictPriorityQueue
 
popBack() - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Retrieves and removes the last element in the list.
popBack() - Method in interface net.automatalib.commons.smartcollections.SmartDeque
Retrieves and removes the element at the beginning of the sequence.
popBackEntry() - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Removes and returns the last entry in the list.
popFront() - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Retrieves and removes the first element in the list.
popFront() - Method in interface net.automatalib.commons.smartcollections.SmartDeque
Retrieves and removes the element at the beginning of the sequence.
popFrontEntry() - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Removes and returns the first entry in the list.
powersetView(TransitionSystem<S, I, T>) - Static method in class net.automatalib.ts.abstractimpl.AbstractTS
Provides a realization of TransitionSystem.powersetView().
powersetView() - Method in class net.automatalib.ts.abstractimpl.AbstractTS
 
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
 
pred(ElementReference) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
 
pred(ElementReference) - Method in interface net.automatalib.commons.smartcollections.SmartSequence
Retrieves the reference to the preceding element, or null if the given reference references the first element in the list.
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.impl.ExtensionWord
 
prepend(I) - Method in class net.automatalib.words.Word
Prepends a symbol to this word and returns the result as a new word.
PrettyDOTHelper<N,E> - Class in net.automatalib.graphs.dot
 
PrettyDOTHelper() - Constructor for class net.automatalib.graphs.dot.PrettyDOTHelper
 
previous() - Method in class net.automatalib.commons.util.collections.CharRangeIterator
 
previous() - Method in class net.automatalib.commons.util.collections.IntRangeIterator
 
previousIndex() - Method in class net.automatalib.commons.util.collections.CharRangeIterator
 
previousIndex() - Method in class net.automatalib.commons.util.collections.IntRangeIterator
 
print(Appendable) - Method in class net.automatalib.commons.util.Pair
Deprecated.
 
print(Appendable) - Method in interface net.automatalib.commons.util.strings.Printable
Outputs the current object.
print(Appendable) - Method in class net.automatalib.commons.util.Triple
Deprecated.
 
print(Appendable) - Method in class net.automatalib.words.Word
 
Printable - Interface in net.automatalib.commons.util.strings
Interface that allows outputting to an Appendable (e.g., a StringBuilder) instead of simply using Object.toString().
Probabilistic<T> - Interface in net.automatalib.automata.concepts
 
ProbabilisticMealyMachine<S,I,T,O> - Interface in net.automatalib.automata.transout.probabilistic
 
ProbabilisticOutput<O> - Class in net.automatalib.automata.transout.probabilistic
 
ProbabilisticOutput(float, O) - Constructor for class net.automatalib.automata.transout.probabilistic.ProbabilisticOutput
 
ProbMealyTransition<S,O> - Class in net.automatalib.automata.transout.impl
 
ProbMealyTransition(S, O, float) - Constructor for class net.automatalib.automata.transout.impl.ProbMealyTransition
 
processEdge(N, TarjanSCCRecord, E, N, Holder<TarjanSCCRecord>) - Method in class net.automatalib.algorithms.graph.scc.TarjanSCCVisitor
 
processEdge(N, D, E, N, Holder<D>) - Method in class net.automatalib.util.graphs.traversal.DefaultGraphTraversalVisitor
 
processEdge(N, D, E, N, Holder<D>) - Method in interface net.automatalib.util.graphs.traversal.GraphTraversalVisitor
Called when an edge is processed.
processInitial(N, Holder<TarjanSCCRecord>) - Method in class net.automatalib.algorithms.graph.scc.TarjanSCCVisitor
 
processInitial(N, Holder<D>) - Method in class net.automatalib.util.graphs.traversal.DefaultGraphTraversalVisitor
 
processInitial(N, Holder<D>) - Method in interface net.automatalib.util.graphs.traversal.GraphTraversalVisitor
Called when a node is processed initially.
processInitial(S1, Holder<S2>) - Method in class net.automatalib.util.ts.copy.TSCopyVisitor
 
processInitial(S, Holder<D>) - Method in interface net.automatalib.util.ts.traversal.TSTraversalVisitor
 
processTransition(S1, S2, I1, T1, S1, Holder<S2>) - Method in class net.automatalib.util.ts.copy.TSCopyVisitor
 
processTransition(S, D, I, T, S, Holder<D>) - Method in interface net.automatalib.util.ts.traversal.TSTraversalVisitor
 
property(UniversalTransitionSystem<?, ?, T, ?, TP>) - Method in class net.automatalib.automata.graphs.TransitionEdge
 
Property(I, TP) - Constructor for class net.automatalib.automata.graphs.TransitionEdge.Property
 
PropertyEdgeWeights<E> - Class in net.automatalib.util.graphs.concepts
 
PropertyEdgeWeights(UniversalGraph<?, E, ?, ? extends Number>) - Constructor for class net.automatalib.util.graphs.concepts.PropertyEdgeWeights
 
pruneTransitionsWithOutput(MealyMachine<?, I, ?, O>, Alphabet<I>, O...) - Static method in class net.automatalib.util.automata.transout.MealyFilter
Returns a Mealy machine with all transitions removed that have one of the specified output values.
pruneTransitionsWithOutput(MealyMachine<?, I, ?, O>, Alphabet<I>, Collection<? super O>) - Static method in class net.automatalib.util.automata.transout.MealyFilter
Returns a Mealy machine with all transitions removed that have one of the specified output values.
pushBack(E) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Adds an element at the end of the list.
pushBack(E) - Method in interface net.automatalib.commons.smartcollections.SmartDeque
Adds an element at the end of the sequence.
pushBackEntry(T) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Adds an entry at the end of the list.
pushFront(E) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Adds an element at the beginning of the list.
pushFront(E) - Method in interface net.automatalib.commons.smartcollections.SmartDeque
Adds an element at the beginning of the sequence.
pushFrontEntry(T) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Adds an entry at the beginning of the list.
put(S, V) - Method in class net.automatalib.automata.base.StateIDDynamicMapping
 
put(S, V) - Method in class net.automatalib.automata.base.StateIDGrowingMapping
 
put(S, V) - Method in class net.automatalib.automata.base.StateIDStaticMapping
 
put(K, V) - Method in class net.automatalib.commons.util.mappings.ArrayMapping
 
put(D, R) - Method in class net.automatalib.commons.util.mappings.MapMapping
Delegates to the underlying Map.
put(D, R) - Method in interface net.automatalib.commons.util.mappings.MutableMapping
 
put(Block<?, ?>, V) - Method in class net.automatalib.util.minimizer.BlockMap
Stores a value.

Q

quickClear() - Method in class net.automatalib.commons.smartcollections.AbstractSmartCollection
 
quickClear() - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
quickClear() - Method in class net.automatalib.commons.smartcollections.BinaryHeap
 
quickClear() - Method in interface net.automatalib.commons.smartcollections.SmartCollection
Quickly clears this collection.
quickClear() - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 

R

random - Variable in class net.automatalib.util.automata.random.AbstractRandomAutomatonGenerator
 
randomAccessList(Collection<? extends T>) - Static method in class net.automatalib.commons.util.collections.CollectionsUtil
 
RandomAutomata - Class in net.automatalib.util.automata.random
 
RandomAutomata() - Constructor for class net.automatalib.util.automata.random.RandomAutomata
 
RandomAutomata(Random) - Constructor for class net.automatalib.util.automata.random.RandomAutomata
 
randomDeterministic(Random, int, Collection<? extends I>, Collection<? extends SP>, Collection<? extends TP>, A) - Static method in class net.automatalib.util.automata.random.RandomAutomata
 
randomDeterministic(Random, int, Collection<? extends I>, Collection<? extends SP>, Collection<? extends TP>, A, boolean) - Static method in class net.automatalib.util.automata.random.RandomAutomata
 
randomDeterministic(int, Collection<? extends I>, Collection<? extends SP>, Collection<? extends TP>, A) - Method in class net.automatalib.util.automata.random.RandomAutomata
 
randomDeterministic(int, Collection<? extends I>, Collection<? extends SP>, Collection<? extends TP>, A, boolean) - Method in class net.automatalib.util.automata.random.RandomAutomata
 
RandomDeterministicAutomatonGenerator<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> - Class in net.automatalib.util.automata.random
 
RandomDeterministicAutomatonGenerator(Random, Collection<? extends I>, Collection<? extends SP>, Collection<? extends TP>, A) - Constructor for class net.automatalib.util.automata.random.RandomDeterministicAutomatonGenerator
 
randomDFA(Random, int, Alphabet<I>, boolean) - Static method in class net.automatalib.util.automata.random.RandomAutomata
 
randomDFA(Random, int, Alphabet<I>) - Static method in class net.automatalib.util.automata.random.RandomAutomata
 
randomDFA(int, Alphabet<I>, boolean) - Method in class net.automatalib.util.automata.random.RandomAutomata
 
randomDFA(int, Alphabet<I>) - Method in class net.automatalib.util.automata.random.RandomAutomata
 
randomDistinctState(int) - Method in class net.automatalib.util.automata.random.AbstractRandomAutomatonGenerator
 
randomInput() - Method in class net.automatalib.util.automata.random.AbstractRandomAutomatonGenerator
 
randomMealy(Random, int, Alphabet<I>, Collection<? extends O>, boolean) - Static method in class net.automatalib.util.automata.random.RandomAutomata
 
randomMealy(Random, int, Alphabet<I>, Collection<? extends O>) - Static method in class net.automatalib.util.automata.random.RandomAutomata
 
randomMealy(int, Alphabet<I>, Collection<? extends O>, boolean) - Method in class net.automatalib.util.automata.random.RandomAutomata
 
randomMealy(int, Alphabet<I>, Collection<? extends O>) - Method in class net.automatalib.util.automata.random.RandomAutomata
 
randomState() - Method in class net.automatalib.util.automata.random.AbstractRandomAutomatonGenerator
 
randomStateProperty() - Method in class net.automatalib.util.automata.random.AbstractRandomAutomatonGenerator
 
randomTransProperty() - Method in class net.automatalib.util.automata.random.AbstractRandomAutomatonGenerator
 
RandomUtil - Class in net.automatalib.commons.util.random
 
RandomUtil() - Constructor for class net.automatalib.commons.util.random.RandomUtil
 
RandomUtil(Random) - Constructor for class net.automatalib.commons.util.random.RandomUtil
 
rawCopy(AutomatonCopyMethod, Automaton<S1, ? super I1, T1>, Collection<? extends I1>, MutableAutomaton<S2, I2, T2, ? super SP2, ? super TP2>, Function<? super I1, ? extends I2>, Function<? super S1, ? extends SP2>, Function<? super T1, ? extends TP2>, Predicate<? super S1>, TransitionPredicate<? super S1, ? super I1, ? super T1>) - Static method in class net.automatalib.util.automata.copy.AutomatonLowLevelCopy
Copies an Automaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.
rawCopy(AutomatonCopyMethod, Automaton<S1, ? super I1, T1>, Collection<? extends I1>, MutableAutomaton<S2, I2, T2, ? super SP2, ? super TP2>, Function<? super I1, ? extends I2>, Function<? super S1, ? extends SP2>, Function<? super T1, ? extends TP2>) - Static method in class net.automatalib.util.automata.copy.AutomatonLowLevelCopy
Copies an Automaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.
rawCopy(AutomatonCopyMethod, Automaton<S1, ? super I, T1>, Collection<? extends I>, MutableAutomaton<S2, I, T2, SP2, TP2>, Function<? super S1, ? extends SP2>, Function<? super T1, ? extends TP2>, Predicate<? super S1>, TransitionPredicate<? super S1, ? super I, ? super T1>) - Static method in class net.automatalib.util.automata.copy.AutomatonLowLevelCopy
Copies an Automaton to a MutableAutomaton with a compatible input alphabet, but possibly heterogeneous state and transition properties.
rawCopy(AutomatonCopyMethod, Automaton<S1, ? super I, T1>, Collection<? extends I>, MutableAutomaton<S2, I, T2, SP2, TP2>, Function<? super S1, ? extends SP2>, Function<? super T1, ? extends TP2>) - Static method in class net.automatalib.util.automata.copy.AutomatonLowLevelCopy
Copies an Automaton to a MutableAutomaton with a compatible input alphabet, but possibly heterogeneous state and transition properties.
rawCopy(TSTraversalMethod, TransitionSystem<S1, ? super I1, T1>, int, Collection<? extends I1>, MutableAutomaton<S2, I2, T2, ? super SP2, ? super TP2>, Function<? super I1, ? extends I2>, Function<? super S1, ? extends SP2>, Function<? super T1, ? extends TP2>, Predicate<? super S1>, TransitionPredicate<? super S1, ? super I1, ? super T1>) - Static method in class net.automatalib.util.ts.copy.TSCopy
Copies an TransitionSystem to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.
rawCopy(TSTraversalMethod, TransitionSystem<S1, ? super I1, T1>, int, Collection<? extends I1>, MutableAutomaton<S2, I2, T2, ? super SP2, ? super TP2>, Function<? super I1, ? extends I2>, Function<? super S1, ? extends SP2>, Function<? super T1, ? extends TP2>) - Static method in class net.automatalib.util.ts.copy.TSCopy
Copies an Automaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.
rawCopy(TSTraversalMethod, TransitionSystem<S1, ? super I, T1>, int, Collection<? extends I>, MutableAutomaton<S2, I, T2, SP2, TP2>, Function<? super S1, ? extends SP2>, Function<? super T1, ? extends TP2>, Predicate<? super S1>, TransitionPredicate<? super S1, ? super I, ? super T1>) - Static method in class net.automatalib.util.ts.copy.TSCopy
Copies an Automaton to a MutableAutomaton with a compatible input alphabet, but possibly heterogeneous state and transition properties.
rawCopy(TSTraversalMethod, TransitionSystem<S1, ? super I, T1>, int, Collection<? extends I>, MutableAutomaton<S2, I, T2, SP2, TP2>, Function<? super S1, ? extends SP2>, Function<? super T1, ? extends TP2>) - Static method in class net.automatalib.util.ts.copy.TSCopy
Copies an Automaton to a MutableAutomaton with a compatible input alphabet, but possibly heterogeneous state and transition properties.
Record(S, Node<I>, I, Iterator<? extends I>) - Constructor for class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.Record
 
Ref<T> - Interface in net.automatalib.commons.util.ref
An abstraction for (weak or strong) references.
referencedAdd(E) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
 
referencedAdd(E) - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
referencedAdd(E) - Method in class net.automatalib.commons.smartcollections.BinaryHeap
 
referencedAdd(E) - Method in interface net.automatalib.commons.smartcollections.SmartCollection
Adds an element to the collection, returning a reference to the newly added element.
referencedAdd(E) - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
referenceIterator() - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
 
referenceIterator() - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
referenceIterator() - Method in class net.automatalib.commons.smartcollections.BinaryHeap
 
referenceIterator() - Method in interface net.automatalib.commons.smartcollections.SmartCollection
Retrieves an iterator for iterating over the references of elements in this collection.
referenceIterator() - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
references() - Method in class net.automatalib.commons.smartcollections.AbstractSmartCollection
 
references() - Method in interface net.automatalib.commons.smartcollections.SmartCollection
This is a method provided for convenience, which allows iterating over the element references using a foreach-style for-loop.
references() - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
ReflectUtil - Class in net.automatalib.commons.util
 
Refs - Class in net.automatalib.commons.util.ref
Utility functions for dealing with references.
register - Variable in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder
 
remove(ElementReference) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
 
remove(Object) - Method in class net.automatalib.commons.smartcollections.AbstractSmartCollection
 
remove(ElementReference) - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
remove(ElementReference) - Method in class net.automatalib.commons.smartcollections.BinaryHeap
 
remove(ElementReference) - Method in interface net.automatalib.commons.smartcollections.SmartCollection
Removes an element (by its reference) from the collection.
remove(Object) - Method in interface net.automatalib.commons.smartcollections.SmartCollection
Deprecated.
remove(ElementReference) - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
remove(Object) - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
remove() - Method in class net.automatalib.commons.util.BitSetIterator
 
remove() - Method in class net.automatalib.commons.util.collections.CharRangeIterator
 
remove() - Method in class net.automatalib.commons.util.collections.ConcatIterator
 
remove() - Method in class net.automatalib.commons.util.collections.IntRangeIterator
 
remove() - Method in class net.automatalib.commons.util.collections.ThreeLevelIterator
 
remove() - Method in class net.automatalib.commons.util.collections.TransformingIterator
 
remove() - Method in class net.automatalib.commons.util.collections.TwoLevelIterator
 
remove(Object) - Method in class net.automatalib.commons.util.nid.DynamicList
 
remove(Object, IDChangeNotifier<T>) - Method in class net.automatalib.commons.util.nid.DynamicList
 
remove(int, IDChangeNotifier<T>) - Method in class net.automatalib.commons.util.nid.DynamicList
 
remove(Object) - Method in class net.automatalib.ts.powerset.FastPowersetState
 
remove() - Method in class net.automatalib.util.automata.conformance.IncrementalWMethodTestsIterator
 
remove() - Method in class net.automatalib.util.ts.traversal.BFSOrderIterator
 
removeAllTransitions(MutableAutomaton<S, I, T, SP, TP>, S, I) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton
removeAllTransitions(S, I) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton
 
removeAllTransitions(MutableDeterministic<S, I, T, SP, TP>, S, I) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic
removeAllTransitions(S, I) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic
 
removeAllTransitions(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
removeAllTransitions(int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
removeAllTransitions(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
removeAllTransitions(int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
removeAllTransitions(Integer, I) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
removeAllTransitions(int, I) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
removeAllTransitions(int, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
removeAllTransitions(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
removeAllTransitions(S) - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
removeAllTransitions(S) - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
removeAllTransitions(S, I) - Method in interface net.automatalib.automata.MutableAutomaton
 
removeAllTransitions(S) - Method in interface net.automatalib.automata.MutableAutomaton
 
removeEdge(N, E) - Method in interface net.automatalib.graphs.ShrinkableGraph
Removes an outgoing edge from the given node.
removeEntry(T) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Removes an entry from the list.
removeListener(IDChangeListener<T>) - Method in class net.automatalib.commons.util.nid.IDChangeNotifier
 
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).
removeReplace(List<E>, int) - Static method in class net.automatalib.commons.util.collections.CollectionsUtil
 
removeState(ShrinkableAutomaton<S, I, T, SP, TP>, S) - Static method in class net.automatalib.automata.abstractimpl.AbstractShrinkableAutomaton
 
removeState(S) - Method in class net.automatalib.automata.abstractimpl.AbstractShrinkableAutomaton
 
removeState(S) - Method in class net.automatalib.automata.abstractimpl.AbstractShrinkableDeterministic
 
removeState(S, S) - Method in class net.automatalib.automata.base.fast.FastMutableDet
 
removeState(S, S) - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
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(MutableAutomaton<S, I, T, SP, TP>, S, I, T) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton
removeTransition(S, I, T) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableAutomaton
 
removeTransition(MutableDeterministic<S, I, T, SP, TP>, S, I, T) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic
removeTransition(S, I, T) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic
 
removeTransition(Integer, I, Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
removeTransition(int, I, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
removeTransition(int, int, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
removeTransition(S, I, T) - Method in interface net.automatalib.automata.MutableAutomaton
 
rename() - Method in class net.automatalib.commons.dotutil.DOTPanel
 
renderDOT(Reader, boolean) - Static method in class net.automatalib.commons.dotutil.DOT
Renders a GraphVIZ description and displays it in a Swing window.
renderDOT(String, boolean) - Static method in class net.automatalib.commons.dotutil.DOT
Renders a GraphVIZ description from a string and displays it in a Swing window.
renderDOT(File, boolean) - Static method in class net.automatalib.commons.dotutil.DOT
Renders a GraphVIZ description from a string and displays it in a Swing window.
renderDOTExternal(Reader, String) - Static method in class net.automatalib.commons.dotutil.DOT
Renders a GraphVIZ description, using an external program for displaying.
renderDOTExternal(String, String) - Static method in class net.automatalib.commons.dotutil.DOT
Renders a GraphVIZ description from a string, using an external program for displaying.
renderDOTExternal(File, String) - Static method in class net.automatalib.commons.dotutil.DOT
Renders a GraphVIZ description from a file, using an external program for displaying.
renderDOTImage(Reader) - Static method in class net.automatalib.commons.dotutil.DOT
Reads a DOT description from a reader and returns the PNG rendering result as a BufferedImage.
renderDOTImage(String) - Static method in class net.automatalib.commons.dotutil.DOT
Reads a DOT description from a string and returns the PNG rendering result as a BufferedImage.
renderDOTImage(File) - Static method in class net.automatalib.commons.dotutil.DOT
Reads a DOT description from a file and returns the PNG rendering result as a BufferedImage.
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.
replace(ElementReference, E) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
 
replace(ElementReference, E) - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
replace(ElementReference, E) - Method in class net.automatalib.commons.smartcollections.BinaryHeap
 
replace(ElementReference, E) - Method in class net.automatalib.commons.smartcollections.DefaultLinkedList
 
replace(ElementReference, E) - Method in interface net.automatalib.commons.smartcollections.SmartCollection
Replaces the element referenced by the given reference with the specified element.
replace(ElementReference, E) - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
replaceEntry(T, T) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Replaces an entry in the list.
replaceOrRegister(StateSignature) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder
Returns (and possibly creates) the canonical state for the given signature.
replaceOrRegister(State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder
Returns the canonical state for the given state's signature, or registers the state as canonical if no state with that signature exists.
resizeFactor - Variable in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
ResizingArrayStorage<T> - Class in net.automatalib.commons.util.array
Class that provides a resizable array storage of a certain type.
ResizingArrayStorage(Class<T[]>) - Constructor for class net.automatalib.commons.util.array.ResizingArrayStorage
Constructor.
ResizingArrayStorage(Class<T[]>, int) - Constructor for class net.automatalib.commons.util.array.ResizingArrayStorage
Constructor.
ResizingIntArray - Class in net.automatalib.commons.util.array
Class that provides a resizable int array storage.
ResizingIntArray() - Constructor for class net.automatalib.commons.util.array.ResizingIntArray
Constructor.
ResizingIntArray(int) - Constructor for class net.automatalib.commons.util.array.ResizingIntArray
Constructor.
ResizingObjectArray - Class in net.automatalib.commons.util.array
Class that provides a resizable Object array storage.
ResizingObjectArray() - Constructor for class net.automatalib.commons.util.array.ResizingObjectArray
Constructor.
ResizingObjectArray(int) - Constructor for class net.automatalib.commons.util.array.ResizingObjectArray
Constructor.
retainTransitionsWithOutput(MealyMachine<?, I, ?, O>, Alphabet<I>, O...) - Static method in class net.automatalib.util.automata.transout.MealyFilter
Returns a Mealy machine with all transitions removed that have an output not among the specified values.
retainTransitionsWithOutput(MealyMachine<?, I, ?, O>, Alphabet<I>, Collection<? super O>) - Static method in class net.automatalib.util.automata.transout.MealyFilter
Returns a Mealy machine with all transitions removed that have an output not among the specified values.
reverse() - Method in class net.automatalib.words.WordBuilder
 
root - Variable in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder
 
root - Variable in class net.automatalib.util.tries.SuffixTrie
 
ROUNDED - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.NodeStyles
 
runDOT(Reader, String, String...) - Static method in class net.automatalib.commons.dotutil.DOT
Invokes the GraphVIZ DOT utility for rendering graphs.
runDOT(String, String, String...) - Static method in class net.automatalib.commons.dotutil.DOT
Invokes the DOT utility on a string.
runDOT(File, String, String...) - Static method in class net.automatalib.commons.dotutil.DOT
Invokes the DOT utility on a file.
runDOT(Reader, String, File) - Static method in class net.automatalib.commons.dotutil.DOT
Invokes the GraphVIZ DOT utility for rendering graphs, writing output to the specified file.
runDOT(String, String, File) - Static method in class net.automatalib.commons.dotutil.DOT
Invokes the DOT utility on a string, producing an output file.
runDOT(File, String, File) - Static method in class net.automatalib.commons.dotutil.DOT
Invokes the DOT utility on a file, producing an output file.

S

s1 - Variable in class net.automatalib.ts.comp.CompState
 
s2 - Variable in class net.automatalib.ts.comp.CompState
 
safeComparator(Comparator<T>, CmpUtil.NullOrdering) - Static method in class net.automatalib.commons.util.comparison.CmpUtil
Retrieves a safe comparator, which can handle null element values.
safeGet(Mapping<? super D, R>, D, R) - Static method in class net.automatalib.commons.util.mappings.Mappings
Safely retrieves a value from a mapping.
safeGet(int) - Method in class net.automatalib.commons.util.nid.DynamicList
 
safePred(TransitionPredicate<S, I, T>, boolean) - Static method in class net.automatalib.util.automata.predicates.TransitionPredicates
 
safeWrite(ArrayWritable<U>, T[]) - Static method in class net.automatalib.commons.util.array.AWUtil
Writes the complete container data to an array.
safeWrite(int, ArrayWritable<U>, T[]) - Static method in class net.automatalib.commons.util.array.AWUtil
Writes a given maximum amount of data items from a container to an array.
safeWrite(int, ArrayWritable<U>, int, T[], int) - Static method in class net.automatalib.commons.util.array.AWUtil
 
safeWrite(ArrayWritable<U>, T[], int) - Static method in class net.automatalib.commons.util.array.AWUtil
 
sample(List<? extends T>, int, Random) - Static method in class net.automatalib.commons.util.random.RandomUtil
 
sample(List<? extends T>, int) - Method in class net.automatalib.commons.util.random.RandomUtil
 
sampleUnique(List<? extends T>, int, Random) - Static method in class net.automatalib.commons.util.random.RandomUtil
 
sampleUnique(List<? extends T>, int) - Method in class net.automatalib.commons.util.random.RandomUtil
 
saveDOT() - Method in class net.automatalib.commons.dotutil.DOTPanel
 
savePNG() - Method in class net.automatalib.commons.dotutil.DOTPanel
 
SCCCollector<N> - Class in net.automatalib.algorithms.graph.scc
 
SCCCollector() - Constructor for class net.automatalib.algorithms.graph.scc.SCCCollector
 
SCCListener<N> - Interface in net.automatalib.algorithms.graph.scc
 
SCCs - Class in net.automatalib.algorithms.graph.scc
Algorithms for finding strongly-connected components (SCCs) in a graph.
second - Variable in class net.automatalib.commons.util.Pair
Deprecated.
 
second - Variable in class net.automatalib.commons.util.Triple
Deprecated.
 
set(Character) - Method in class net.automatalib.commons.util.collections.CharRangeIterator
 
set(Integer) - Method in class net.automatalib.commons.util.collections.IntRangeIterator
 
set(int, I) - Method in class net.automatalib.words.WordBuilder
 
setAcceptance(Acceptance) - Method in class net.automatalib.incremental.dfa.tree.Node
Sets the acceptance value for this node.
setAccepting(int, boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA
 
setAccepting(Integer, boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA
 
setAccepting(Integer, boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA
 
setAccepting(int, boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA
 
setAccepting(FastDFAState, boolean) - Method in class net.automatalib.automata.fsa.impl.FastDFA
 
setAccepting(boolean) - Method in class net.automatalib.automata.fsa.impl.FastDFAState
 
setAccepting(FastNFAState, boolean) - Method in class net.automatalib.automata.fsa.impl.FastNFA
 
setAccepting(boolean) - Method in class net.automatalib.automata.fsa.impl.FastNFAState
 
setAccepting(S, boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA
 
setAll(T) - Method in class net.automatalib.commons.util.array.ResizingArrayStorage
Sets all the elements in the array to the specified value.
setAll(int) - Method in class net.automatalib.commons.util.array.ResizingIntArray
Sets all the elements in the array to the specified value.
setAll(Object) - Method in class net.automatalib.commons.util.array.ResizingObjectArray
Sets all the elements in the array to the specified value.
setChild(int, int, Node<I>) - Method in class net.automatalib.incremental.dfa.tree.Node
Sets the child for a given index.
setDefaultKey(K) - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
setDefaultKey(K) - Method in interface net.automatalib.commons.smartcollections.SmartGeneralPriorityQueue
Sets the default key, which is used for elements that are inserted with no explicit key specified.
setEdgeProperty(E, EP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
setEdgeProperty(E, EP) - Method in interface net.automatalib.graphs.MutableGraph
 
setElement(E) - Method in class net.automatalib.commons.smartcollections.DefaultLinkedListEntry
Sets the stored element to the specified element.
setFirst(T1) - Method in class net.automatalib.commons.util.Pair
Deprecated.
Setter for the first member.
setFirst(T1) - Method in class net.automatalib.commons.util.Triple
Deprecated.
 
setId(int) - Method in class net.automatalib.commons.util.nid.AbstractMutableNumericID
 
setId(int) - Method in interface net.automatalib.commons.util.nid.MutableNumericID
 
setImage(BufferedImage) - Method in class net.automatalib.commons.dotutil.ImageComponent
Sets the image to be displayed.
setInitial(MutableDeterministic<S, I, T, SP, TP>, S, boolean) - Static method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic
setInitial(S, boolean) - Method in class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic
 
setInitial(Integer, boolean) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
setInitial(int, boolean) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
setInitial(S, boolean) - Method in class net.automatalib.automata.base.fast.FastMutableNondet
 
setInitial(S, boolean) - Method in interface net.automatalib.automata.MutableAutomaton
 
setInitialState(int) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
setInitialState(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
setInitialState(int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
 
setInitialState(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet