- AbstractAlphabet<I> - Class in net.automatalib.words.abstractimpl
-
- AbstractAlphabet() - Constructor for class net.automatalib.words.abstractimpl.AbstractAlphabet
-
- AbstractAutomatonGraphView<S,A extends Automaton<S,?,?>,E> - Class in net.automatalib.automata.graphs
-
- AbstractAutomatonGraphView(A) - Constructor for class net.automatalib.automata.graphs.AbstractAutomatonGraphView
-
- AbstractBricsAutomaton - Class in net.automatalib.brics
-
Base class for Brics automata adapters.
- AbstractBricsAutomaton(Automaton) - Constructor for class net.automatalib.brics.AbstractBricsAutomaton
-
Constructor.
- AbstractBricsAutomaton.GraphView - Class in net.automatalib.brics
-
- 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
-
- AbstractCompactSimpleDet(Alphabet<I>, int, int, int[], float) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- AbstractCompactSimpleDet(Alphabet<I>, AbstractCompactSimpleDet<?, ?>) - 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
-
- AbstractCompactSimpleNondet(Alphabet<I>, AbstractCompactSimpleNondet<?, ?>) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
-
- 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
-
- 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
-
- 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
-
- AbstractMutableNumericID - Class in net.automatalib.commons.util.nid
-
- AbstractMutableNumericID() - Constructor for class net.automatalib.commons.util.nid.AbstractMutableNumericID
-
- 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
-
- AbstractSmartCollection<E> - Class in net.automatalib.commons.smartcollections
-
- 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
-
- 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(Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.DFA
-
- accepts(Iterable<? extends I>) - Method in interface net.automatalib.ts.acceptors.AcceptorTS
-
Determines whether the given input word is accepted by this acceptor.
- accepts(Iterable<? extends I>) - Method in interface net.automatalib.ts.acceptors.DeterministicAcceptorTS
-
- add(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(T) - Method in class net.automatalib.commons.util.array.ArrayIterator
-
- add(T) - Method in class net.automatalib.commons.util.array.RichArray
-
Deprecated.
- add(int, T) - Method in class net.automatalib.commons.util.array.RichArray
-
Deprecated.
- add(Character) - Method in class net.automatalib.commons.util.collections.CharRangeIterator
-
- add(String) - Method in class net.automatalib.commons.util.collections.CharStringRangeIterator
-
- add(Integer) - Method in class net.automatalib.commons.util.collections.IntRangeIterator
-
- add(T) - Method in class net.automatalib.commons.util.nid.DynamicList
-
- add(T, int) - Method in class net.automatalib.commons.util.random.WeightedSupplier
-
Adds an object to be supplied with a given weight.
- add(Supplier<? extends T>, int) - Method in class net.automatalib.commons.util.random.WeightedSupplier
-
Adds a sub-supplier with a given weight.
- 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<? extends T>) - Method in class net.automatalib.commons.util.array.RichArray
-
Deprecated.
- addAll(int, Collection<? extends T>) - Method in class net.automatalib.commons.util.array.RichArray
-
Deprecated.
- 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(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.FastNFA
-
- addInitialState() - Method in interface net.automatalib.automata.fsa.MutableFSA
-
- addInitialState(Boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA
-
- addInitialState(boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA
-
- addInitialState(SP) - Method in interface net.automatalib.automata.MutableAutomaton
-
- addInitialState() - Method in interface net.automatalib.automata.MutableAutomaton
-
- 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
-
- addIntInitialState() - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction
-
- addIntInitialState(SP) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction
-
- addIntInitialState() - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction
-
- addIntInitialState(SP) - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction
-
- addIntInitialState() - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction
-
- addIntInitialState(SP) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction
-
- 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
-
- addIntState() - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction
-
- addIntState(SP) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction
-
- addIntState() - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction
-
- addIntState(SP) - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction
-
- addIntState() - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction
-
- addIntState(SP) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction
-
- addListener(IDChangeListener<T>, boolean) - Method in class net.automatalib.commons.util.nid.IDChangeNotifier
-
- addNode(N) - Method in class net.automatalib.automata.transout.impl.map.SimpleMapGraph
-
- 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(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.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() - Method in interface net.automatalib.automata.fsa.MutableFSA
-
- addState(Boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA
-
- 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
-
- 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(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(S, I, T) - Method in interface net.automatalib.automata.MutableDeterministic
-
- addTransition(FastProbMealyState<O>, I, FastProbMealyState<O>, O, float) - Method in class net.automatalib.automata.transout.impl.FastProbMealy
-
- addTransitions(S, I, Collection<? extends T>) - Method in interface net.automatalib.automata.MutableAutomaton
-
- addTransitions() - Method in class net.automatalib.util.automata.random.RandomDeterministicAutomatonGenerator
-
- adjacentTargets(N) - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph
-
- adjacentTargets(N) - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView
-
- adjacentTargetsIterator(N) - Method in class net.automatalib.automata.transout.impl.map.SimpleMapGraph
-
- adjacentTargetsIterator(N) - Method in interface net.automatalib.graphs.IndefiniteGraph
-
- adjacentTargetsIterator(N) - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph
-
- adjacentTargetsIterator(N) - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView
-
- adjacentTargetsStream(N) - Method in class net.automatalib.automata.transout.impl.map.SimpleMapGraph
-
- adjacentTargetsStream(N) - Method in interface net.automatalib.graphs.IndefiniteGraph
-
- adjacentTargetsStream(N) - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph
-
- adjacentTargetsStream(N) - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView
-
- 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
-
- allCombinations(List<? extends Iterable<? extends T>>) - Static method in class net.automatalib.commons.util.collections.IterableUtil
-
- allCombinations(Iterable<? extends T>...) - Static method in class net.automatalib.commons.util.collections.IterableUtil
-
- allCombinationsIterator(List<? extends Iterable<? extends T>>) - Static method in class net.automatalib.commons.util.collections.IterableUtil
-
- allCombinationsIterator(Iterable<? extends T>...) - Static method in class net.automatalib.commons.util.collections.IterableUtil
-
- 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 - Variable in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- alphabet - Variable in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
-
- 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.automata.base.compact.AbstractCompactSimpleDet
-
- alphabetSize - Variable in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
-
- 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(int) - Method in class net.automatalib.commons.util.array.RichArray
-
- apply(int, T) - Method in interface net.automatalib.commons.util.array.WithIndexTransformer
-
- apply(D) - Method in interface net.automatalib.commons.util.mappings.Mapping
-
Get the range object elem
maps to.
- 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(Random) - Method in class net.automatalib.commons.util.random.WeightedSupplier
-
- apply(S, I, T) - Method in interface net.automatalib.ts.TransitionPredicate
-
- apply(int) - Method in interface net.automatalib.words.Alphabet
-
- applyAsInt(I) - Method in interface net.automatalib.words.Alphabet
-
- 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
-
- ArrayIterator<T> - Class in net.automatalib.commons.util.array
-
- ArrayIterator(T[], int, int, int) - Constructor for class net.automatalib.commons.util.array.ArrayIterator
-
- ArrayIterator(T[], int, int) - Constructor for class net.automatalib.commons.util.array.ArrayIterator
-
- ArrayIterator(T[], int) - Constructor for class net.automatalib.commons.util.array.ArrayIterator
-
- ArrayIterator(T[]) - Constructor for class net.automatalib.commons.util.array.ArrayIterator
-
- 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
-
- asBufferedInputStream(InputStream) - Static method in class net.automatalib.commons.util.IOUtil
-
Ensures that the returned stream is a buffered version of the supplied
input stream.
- asBufferedOutputStream(OutputStream) - Static method in class net.automatalib.commons.util.IOUtil
-
- 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.
- asNormalGraph() - Method in interface net.automatalib.graphs.Graph
-
- asNormalGraph() - Method in interface net.automatalib.graphs.IndefiniteGraph
-
- asNormalGraph() - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph
-
- asNormalGraph() - Method in interface net.automatalib.graphs.SimpleGraph
-
- 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
-
- asUncompressedInputStream(InputStream) - Static method in class net.automatalib.commons.util.IOUtil
-
Ensures that the returned stream is an uncompressed version of the supplied
input stream.
- 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
-
- AutomataLibLocalPropertiesSource - Class in net.automatalib.settingssources
-
- AutomataLibLocalPropertiesSource() - Constructor for class net.automatalib.settingssources.AutomataLibLocalPropertiesSource
-
- AutomataLibPropertiesSource - Class in net.automatalib.settingssources
-
- AutomataLibPropertiesSource() - Constructor for class net.automatalib.settingssources.AutomataLibPropertiesSource
-
- AutomataLibSettings - Class in net.automatalib
-
- AutomataLibSettingsSource - Interface in net.automatalib
-
- AutomataLibSystemPropertiesSource - Class in net.automatalib.settingssources
-
- AutomataLibSystemPropertiesSource() - Constructor for class net.automatalib.settingssources.AutomataLibSystemPropertiesSource
-
- Automaton<S,I,T> - Interface in net.automatalib.automata
-
Basic interface for an automaton.
- automaton - Variable in class net.automatalib.automata.dot.DefaultDOTHelperAutomaton
-
- automaton - Variable in class net.automatalib.automata.graphs.AbstractAutomatonGraphView
-
- automaton - Variable in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction
-
- automaton - Variable in class net.automatalib.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
-
- AutomatonCreator<A,I> - Interface in net.automatalib.automata
-
- AutomatonGraphView<S,I,T,A extends Automaton<S,I,T>> - Class in net.automatalib.automata.graphs
-
- AutomatonGraphView(A, Collection<? extends I>) - Constructor for class net.automatalib.automata.graphs.AutomatonGraphView
-
- AutomatonLowLevelCopy - Class in net.automatalib.util.automata.copy
-
- AutomatonSerializationException - Exception in net.automatalib.serialization
-
- AutomatonSerializationException() - Constructor for exception net.automatalib.serialization.AutomatonSerializationException
-
- AutomatonSerializationException(String, Throwable) - Constructor for exception net.automatalib.serialization.AutomatonSerializationException
-
- AutomatonSerializationException(String) - Constructor for exception net.automatalib.serialization.AutomatonSerializationException
-
- AutomatonSerializationException(Throwable) - Constructor for exception net.automatalib.serialization.AutomatonSerializationException
-
- 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.
- 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(int[], int[]) - Static method in class net.automatalib.commons.util.comparison.CmpUtil
-
- canonicalCompare(List<? extends U>, List<? extends U>, Comparator<? super U>) - Static method in class net.automatalib.commons.util.comparison.CmpUtil
-
Compares two
List
s with respect to canonical ordering.
- canonicalCompare(List<? extends U>, List<? extends U>) - Static method in class net.automatalib.commons.util.comparison.CmpUtil
-
Compares two
List
s 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
-
- charGet(int) - Method in class net.automatalib.commons.util.collections.CharStringRange
-
- 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
-
- CharStringRange - Class in net.automatalib.commons.util.collections
-
- CharStringRange(char, char) - Constructor for class net.automatalib.commons.util.collections.CharStringRange
-
- CharStringRange(char, char, int) - Constructor for class net.automatalib.commons.util.collections.CharStringRange
-
- CharStringRange(IntRange) - Constructor for class net.automatalib.commons.util.collections.CharStringRange
-
- charStringRange(char, char) - Static method in class net.automatalib.commons.util.collections.CollectionsUtil
-
- CharStringRangeIterator - Class in net.automatalib.commons.util.collections
-
- CharStringRangeIterator(char, int, int) - Constructor for class net.automatalib.commons.util.collections.CharStringRangeIterator
-
- CharStringRangeIterator(char, int, int, int) - Constructor for class net.automatalib.commons.util.collections.CharStringRangeIterator
-
- CharStringRangeIterator(IntRangeIterator) - Constructor for class net.automatalib.commons.util.collections.CharStringRangeIterator
-
- charValue(int) - Method in class net.automatalib.commons.util.collections.CharRange
-
- charValue(int) - Method in class net.automatalib.commons.util.collections.CharStringRange
-
- checkUsable() - Static method in class net.automatalib.commons.dotutil.DOT
-
- checkUsable() - Method in class net.automatalib.util.graphs.dot.visualization.GraphVizBrowserVisualizationProvider
-
- checkUsable() - Method in class net.automatalib.util.graphs.dot.visualization.GraphVizSwingVisualizationProvider
-
- checkUsable() - Method in class net.automatalib.visualization.DummyVP
-
- checkUsable() - Method in class net.automatalib.visualization.jung.JungGraphVisualizationProvider
-
- checkUsable() - Method in interface net.automatalib.visualization.VisualizationProvider
-
- 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(T[], Random) - Static method in class net.automatalib.commons.util.random.RandomUtil
-
- 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
-
- ClassPathFileSource - Class in net.automatalib.commons.util.settings
-
- ClassPathFileSource(String) - Constructor for class net.automatalib.commons.util.settings.ClassPathFileSource
-
- 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.array.RichArray
-
Deprecated.
- 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() - Method in class net.automatalib.commons.util.array.RichArray
-
- 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
-
- closedCharStringRange(char, char) - Static method in class net.automatalib.words.impl.Alphabets
-
- 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
-
- 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.
- color - Variable in class net.automatalib.visualization.jung.JungGraphVisualizationProvider.NodeVisualization
-
- 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
-
- CompactDFA(CompactDFA<I>) - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactDFA
-
- CompactDFA(Alphabet<I>, CompactDFA<?>) - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactDFA
-
- CompactDFA.Creator<I> - Class in net.automatalib.automata.fsa.impl.compact
-
- CompactEdge<EP> - Class in net.automatalib.graphs.base.compact
-
- 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
-
- CompactMealy.Creator<I,O> - Class in net.automatalib.automata.transout.impl.compact
-
- 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
-
- CompactNFA(Alphabet<I>, CompactNFA<?>) - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactNFA
-
- CompactNFA.Creator<I> - Class in net.automatalib.automata.fsa.impl.compact
-
- 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 interface net.automatalib.words.Alphabet
-
- 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
-
- computeCoarsestStablePartition() - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
Refines the partition until it stabilizes.
- computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.DetSuffixOutputAutomaton
-
- computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.Output
-
- computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.SuffixOutput
-
- computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.DFA
-
- computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.FiniteStateAcceptor
-
- computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.DetSuffixOutputAutomaton
-
- computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.DFA
-
- computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automata.transout.TransitionOutputAutomaton
-
- computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.DetSuffixOutputAutomaton
-
- computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.SuffixOutput
-
- computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.DFA
-
- computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.FiniteStateAcceptor
-
- 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, Void) - Method in class net.automatalib.automata.transout.impl.map.SimpleMapGraph
-
- 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
-
- contains(Object) - Method in class net.automatalib.commons.util.array.RichArray
-
- containsAll(Collection<?>) - Method in class net.automatalib.commons.util.array.RichArray
-
- containsSymbol(I) - Method in interface net.automatalib.words.Alphabet
-
Checks whether the given symbol is part of the alphabet.
- containsSymbol(I) - Method in class net.automatalib.words.impl.ArrayAlphabet
-
- containsSymbol(E) - Method in class net.automatalib.words.impl.EnumAlphabet
-
- containsSymbol(I) - Method in class net.automatalib.words.impl.FastAlphabet
-
- containsSymbol(I) - Method in class net.automatalib.words.impl.ListAlphabet
-
- containsSymbol(I) - Method in class net.automatalib.words.impl.SimpleAlphabet
-
- contentDeepEquals(Object[]) - Method in class net.automatalib.commons.util.array.RichArray
-
- contentDeepEquals(Object[], int, int) - Method in class net.automatalib.commons.util.array.RichArray
-
- contentEquals(Object[]) - Method in class net.automatalib.commons.util.array.RichArray
-
- contentEquals(Object[], int, int) - Method in class net.automatalib.commons.util.array.RichArray
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- copyFrom(T[], int, int, int) - Method in class net.automatalib.commons.util.array.RichArray
-
- copyInitialState(S1) - Method in class net.automatalib.util.automata.copy.AbstractLowLevelAutomatonCopier
-
- copyInto(int, Object[], int, int) - Method in class net.automatalib.commons.util.array.RichArray
-
- 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 interface net.automatalib.automata.fsa.MutableFSA
-
- copyTransition(T, S) - Method in interface net.automatalib.automata.MutableAutomaton
-
- copyTransition(CompactMealyTransition<O>, int) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy
-
- 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, Iterator<? 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(A, Collection<? extends I>) - Static method in class net.automatalib.automata.graphs.AutomatonGraphView
-
- create(A) - Static method in class net.automatalib.automata.graphs.AutomatonGraphView
-
- create(A, Collection<? extends I>) - Static method in class net.automatalib.automata.graphs.UniversalAutomatonGraphView
-
- create(A) - Static method in class net.automatalib.automata.graphs.UniversalAutomatonGraphView
-
- 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
-
- createAutomaton(Alphabet<I>) - Method in interface net.automatalib.automata.AutomatonCreator
-
- createAutomaton(Alphabet<I>, int) - Method in interface net.automatalib.automata.AutomatonCreator
-
- createAutomaton(Alphabet<I>) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA.Creator
-
- createAutomaton(Alphabet<I>, int) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA.Creator
-
- createAutomaton(Alphabet<I>) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA.Creator
-
- createAutomaton(Alphabet<I>, int) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA.Creator
-
- createAutomaton(Alphabet<I>) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy.Creator
-
- createAutomaton(Alphabet<I>, int) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy.Creator
-
- createBlock() - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
Creates a new block.
- createBlockForStateMap() - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
- 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.graphs.AbstractAutomatonGraphView
-
- createDynamicNodeMapping() - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph
-
- createDynamicNodeMapping() - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView
-
- 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() - 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
-
- createEdgeVisualization(Map<String, String>) - Static method in class net.automatalib.visualization.jung.JungGraphVisualizationProvider
-
- 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
-
- createNodeVisualization(Map<String, String>, int) - Static method in class net.automatalib.visualization.jung.JungGraphVisualizationProvider
-
- 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.graphs.AbstractAutomatonGraphView
-
- createStaticNodeMapping() - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph
-
- createStaticNodeMapping() - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView
-
- createStaticNodeMapping() - Method in class net.automatalib.util.automata.asgraph.AutomatonAsGraph
-
- createStaticStateMapping() - Method in class net.automatalib.automata.base.fast.FastMutableDet
-
- createStaticStateMapping() - Method in class net.automatalib.automata.base.fast.FastMutableNondet
-
- createStaticStateMapping() - Method in interface net.automatalib.automata.simple.SimpleAutomaton
-
- createStaticStateMapping() - Method in interface net.automatalib.ts.simple.SimpleTS
-
Creates a
MutableMapping
allowing to associate arbitrary data
with this transition system's states.
- createTransition(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(int, 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 interface net.automatalib.automata.fsa.MutableFSA
-
- createTransition(S, TP) - Method in interface net.automatalib.automata.MutableAutomaton
-
- createTransition(int, TP) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction
-
- createTransition(int, TP) - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction
-
- createTransition(int, TP) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction
-
- 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
-
- createTransitionEdges(Automaton<S, I, T>, Collection<? extends I>, S) - Static method in class net.automatalib.automata.graphs.AutomatonGraphView
-
- createVisualizationGraph(Graph<N, E>, GraphDOTHelper<N, ? super E>) - Static method in class net.automatalib.visualization.jung.JungGraphVisualizationProvider
-
- Creator() - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactDFA.Creator
-
- Creator() - Constructor for class net.automatalib.automata.fsa.impl.compact.CompactNFA.Creator
-
- Creator() - Constructor for class net.automatalib.automata.transout.impl.compact.CompactMealy.Creator
-
- 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
-
- currentToken - Variable in exception net.automatalib.serialization.taf.parser.ParseException
-
This is the last token that has been consumed successfully.
- 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
-
- 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
-
- 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
-
- FILL_COLOR - Static variable in class net.automatalib.visualization.jung.JungGraphVisualizationProvider.NodeVisualization
-
- fillColor - Variable in class net.automatalib.visualization.jung.JungGraphVisualizationProvider.NodeVisualization
-
- 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
-
- findMatchingMethod(Class<?>, String, Object...) - Static method in class net.automatalib.commons.util.ReflectUtil
-
- 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
-
- findSeparatingWordLarge(UniversalDeterministicAutomaton<S, I, T, ?, ?>, UniversalDeterministicAutomaton<S2, I, T2, ?, ?>, Collection<? extends I>) - Static method in class net.automatalib.util.automata.equivalence.DeterministicEquivalenceTest
-
- findShortestPath(IndefiniteGraph<N, E>, int, N, Collection<? extends N>) - Static method in class net.automatalib.util.graphs.Graphs
-
- findShortestPath(IndefiniteGraph<N, E>, int, N, Predicate<? super N>) - Static method in class net.automatalib.util.graphs.Graphs
-
- findShortestSeparatingWord(UniversalDeterministicAutomaton<?, I, ?, ?, ?>, UniversalDeterministicAutomaton<?, I, ?, ?, ?>, Collection<? extends I>) - Static method in class net.automatalib.util.automata.Automata
-
- 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.
- findUndefinedInput(Automaton<S, I, ?>, Iterable<? extends I>) - Static method in class net.automatalib.util.automata.Automata
-
- finish(DataInput) - Method in interface net.automatalib.serialization.saf.BlockPropertyDecoder
-
- finish(DataOutput) - Method in interface net.automatalib.serialization.saf.BlockPropertyEncoder
-
- 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
-
- FiniteStateAcceptor<S,I> - Interface in net.automatalib.automata.fsa
-
FiniteStateAcceptor
s accept regular languages.
- FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>> - Class in net.automatalib.automata.fsa
-
- first - Variable in class net.automatalib.commons.util.IPair
-
- first - Variable in class net.automatalib.commons.util.Pair
-
- 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.impl.compact.CompactDFA
-
- flipAcceptance() - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA
-
- 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
-
- forDFA() - Static method in class net.automatalib.util.automata.random.RandomICAutomatonGenerator
-
Creates a random IC automaton generator instance for generating DFAs.
- forDFA(double) - Static method in class net.automatalib.util.automata.random.RandomICAutomatonGenerator
-
Creates a random IC automaton generator instance for generating DFAs.
- forMealy(A) - Static method in class net.automatalib.util.automata.builders.AutomatonBuilders
-
- forRandom(Random) - Method in class net.automatalib.commons.util.random.WeightedSupplier
-
- 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
-
- fromCharSequence(CharSequence) - Static method in class net.automatalib.words.Word
-
- fromCollection(Collection<? extends I>) - Static method in class net.automatalib.words.impl.Alphabets
-
- fromEnum(Class<E>, boolean) - Static method in class net.automatalib.words.impl.Alphabets
-
- fromEnum(Class<E>) - Static method in class net.automatalib.words.impl.Alphabets
-
- 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
-
- FSAGraphView(A, Collection<? extends I>) - Constructor for class net.automatalib.automata.fsa.FiniteStateAcceptor.FSAGraphView
-
- fullIntAbstraction(Alphabet<I>) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
-
- fullIntAbstraction() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
-
- fullIntAbstraction(Alphabet<I>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- fullIntAbstraction() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automata.DeterministicAutomaton
-
- fullIntAbstraction(Alphabet<I>) - Method in interface net.automatalib.automata.DeterministicAutomaton
-
- fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automata.MutableDeterministic
-
- fullIntAbstraction(Alphabet<I>) - Method in interface net.automatalib.automata.MutableDeterministic
-
- fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton
-
- fullIntAbstraction(Alphabet<I>) - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton
-
- fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton
-
- fullIntAbstraction(Alphabet<I>) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton
-
- FunctionsUtil - Class in net.automatalib.commons.util.functions
-
This class provides utility methods for Java 8
Function
objects (and for the
corresponding primitive specializations).
- generateICDeterministicAutomaton(int, Collection<? extends I>, A, Random) - Method in class net.automatalib.util.automata.random.RandomICAutomatonGenerator
-
Generates an initially connected (IC) deterministic automaton with the given
parameters.
- generateICDeterministicAutomaton(int, Alphabet<I>, AutomatonCreator<? extends A, I>, Random) - Method in class net.automatalib.util.automata.random.RandomICAutomatonGenerator
-
Generates an initially-connected (IC) deterministic automaton with the given parameters.
- 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.helpers.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.array.RichArray
-
- get(int) - Method in class net.automatalib.commons.util.collections.CharRange
-
- get(int) - Method in class net.automatalib.commons.util.collections.CharStringRange
-
- 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(int) - Method in class net.automatalib.commons.util.nid.DynamicList
-
- get() - Method in class net.automatalib.commons.util.random.WeightedSupplier
-
- 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(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.
- getAdjacentTargets(N) - Method in class net.automatalib.automata.transout.impl.map.SimpleMapGraph
-
- getAdjacentTargets(N) - Method in interface net.automatalib.graphs.IndefiniteGraph
-
- getAdjacentTargets(N) - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph
-
- getAdjacentTargets(N) - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView
-
- getAtomicPropositions(N) - Method in interface net.automatalib.graphs.concepts.KripkeInterpretation
-
Retrieves the atomic propositions holding at the given node.
- getAutomaton() - Method in 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.
- getBestProvider() - Method in class net.automatalib.visualization.VPManager
-
- getBlockForState(S) - Method in class net.automatalib.util.minimizer.MinimizationResult
-
Retrieves the block to which a given original state belongs.
- getBlockForState(int) - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
Retrieves the corresponding block for a given state (ID).
- 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
-
- getColor(Map<String, String>, String, Color) - Static method in class net.automatalib.visualization.jung.JungGraphVisualizationProvider
-
- getDescription() - Method in interface net.automatalib.visualization.VisualizationProvider
-
- getDfsNumbers() - Method in class net.automatalib.examples.graph.DFSExample.MyDFSVisitor
-
- getDot() - Method in class net.automatalib.commons.dotutil.DOTComponent
-
- 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(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, T>) - Method in class net.automatalib.automata.graphs.UniversalAutomatonGraphView
-
- getEdgeProperty(N) - Method in class net.automatalib.automata.transout.impl.map.SimpleMapGraph
-
- getEdgeProperty(Transition) - Method in class net.automatalib.brics.AbstractBricsAutomaton.GraphView
-
- 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
-
- getEdgesBetween(N, N) - Method in interface net.automatalib.graphs.IndefiniteGraph
-
- 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.IPair
-
Getter for the first member.
- getFirst() - Method in class net.automatalib.commons.util.Pair
-
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.fsa.FiniteStateAcceptor.FSAGraphView
-
- getGraphDOTHelper() - Method in class net.automatalib.automata.graphs.AutomatonGraphView
-
- getGraphDOTHelper() - Method in class net.automatalib.automata.transout.MealyMachine.MealyGraphView
-
- getGraphDOTHelper() - Method in class net.automatalib.brics.AbstractBricsAutomaton.GraphView
-
- getGraphDOTHelper() - Method in interface net.automatalib.graphs.Graph
-
- getGraphDOTHelper() - Method in interface net.automatalib.graphs.SimpleGraph
-
- 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.graphs.dot.visualization.GraphVizBrowserVisualizationProvider
-
- getId() - Method in class net.automatalib.util.graphs.dot.visualization.GraphVizSwingVisualizationProvider
-
- getId() - Method in class net.automatalib.util.minimizer.Block
-
Retrieves the ID of this block.
- getId() - Method in class net.automatalib.visualization.DummyVP
-
- getId() - Method in class net.automatalib.visualization.jung.JungGraphVisualizationProvider
-
- getId() - Method in interface net.automatalib.visualization.VisualizationProvider
-
- 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() - Method in class net.automatalib.ts.comp.TSComposition
-
- getInitialStates() - Method in interface net.automatalib.ts.simple.SimpleDTS
-
- getInitialStates() - Method in interface net.automatalib.ts.simple.SimpleTS
-
Retrieves the set of initial states of the transition system.
- getInput() - Method in class net.automatalib.automata.graphs.TransitionEdge
-
- getInput() - Method in class net.automatalib.automata.graphs.TransitionEdge.Property
-
- 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.commons.util.lib.LibLoader
-
- getInstance() - Static method in class net.automatalib.serialization.learnlibv2.LearnLibV2Serialization
-
- getInstance() - Static method in class net.automatalib.serialization.saf.SAFSerialization
-
- getInstance() - Static method in class net.automatalib.serialization.taf.TAFSerialization
-
- 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
-
- getIntInitialState() - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
-
- getIntInitialState() - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction
-
- getIntInitialState() - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction
-
Retrieves the initial state of the (abstracted) automaton as an integer.
- 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(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(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- getIntSuccessor(T) - Method in class net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
-
- getIntSuccessor(T) - Method in interface net.automatalib.automata.DeterministicAutomaton.IntAbstraction
-
Retrieves the (abstracted) successor of a transition object.
- getIntSuccessor(T) - Method in class net.automatalib.automata.DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction
-
- getIntSuccessor(CompactMealyTransition<O>) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy
-
- getIntTransition(int, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- 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.
- getName() - Method in interface net.automatalib.visualization.VisualizationProvider
-
- 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.graphs.StateAsNodeIDs
-
- getNode(int) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
-
- getNode(int) - Method in interface net.automatalib.graphs.concepts.NodeIDs
-
- getNode(int) - Method in class net.automatalib.graphs.helpers.SimpleNodeIDs
-
- getNode() - Method in class net.automatalib.incremental.dfa.tree.Edge
-
- getNodeId(S) - Method in class net.automatalib.automata.graphs.StateAsNodeIDs
-
- getNodeId(Integer) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
-
- getNodeId(N) - Method in interface net.automatalib.graphs.concepts.NodeIDs
-
- getNodeId(N) - Method in class net.automatalib.graphs.helpers.SimpleNodeIDs
-
- getNodeProperties(S, Map<String, String>) - Method in class net.automatalib.automata.dot.DOTHelperFSA
-
- 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(S) - Method in class net.automatalib.automata.graphs.UniversalAutomatonGraphView
-
- getNodeProperty(N) - Method in class net.automatalib.automata.transout.impl.map.SimpleMapGraph
-
- getNodeProperty(State) - Method in class net.automatalib.brics.AbstractBricsAutomaton.GraphView
-
- 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.graphs.AbstractAutomatonGraphView
-
- getNodes() - Method in class net.automatalib.automata.transout.impl.map.SimpleMapGraph
-
- getNodes() - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
-
- getNodes() - Method in interface net.automatalib.graphs.SimpleGraph
-
Retrieves an (unmodifiable) collection of the nodes in this graph.
- getNodes() - Method in class net.automatalib.graphs.SimpleGraph.NormalGraphView
-
- 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.
- getNumBlocks() - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
Retrieves the total number of blocks in the block list.
- 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(S) - Method in class net.automatalib.automata.graphs.AutomatonGraphView
-
- getOutgoingEdges(N) - Method in class net.automatalib.automata.transout.impl.map.SimpleMapGraph
-
- getOutgoingEdges(State) - Method in class net.automatalib.brics.AbstractBricsAutomaton.GraphView
-
- 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(N) - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView
-
- 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() - Method in class net.automatalib.automata.transout.impl.compact.CompactMealyTransition
-
- 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(int) - Method in class net.automatalib.incremental.mealy.dag.State
-
- getOutput() - Method in class net.automatalib.incremental.mealy.tree.AnnotatedEdge
-
- 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.
- getPriority() - Method in class net.automatalib.commons.util.settings.LocalFileSource
-
- getPriority() - Method in interface net.automatalib.commons.util.settings.SettingsSource
-
- getPriority() - Method in class net.automatalib.commons.util.settings.SystemPropertiesSource
-
- getPriority() - Method in class net.automatalib.util.graphs.dot.visualization.GraphVizBrowserVisualizationProvider
-
- getPriority() - Method in class net.automatalib.util.graphs.dot.visualization.GraphVizSwingVisualizationProvider
-
- getPriority() - Method in class net.automatalib.visualization.DummyVP
-
- getPriority() - Method in class net.automatalib.visualization.jung.JungGraphVisualizationProvider
-
- getPriority() - Method in interface net.automatalib.visualization.VisualizationProvider
-
- 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
-
- getProviderByName(String) - Method in class net.automatalib.visualization.VPManager
-
- 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.
- getRepresentative(Block) - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
Retrieves a representative state from the given 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.IPair
-
Getter for the second member.
- getSecond() - Method in class net.automatalib.commons.util.Pair
-
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.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(int) - Method in class net.automatalib.automata.helpers.SimpleStateIDs
-
- 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(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(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
-
- getStateId(S) - Method in class net.automatalib.automata.helpers.SimpleStateIDs
-
- 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(int) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA
-
- getStateProperty(int) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA
-
- getStateProperty(int) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy
-
- getStateProperty(FastProbMealyState<O>) - Method in class net.automatalib.automata.transout.impl.FastProbMealy
-
- getStateProperty(S) - Method in interface net.automatalib.automata.transout.MooreMachine
-
- getStateProperty(int) - Method in class net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
-
- getStateProperty(int) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton.IntAbstraction
-
Retrieves the state property of a given (abstracted) state.
- getStateProperty(int) - Method in class net.automatalib.automata.UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction
-
- getStateProperty(S) - Method in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder.AbstractTransitionSystemView
-
- getStateProperty(S) - Method in interface net.automatalib.ts.acceptors.AcceptorTS
-
- getStateProperty(S) - Method in interface net.automatalib.ts.transout.MealyTransitionSystem
-
- getStateProperty(S) - Method in interface net.automatalib.ts.UniversalTransitionSystem
-
Retrieves the state property for the given state.
- getStates() - Method in 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(Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleDTS
-
- getStates(Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleTS
-
Retrieves the set of all states reachable by the given sequence of input
symbols from an initial state.
- getStatesInBlock(Block<S, L>) - Static method in class net.automatalib.util.minimizer.MinimizationResult
-
Retrieves all (original) states in a block.
- getStderrDiagnosticListener() - Static method in class net.automatalib.serialization.taf.parser.PrintStreamDiagnosticListener
-
- 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(int, I) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- getSuccessor(Integer, Iterable<? extends I>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- getSuccessor(int, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- getSuccessor(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
-
- getSuccessor(int, int) - Method in interface net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction
-
- getSuccessor(int, I) - Method in interface net.automatalib.automata.DeterministicAutomaton.StateIntAbstraction
-
- getSuccessor(int, int) - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
-
- getSuccessor(int, int) - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction
-
Retrieves the (abstracted) successor for a given (abstracted) source state and
(abstracted) input.
- getSuccessor(int, I) - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction
-
- getSuccessor(int, I) - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.StateIntAbstraction
-
Retrieves the (abstracted) successor state for a given (abstracted) source state
and input symbol.
- getSuccessor(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) - 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(S) - Method in interface net.automatalib.ts.acceptors.AcceptorTS
-
- getSuccessor(IPair<T1, T2>) - Method in class net.automatalib.ts.comp.DTSComposition
-
- getSuccessor(IPair<T1, T2>) - Method in class net.automatalib.ts.comp.TSComposition
-
- getSuccessor(S, I) - Method in interface net.automatalib.ts.DeterministicTransitionSystem
-
- 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(S, I) - Method in interface net.automatalib.ts.DeterministicTransitionSystem
-
- getSuccessors(S, I) - Method in interface net.automatalib.ts.simple.SimpleDTS
-
- getSuccessors(S, Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleDTS
-
- getSuccessors(S, I) - Method in interface net.automatalib.ts.simple.SimpleTS
-
Retrieves the set of successors for the given input symbol.
- getSuccessors(S, Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleTS
-
Retrieves the set of successors for the given sequence of input symbols.
- getSuccessors(Collection<? extends S>, Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleTS
-
Retrieves the set of all successors that can be reached from any
of the given source states by the specified sequence of input symbols.
- getSuccessors(S, I) - Method in interface net.automatalib.ts.TransitionSystem
-
- 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.graphs.AutomatonGraphView
-
- getTarget(N) - Method in class net.automatalib.automata.transout.impl.map.SimpleMapGraph
-
- getTarget(Transition) - Method in class net.automatalib.brics.AbstractBricsAutomaton.GraphView
-
- 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(N) - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView
-
- 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, I) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- getTransition(int, int) - 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(int, int) - Method in class net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
-
- getTransition(int, int) - Method in interface net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction
-
Retrieves the outgoing transition for an (abstracted) source state and
(abstracted) input symbol, or returns null
if the automaton
has no transition for this state and input.
- getTransition(int, I) - Method in class net.automatalib.automata.DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction
-
- getTransition(int, I) - Method in interface net.automatalib.automata.DeterministicAutomaton.StateIntAbstraction
-
Retrieves the outgoing transition for an (abstracted) source state and
input symbol, or returns null
if the automaton has no transition for this
state and input.
- getTransition() - Method in class net.automatalib.automata.graphs.TransitionEdge
-
- getTransition(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(IPair<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(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(ProbMealyTransition<FastProbMealyState<O>, O>) - Method in class net.automatalib.automata.transout.impl.FastProbMealy
-
- getTransitionOutput(T) - Method in interface net.automatalib.automata.transout.MooreMachine
-
- 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(CompactMealyTransition<O>) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy
-
- getTransitionProperty(ProbMealyTransition<FastProbMealyState<O>, O>) - Method in class net.automatalib.automata.transout.impl.FastProbMealy
-
- getTransitionProperty(T) - Method in interface net.automatalib.automata.transout.MooreMachine
-
- getTransitionProperty(T) - Method in interface net.automatalib.automata.transout.probabilistic.ProbabilisticMealyMachine
-
- getTransitionProperty(T) - Method in class net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
-
- getTransitionProperty(int, int) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction
-
- getTransitionProperty(T) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton.IntAbstraction
-
Retrieves the transition property of a given transition.
- getTransitionProperty(T) - Method in class net.automatalib.automata.UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction
-
- getTransitionProperty(int, I) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton.StateIntAbstraction
-
- getTransitionProperty(T) - Method in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder.AbstractTransitionSystemView
-
- getTransitionProperty(S) - Method in interface net.automatalib.ts.acceptors.AcceptorTS
-
- getTransitionProperty(T) - Method in interface net.automatalib.ts.transout.MealyTransitionSystem
-
- getTransitionProperty(S, I) - Method in interface net.automatalib.ts.UniversalDTS
-
Retrieves the transition property of the outgoing transition corresponding
to the given state and input, if it exists.
- getTransitionProperty(T) - Method in interface net.automatalib.ts.UniversalTransitionSystem
-
Retrieves the transition property for the given state.
- getTransitions(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(IPair<S1, S2>, I) - Method in class net.automatalib.ts.comp.TSComposition
-
- getTransitions(S, I) - Method in interface net.automatalib.ts.DeterministicTransitionSystem
-
- getTransitions(S, I) - Method in interface net.automatalib.ts.TransitionSystem
-
Retrieves the transitions that can be triggered by the given
input symbol.
- 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
-
- GraphTraversalVisitor<N,E,D> - Interface in net.automatalib.util.graphs.traversal
-
Visitor interface for graph traversals.
- graphView() - Method in interface net.automatalib.automata.FiniteAlphabetAutomaton
-
- graphView() - Method in class net.automatalib.brics.AbstractBricsAutomaton
-
- GraphView() - Constructor for class net.automatalib.brics.AbstractBricsAutomaton.GraphView
-
- graphView() - Method in interface net.automatalib.graphs.concepts.GraphViewable
-
- 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
-
- GraphViewable - Interface in net.automatalib.graphs.concepts
-
- GraphVizBrowserVisualizationProvider - Class in net.automatalib.util.graphs.dot.visualization
-
- GraphVizBrowserVisualizationProvider() - Constructor for class net.automatalib.util.graphs.dot.visualization.GraphVizBrowserVisualizationProvider
-
- GraphVizSwingVisualizationProvider - Class in net.automatalib.util.graphs.dot.visualization
-
- GraphVizSwingVisualizationProvider() - Constructor for class net.automatalib.util.graphs.dot.visualization.GraphVizSwingVisualizationProvider
-
- 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.
- id - Variable in class net.automatalib.commons.util.nid.AbstractMutableNumericID
-
- id - Variable in class net.automatalib.util.partitionrefinement.Block
-
- 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
-
- 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
-
- 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.
- IndefiniteSimpleGraph<N> - Interface in net.automatalib.graphs
-
A simplified interface for indefinite graphs, exposing only adjacency
information, but no further information about edge objects.
- IndefiniteSimpleGraph.NormalGraphView<N,G extends IndefiniteSimpleGraph<N>> - Class in net.automatalib.graphs
-
- indexOf(Object) - Method in class net.automatalib.commons.util.array.RichArray
-
- indexOf(char) - Method in class net.automatalib.commons.util.collections.CharRange
-
- indexOf(Object) - Method in class net.automatalib.commons.util.collections.CharRange
-
- indexOf(String) - Method in class net.automatalib.commons.util.collections.CharStringRange
-
- indexOf(Object) - Method in class net.automatalib.commons.util.collections.CharStringRange
-
- inIndex - Variable in class net.automatalib.graphs.base.compact.CompactBidiEdge
-
- init - Variable in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder
-
- initBlockForStateMap() - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
- initCompleteDeterministic(PaigeTarjan, UniversalDeterministicAutomaton.FullIntAbstraction<?, ?, ?>, PaigeTarjanInitializers.AutomatonInitialPartitioning, boolean) - Static method in class net.automatalib.util.partitionrefinement.PaigeTarjanInitializers
-
Initializes the partition refinement data structure from a given abstracted
deterministic automaton, using a predefined initial partitioning mode.
- initCompleteDeterministic(PaigeTarjan, SimpleDeterministicAutomaton.FullIntAbstraction, IntFunction<?>, boolean) - Static method in class net.automatalib.util.partitionrefinement.PaigeTarjanInitializers
-
Initializes the partition refinement data structure from a given abstracted
deterministic automaton, partitioning states according to the given classification
function.
- initDeterministic(PaigeTarjan, SimpleDeterministicAutomaton<S, I>, Alphabet<I>, Function<? super S, ?>, Object) - Static method in class net.automatalib.util.partitionrefinement.PaigeTarjanInitializers
-
Initializes the partition refinement data structure from a given
deterministic automaton, initializing the initial partition according
to the given classification function.
- initDeterministic(PaigeTarjan, DeterministicAutomaton<S, I, T>, Alphabet<I>, Predicate<? super S>, boolean) - Static method in class net.automatalib.util.partitionrefinement.PaigeTarjanInitializers
-
Initializes the partition refinement data structure from a given
deterministic automaton, initializing the initial partition according
to the given classification predicate (i.e., assuming a binary initial
partitioning).
- initial - Variable in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
-
- initial - Variable in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- initial - Variable in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
-
- initialClassifier(UniversalDeterministicAutomaton.FullIntAbstraction<?, ?, ?>) - Method in enum net.automatalib.util.partitionrefinement.PaigeTarjanInitializers.AutomatonInitialPartitioning
-
- initialClassifier(UniversalDeterministicAutomaton<S, I, ?, ?, ?>, Alphabet<I>) - Method in enum net.automatalib.util.partitionrefinement.PaigeTarjanInitializers.AutomatonInitialPartitioning
-
- 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
-
- initWorklist(boolean) - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
Initializes the worklist from the block list.
- 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.automata.graphs.AutomatonGraphView
-
- 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
-
- intToState(int) - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction
-
- intToSym(int) - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
-
- 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).
- INVALID_STATE - Static variable in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction
-
Representative for an invalid state.
- InvalidReferenceException - Exception in net.automatalib.commons.smartcollections
-
- 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
-
- IPair<T1,T2> - Class in net.automatalib.commons.util
-
Immutable pair class.
- IPair(T1, T2) - Constructor for class net.automatalib.commons.util.IPair
-
Constructs a pair with the given members.
- isAccepting(Collection<? extends S>) - Method in interface net.automatalib.automata.fsa.DFA
-
- 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(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(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(S) - Method in interface net.automatalib.ts.acceptors.AcceptorTS
-
Checks whether the given state is accepting.
- isAccepting(Collection<? extends S>) - Method in interface net.automatalib.ts.acceptors.AcceptorTS
-
- isAccepting(Collection<? extends S>) - Method in interface net.automatalib.ts.acceptors.DeterministicAcceptorTS
-
- isAccepting(IPair<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
-
- isConnected(N, N) - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph
-
- isConnected(N, N) - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView
-
- isDotUsable() - Static method in class net.automatalib.util.graphs.dot.GraphDOT
-
- 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.array.RichArray
-
- 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.util.partitionrefinement.Block
-
Checks whether this block is empty.
- isEmpty() - Method in class net.automatalib.words.Word
-
Checks if this word is empty, i.e., contains no symbols.
- isMatch(Class<?>[], Object...) - Static method in class net.automatalib.commons.util.ReflectUtil
-
- 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() - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraphView
-
- iterator() - Method in interface net.automatalib.automata.simple.SimpleAutomaton
-
- iterator() - Method in class net.automatalib.automata.transout.impl.map.SimpleMapGraph
-
- 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.array.RichArray
-
- iterator() - Method in class net.automatalib.commons.util.collections.CharRange
-
- iterator() - Method in class net.automatalib.commons.util.collections.CharStringRange
-
- iterator() - Method in class net.automatalib.commons.util.nid.DynamicList
-
- iterator() - Method in interface net.automatalib.graphs.SimpleGraph
-
- iterator() - Method in class net.automatalib.graphs.SimpleGraph.NormalGraphView
-
- 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
-
- PaigeTarjan - Class in net.automatalib.util.partitionrefinement
-
An implementation of the Paige/Tarjan partition refinement algorithm.
- PaigeTarjan() - Constructor for class net.automatalib.util.partitionrefinement.PaigeTarjan
-
- PaigeTarjan.WorklistPolicy - Enum in net.automatalib.util.partitionrefinement
-
Determines how the worklist is managed, i.e., where newly created blocks are inserted.
- PaigeTarjanExtractors - Class in net.automatalib.util.partitionrefinement
-
This class provides methods for translating the result of a
PaigeTarjan
coarsest
stable partition computation into several common, more usable forms such as automata.
- PaigeTarjanExtractors() - Constructor for class net.automatalib.util.partitionrefinement.PaigeTarjanExtractors
-
- PaigeTarjanInitializers - Class in net.automatalib.util.partitionrefinement
-
This class provides several methods to initialize a
PaigeTarjan
partition refinement
data structure from common sources, e.g., automata.
- PaigeTarjanInitializers() - Constructor for class net.automatalib.util.partitionrefinement.PaigeTarjanInitializers
-
- PaigeTarjanInitializers.AutomatonInitialPartitioning - Enum in net.automatalib.util.partitionrefinement
-
This enum allows to conveniently specify how the states of a deterministic automaton are
initially partitioned when initializing the partition refinement data structure.
- paintComponent(Graphics) - Method in class net.automatalib.commons.dotutil.ImageComponent
-
- Pair<T1,T2> - Class in net.automatalib.commons.util
-
Mutable pair class.
- Pair(T1, T2) - Constructor for class net.automatalib.commons.util.Pair
-
Constructs a pair with the given members.
- parallelPrefix(BinaryOperator<T>) - Method in class net.automatalib.commons.util.array.RichArray
-
- parallelPrefix(int, int, BinaryOperator<T>) - Method in class net.automatalib.commons.util.array.RichArray
-
- parallelSetAll(IntFunction<? extends T>) - Method in class net.automatalib.commons.util.array.RichArray
-
- parallelSetAll(int, int, IntFunction<? extends T>) - Method in class net.automatalib.commons.util.array.RichArray
-
- parallelSetAll(T) - Method in class net.automatalib.commons.util.array.RichArray
-
- parallelSetAll(int, int, T) - Method in class net.automatalib.commons.util.array.RichArray
-
- parallelSetAll(Supplier<? extends T>) - Method in class net.automatalib.commons.util.array.RichArray
-
- parallelSetAll(int, int, Supplier<? extends T>) - Method in class net.automatalib.commons.util.array.RichArray
-
- parallelSort(Comparator<? super T>) - Method in class net.automatalib.commons.util.array.RichArray
-
- parallelSort() - Method in class net.automatalib.commons.util.array.RichArray
-
- parallelSort(int, int, Comparator<? super T>) - Method in class net.automatalib.commons.util.array.RichArray
-
- parallelSort(int, int) - Method in class net.automatalib.commons.util.array.RichArray
-
- parallelStream() - Method in class net.automatalib.words.Word
-
- parallelTransform(Function<? super T, ? extends T>) - Method in class net.automatalib.commons.util.array.RichArray
-
- parallelTransform(int, int, Function<? super T, ? extends T>) - Method in class net.automatalib.commons.util.array.RichArray
-
- parallelTransformWithIndex(WithIndexTransformer<? super T, ? extends T>) - Method in class net.automatalib.commons.util.array.RichArray
-
- parallelTransformWithIndex(int, int, WithIndexTransformer<? super T, ? extends T>) - Method in class net.automatalib.commons.util.array.RichArray
-
- ParameterMismatchException - Exception in net.automatalib.serialization
-
- ParameterMismatchException() - Constructor for exception net.automatalib.serialization.ParameterMismatchException
-
- ParameterMismatchException(String, Throwable) - Constructor for exception net.automatalib.serialization.ParameterMismatchException
-
- ParameterMismatchException(String) - Constructor for exception net.automatalib.serialization.ParameterMismatchException
-
- ParameterMismatchException(Throwable) - Constructor for exception net.automatalib.serialization.ParameterMismatchException
-
- parseAny(Reader, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser
-
- parseAny(InputStream, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser
-
- parseAny(File, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser
-
- parseAny(String, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser
-
- parseDFA(Reader, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser
-
- parseDFA(InputStream, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser
-
- parseDFA(File, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser
-
- parseDFA(String, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser
-
- ParseException - Exception in net.automatalib.serialization.taf.parser
-
This exception is thrown when parse errors are encountered.
- ParseException(Token, int[][], String[]) - Constructor for exception net.automatalib.serialization.taf.parser.ParseException
-
This constructor is used by the method "generateParseException"
in the generated parser.
- ParseException() - Constructor for exception net.automatalib.serialization.taf.parser.ParseException
-
The following constructors are for use by you for whatever
purpose you can think of.
- ParseException(String) - Constructor for exception net.automatalib.serialization.taf.parser.ParseException
-
Constructor with message.
- parseMealy(Reader, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser
-
- parseMealy(InputStream, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser
-
- parseMealy(File, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser
-
- parseMealy(String, TAFParseDiagnosticListener) - Static method in class net.automatalib.serialization.taf.parser.TAFParser
-
- 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.commons.smartcollections.BinaryHeap
-
- 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.
- PlatformProperties - Class in net.automatalib.commons.util.lib
-
- poll() - Method in class net.automatalib.commons.smartcollections.BinaryHeap
-
- 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.
- posData - Variable in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
- posDataLow - Variable in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
- 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.
- predData - Variable in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
The array storing the predecessor data, i.e., for each state and input symbol,
a list of the respective predecessors.
- predOfsData - Variable in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
The array storing the predecessor offset data, i.e., for each state and input symbol,
the delimiting offsets of the respective predecessor list.
- predOfsDataLow - Variable in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
- 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.array.ArrayIterator
-
- previous() - Method in class net.automatalib.commons.util.collections.CharRangeIterator
-
- previous() - Method in class net.automatalib.commons.util.collections.CharStringRangeIterator
-
- previous() - Method in class net.automatalib.commons.util.collections.IntRangeIterator
-
- previousIndex() - Method in class net.automatalib.commons.util.array.ArrayIterator
-
- previousIndex() - Method in class net.automatalib.commons.util.collections.CharRangeIterator
-
- previousIndex() - Method in class net.automatalib.commons.util.collections.CharStringRangeIterator
-
- previousIndex() - Method in class net.automatalib.commons.util.collections.IntRangeIterator
-
- print(Appendable) - Method in class net.automatalib.commons.util.IPair
-
- print(Appendable) - Method in class net.automatalib.commons.util.Pair
-
- 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
-
- PrintStreamDiagnosticListener - Class in net.automatalib.serialization.taf.parser
-
- PrintStreamDiagnosticListener(PrintStream) - Constructor for class net.automatalib.serialization.taf.parser.PrintStreamDiagnosticListener
-
- 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.
- ptr - Variable in class net.automatalib.util.partitionrefinement.Block
-
The current pointer, i.e., the delimiter between elements of this block which were found to
belong to a potential sub-class of this block, and those that do not or have not been checked.
- 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.helpers.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.
- 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
-
- RandomICAutomatonGenerator<SP,TP> - Class in net.automatalib.util.automata.random
-
A random generator for initially connected (IC) deterministic automata.
- RandomICAutomatonGenerator() - Constructor for class net.automatalib.util.automata.random.RandomICAutomatonGenerator
-
- randomICDFA(Random, int, Alphabet<I>, boolean) - Static method in class net.automatalib.util.automata.random.RandomAutomata
-
Randomly generates an initially connected DFA (ICDFA), i.e., a DFA where all states are reachable from the initial state.
- 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
-
- 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
-
- 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
-
- 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
-
- 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.
- readCustomDFA(URL, Alphabet<I>) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readCustomDFA(File, Alphabet<I>) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readCustomDFA(byte[], Alphabet<I>) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readCustomDFA(InputStream, Alphabet<I>) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readCustomNFA(URL, Alphabet<I>) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readCustomNFA(File, Alphabet<I>) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readCustomNFA(byte[], Alphabet<I>) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readCustomNFA(InputStream, Alphabet<I>) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readGenericDFA(InputStream) - Method in class net.automatalib.serialization.learnlibv2.LearnLibV2Serialization
-
- readGenericDFA(InputStream) - Method in class net.automatalib.serialization.saf.SAFSerialization
-
- readGenericDFA(URL) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readGenericDFA(File) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readGenericDFA(byte[]) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readGenericDFA(InputStream) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readGenericDFA(InputStream) - Method in class net.automatalib.serialization.taf.TAFSerialization
-
- readGenericNFA(InputStream) - Method in class net.automatalib.serialization.learnlibv2.LearnLibV2Serialization
-
- readGenericNFA(InputStream) - Method in class net.automatalib.serialization.saf.SAFSerialization
-
- readGenericNFA(URL) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readGenericNFA(File) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readGenericNFA(byte[]) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readGenericNFA(InputStream) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readGenericNFA(InputStream) - Method in class net.automatalib.serialization.taf.TAFSerialization
-
- readNativeDFA(URL) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readNativeDFA(File) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readNativeDFA(byte[]) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readNativeDFA(InputStream) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readNativeDFA(InputStream) - Method in class net.automatalib.serialization.taf.TAFSerialization
-
- readNativeNFA(URL) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readNativeNFA(File) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readNativeNFA(byte[]) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readNativeNFA(InputStream) - Method in interface net.automatalib.serialization.SerializationProvider
-
- readProperty(DataInput) - Method in interface net.automatalib.serialization.saf.BlockPropertyDecoder
-
- readProperty(DataInput) - Method in interface net.automatalib.serialization.saf.SinglePropertyDecoder
-
- readSettings(Class<S>) - Static method in interface net.automatalib.commons.util.settings.SettingsSource
-
- readSettings(Class<S>, Properties) - Static method in interface net.automatalib.commons.util.settings.SettingsSource
-
- 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
-
- registerProvider(VisualizationProvider) - Method in class net.automatalib.visualization.VPManager
-
- 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() - 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.array.ArrayIterator
-
- remove(Object) - Method in class net.automatalib.commons.util.array.RichArray
-
Deprecated.
- remove(int) - Method in class net.automatalib.commons.util.array.RichArray
-
Deprecated.
- 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.CharStringRangeIterator
-
- 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
-
- removeAll(Collection<?>) - Method in class net.automatalib.commons.util.array.RichArray
-
Deprecated.
- 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
-
- removeAllTransitions(S, I) - Method in interface net.automatalib.automata.MutableDeterministic
-
- removeEdge(N, N) - Method in class net.automatalib.automata.transout.impl.map.SimpleMapGraph
-
- removeEdge(N, E) - Method in interface net.automatalib.graphs.ShrinkableGraph
-
Removes an outgoing edge from the given node.
- removeEmptyBlocks() - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
Removes all blocks which are empty from the block list.
- 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 class net.automatalib.automata.transout.impl.map.SimpleMapGraph
-
- removeNode(N, N) - Method in class net.automatalib.automata.transout.impl.map.SimpleMapGraph
-
- 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(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(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
-
- removeTransition(S, I, T) - Method in interface net.automatalib.automata.MutableDeterministic
-
- 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
-
- resizeFactor - Variable in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- 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.
- retainAll(Collection<?>) - Method in class net.automatalib.commons.util.array.RichArray
-
Deprecated.
- 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.commons.util.array.RichArray
-
- reverse() - Method in class net.automatalib.words.WordBuilder
-
Reverses the contents of the internal buffer.
- RichArray<T> - Class in net.automatalib.commons.util.array
-
A "modern", object-oriented wrapper for plain Java arrays.
- RichArray(int) - Constructor for class net.automatalib.commons.util.array.RichArray
-
- RichArray(T[], int, int) - Constructor for class net.automatalib.commons.util.array.RichArray
-
- RichArray(T[]) - Constructor for class net.automatalib.commons.util.array.RichArray
-
- RichArray(Collection<? extends T>) - Constructor for class net.automatalib.commons.util.array.RichArray
-
- RichArray(int, T) - Constructor for class net.automatalib.commons.util.array.RichArray
-
- RichArray(int, Supplier<? extends T>) - Constructor for class net.automatalib.commons.util.array.RichArray
-
- RichArray(int, IntFunction<? extends T>) - Constructor for class net.automatalib.commons.util.array.RichArray
-
- 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
-
- run(String[]) - Method in class net.automatalib.tools.taf.TAF2DOT
-
- run(String[]) - Method in class net.automatalib.tools.taf.TAFViz
-
- 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.
- 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.
- safeDefault(Function<T, R>) - Static method in class net.automatalib.commons.util.functions.FunctionsUtil
-
Returns a default function if the argument is null
.
- safeDefault(IntFunction<R>) - Static method in class net.automatalib.commons.util.functions.FunctionsUtil
-
Returns a default function if the argument is null
.
- 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 interface net.automatalib.ts.TransitionPredicate
-
- 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
-
- SAFSerialization - Class in net.automatalib.serialization.saf
-
- 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.IPair
-
- second - Variable in class net.automatalib.commons.util.Pair
-
- second - Variable in class net.automatalib.commons.util.Triple
-
Deprecated.
- SerializationProvider - Interface in net.automatalib.serialization
-
- set(T) - Method in class net.automatalib.commons.util.array.ArrayIterator
-
- set(int, T) - Method in class net.automatalib.commons.util.array.RichArray
-
- set(Character) - Method in class net.automatalib.commons.util.collections.CharRangeIterator
-
- set(String) - Method in class net.automatalib.commons.util.collections.CharStringRangeIterator
-
- 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.
- setAll(IntFunction<? extends T>) - Method in class net.automatalib.commons.util.array.RichArray
-
- setAll(int, int, IntFunction<? extends T>) - Method in class net.automatalib.commons.util.array.RichArray
-
- setAll(T) - Method in class net.automatalib.commons.util.array.RichArray
-
- setAll(int, int, T) - Method in class net.automatalib.commons.util.array.RichArray
-
- setAll(Supplier<? extends T>) - Method in class net.automatalib.commons.util.array.RichArray
-
- setAll(int, int, Supplier<? extends T>) - Method in class net.automatalib.commons.util.array.RichArray
-
- setBlockData(int[]) - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
- setBlockForState(Block[]) - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
- 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.
- setDotExe(String) - Static method in class net.automatalib.commons.dotutil.DOT
-
- setEdgeProperty(N, Void) - Method in class net.automatalib.automata.transout.impl.map.SimpleMapGraph
-
- 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
-
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(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
-
- setInitial(S, boolean) - Method in interface net.automatalib.automata.MutableDeterministic
-
- setInitialState(int) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
-
- setInitialState(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
-
- setInitialState(int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- setInitialState(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- setInitialState(S) - Method in class net.automatalib.automata.base.fast.FastMutableDet
-
- setInitialState(int) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction
-
- setInitialState(int) - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction
-
- setInitialState(S) - Method in interface net.automatalib.automata.MutableDeterministic
-
Sets the initial state to the given state.
- setInitialState(int) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction
-
- setMaxDepth(int) - Method in class net.automatalib.util.automata.conformance.IncrementalWMethodTestsIterator
-
- setNext(T) - Method in class net.automatalib.commons.smartcollections.BasicLinkedListEntry
-
- setNext(T) - Method in interface net.automatalib.commons.smartcollections.LinkedListEntry
-
Sets the successor of this entry.
- setNodeProperty(N, N) - Method in class net.automatalib.automata.transout.impl.map.SimpleMapGraph
-
Deprecated.
- setNodeProperty(int, NP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
-
- setNodeProperty(Integer, NP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
-
- setNodeProperty(int, NP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactNPGraph
-
- setNodeProperty(int, Void) - Method in class net.automatalib.graphs.base.compact.AbstractCompactSimpleGraph
-
- setNodeProperty(int, NP) - Method in class net.automatalib.graphs.base.compact.CompactGraph
-
- setNodeProperty(N, NP) - Method in interface net.automatalib.graphs.MutableGraph
-
- setOutput(O) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealyTransition
-
- setOutput(O) - Method in class net.automatalib.automata.transout.impl.FastMooreState
-
Sets the output symbol generated by this state.
- setOutput(O) - Method in class net.automatalib.automata.transout.impl.MealyTransition
-
Sets the output symbol.
- setPosData(int[], int) - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
- setPredData(int[]) - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
- setPredOfsData(int[], int) - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
- setPrev(T) - Method in class net.automatalib.commons.smartcollections.BasicLinkedListEntry
-
- setPrev(T) - Method in interface net.automatalib.commons.smartcollections.LinkedListEntry
-
Sets the predecessor of this entry.
- setProbability(float) - Method in class net.automatalib.automata.transout.impl.ProbMealyTransition
-
- setProperty(EP) - Method in class net.automatalib.graphs.base.compact.CompactEdge
-
- setScale(boolean) - Method in class net.automatalib.commons.dotutil.ImageComponent
-
- setSecond(T2) - Method in class net.automatalib.commons.util.Pair
-
Setter for the second member.
- setSecond(T2) - Method in class net.automatalib.commons.util.Triple
-
Deprecated.
- setSize(int, int) - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
- setStateOutput(S, O) - Method in interface net.automatalib.automata.concepts.MutableStateOutput
-
- setStateOutput(FastMooreState<O>, O) - Method in class net.automatalib.automata.transout.impl.FastMoore
-
- setStateProperty(int, SP) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
-
- setStateProperty(Integer, SP) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
-
- setStateProperty(int, SP) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- setStateProperty(Integer, SP) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- setStateProperty(int, SP) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
-
- setStateProperty(Integer, SP) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
-
- setStateProperty(int, SP) - Method in class net.automatalib.automata.base.compact.UniversalCompactSimpleDet
-
- setStateProperty(int, Boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA
-
- setStateProperty(int, Boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA
-
- setStateProperty(S, Boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA
-
- setStateProperty(S, SP) - Method in interface net.automatalib.automata.MutableAutomaton
-
- setStateProperty(int, SP) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction
-
- setStateProperty(int, SP) - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction
-
- setStateProperty(int, SP) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction
-
- setStateProperty(int, Void) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy
-
- setStateProperty(FastProbMealyState<O>, Void) - Method in class net.automatalib.automata.transout.impl.FastProbMealy
-
- setStateProperty(S, Void) - Method in interface net.automatalib.automata.transout.MutableMealyMachine
-
- setStateProperty(S, O) - Method in interface net.automatalib.automata.transout.MutableMooreMachine
-
- setSymbol(int, I) - Method in class net.automatalib.words.WordBuilder
-
Sets the symbol at the given index.
- setThird(T3) - Method in class net.automatalib.commons.util.Triple
-
Deprecated.
- SettingsSource - Interface in net.automatalib.commons.util.settings
-
- setTransition(int, int, T) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
-
- setTransition(int, I, T) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
-
- setTransition(int, int, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
-
- setTransition(int, int, int, TP) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
-
- setTransition(int, I, int, TP) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
-
- setTransition(Integer, I, T) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
-
- setTransition(int, int, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- setTransition(int, I, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- setTransition(Integer, I, Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- setTransition(Integer, I, Integer, Void) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- setTransition(int, int, Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- setTransition(int, int, int, Void) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- setTransition(int, I, Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- setTransition(int, I, int, Void) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- setTransition(int, T) - Method in class net.automatalib.automata.base.fast.FastDetState
-
- setTransition(S, I, T) - Method in class net.automatalib.automata.base.fast.FastMutableDet
-
- setTransition(int, int, T) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction
-
- setTransition(int, int, int, TP) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction
-
- setTransition(int, int, T) - Method in interface net.automatalib.automata.MutableDeterministic.FullIntAbstraction
-
- setTransition(int, int, int, TP) - Method in interface net.automatalib.automata.MutableDeterministic.FullIntAbstraction
-
- setTransition(S, I, T) - Method in interface net.automatalib.automata.MutableDeterministic
-
Sets the transition for the given state and input symbol.
- setTransition(S, I, S, TP) - Method in interface net.automatalib.automata.MutableDeterministic
-
Sets the transition for the given state and input symbol to a newly
created one.
- setTransition(int, I, T) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction
-
- setTransition(int, I, int, TP) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction
-
- setTransition(int, I, T) - Method in interface net.automatalib.automata.MutableDeterministic.StateIntAbstraction
-
- setTransition(int, I, int, TP) - Method in interface net.automatalib.automata.MutableDeterministic.StateIntAbstraction
-
- setTransitionOutput(T, O) - Method in interface net.automatalib.automata.concepts.MutableTransitionOutput
-
- setTransitionOutput(CompactMealyTransition<O>, O) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy
-
- setTransitionOutput(MealyTransition<FastMealyState<O>, O>, O) - Method in class net.automatalib.automata.transout.impl.FastMealy
-
- setTransitionOutput(ProbMealyTransition<FastProbMealyState<O>, O>, O) - Method in class net.automatalib.automata.transout.impl.FastProbMealy
-
- setTransitionProbability(T, float) - Method in interface net.automatalib.automata.concepts.MutableProbabilistic
-
- setTransitionProbability(ProbMealyTransition<FastProbMealyState<O>, O>, float) - Method in class net.automatalib.automata.transout.impl.FastProbMealy
-
- setTransitionProperty(Integer, Void) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- setTransitionProperty(Integer, Void) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
-
- setTransitionProperty(S, Void) - Method in interface net.automatalib.automata.fsa.MutableFSA
-
- setTransitionProperty(T, TP) - Method in interface net.automatalib.automata.MutableAutomaton
-
- setTransitionProperty(T, TP) - Method in class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction
-
- setTransitionProperty(T, TP) - Method in interface net.automatalib.automata.MutableDeterministic.IntAbstraction
-
- setTransitionProperty(T, TP) - Method in class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction
-
- setTransitionProperty(CompactMealyTransition<O>, O) - Method in class net.automatalib.automata.transout.impl.compact.CompactMealy
-
- setTransitionProperty(ProbMealyTransition<FastProbMealyState<O>, O>, ProbabilisticOutput<O>) - Method in class net.automatalib.automata.transout.impl.FastProbMealy
-
- setTransitionProperty(T, O) - Method in interface net.automatalib.automata.transout.MutableMealyMachine
-
- setTransitionProperty(T, Void) - Method in interface net.automatalib.automata.transout.MutableMooreMachine
-
- setTransitions(Integer, I, Collection<? extends Integer>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
-
- setTransitions(int, I, Collection<? extends Integer>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
-
- setTransitions(int, int, Collection<? extends Integer>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
-
- setTransitions(S, I, Collection<? extends T>) - Method in class net.automatalib.automata.base.fast.FastMutableNondet
-
- setTransitions(int, Collection<? extends T>) - Method in class net.automatalib.automata.base.fast.FastNondetState
-
- setTransitions(S, I, Collection<? extends T>) - Method in interface net.automatalib.automata.MutableAutomaton
-
- setTransitions(S, I, Collection<? extends T>) - Method in interface net.automatalib.automata.MutableDeterministic
-
- setupRenderContext(RenderContext<JungGraphVisualizationProvider.NodeVisualization, JungGraphVisualizationProvider.EdgeVisualization>) - Static method in class net.automatalib.visualization.jung.JungGraphVisualizationProvider
-
- setWorklistPolicy(PaigeTarjan.WorklistPolicy) - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
- SHAPE - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.NodeAttrs
-
- SHAPE - Static variable in class net.automatalib.visualization.jung.JungGraphVisualizationProvider.NodeVisualization
-
- shape - Variable in class net.automatalib.visualization.jung.JungGraphVisualizationProvider.NodeVisualization
-
- SharedSuffixTrie<I> - Class in net.automatalib.util.tries
-
- SharedSuffixTrie(Alphabet<I>) - Constructor for class net.automatalib.util.tries.SharedSuffixTrie
-
- SharedSuffixTrie(Alphabet<I>, boolean) - Constructor for class net.automatalib.util.tries.SharedSuffixTrie
-
- shortestPath(IndefiniteGraph<N, E>, Collection<? extends N>, int, Predicate<? super N>) - Static method in class net.automatalib.util.graphs.ShortestPaths
-
- shortestPath(IndefiniteGraph<N, E>, N, int, Predicate<? super N>) - Static method in class net.automatalib.util.graphs.ShortestPaths
-
- shortestPath(IndefiniteGraph<N, E>, N, int, Collection<?>) - Static method in class net.automatalib.util.graphs.ShortestPaths
-
- shortestPath(IndefiniteGraph<N, E>, N, int, N) - Static method in class net.automatalib.util.graphs.ShortestPaths
-
- shortestPath(IndefiniteGraph<N, E>, Collection<? extends N>, int, Collection<?>) - Static method in class net.automatalib.util.graphs.ShortestPaths
-
- shortestPath(IndefiniteGraph<N, E>, Collection<? extends N>, int, N) - Static method in class net.automatalib.util.graphs.ShortestPaths
-
- ShortestPaths - Class in net.automatalib.util.graphs
-
Unweighted shortest path search in graphs.
- shortestPaths(IndefiniteGraph<N, E>, Collection<? extends N>, int, Predicate<? super N>) - Static method in class net.automatalib.util.graphs.ShortestPaths
-
- shortestPaths(IndefiniteGraph<N, E>, N, int, Predicate<? super N>) - Static method in class net.automatalib.util.graphs.ShortestPaths
-
- shortestPaths(IndefiniteGraph<N, E>, N, int, N) - Static method in class net.automatalib.util.graphs.ShortestPaths
-
- shortestPaths(IndefiniteGraph<N, E>, N, int, Collection<?>) - Static method in class net.automatalib.util.graphs.ShortestPaths
-
- shortestPaths(IndefiniteGraph<N, E>, Collection<? extends N>, int, N) - Static method in class net.automatalib.util.graphs.ShortestPaths
-
- shortestPaths(IndefiniteGraph<N, E>, Collection<? extends N>, int, Collection<?>) - Static method in class net.automatalib.util.graphs.ShortestPaths
-
- shortestPathsIterator(IndefiniteGraph<N, E>, Collection<? extends N>, int, Predicate<? super N>) - Static method in class net.automatalib.util.graphs.ShortestPaths
-
- shortValue(Short, short) - Static method in class net.automatalib.commons.util.WrapperUtil
-
- shrink(int) - Method in class net.automatalib.commons.util.array.ResizingArrayStorage
-
Shrinks the storage to the specified maximum capacity.
- shrink(int) - Method in class net.automatalib.commons.util.array.ResizingIntArray
-
- shrink(int) - Method in class net.automatalib.commons.util.array.ResizingObjectArray
-
- ShrinkableAutomaton<S,I,T,SP,TP> - Interface in net.automatalib.automata
-
A mutable automaton that also supports destructive modifications, i.e., removal
of states and transitions.
- ShrinkableDeterministic<S,I,T,SP,TP> - Interface in net.automatalib.automata
-
A mutable deterministic automaton that also supports destructive operations, i.e.,
removal of states and transitions.
- ShrinkableGraph<N,E> - Interface in net.automatalib.graphs
-
A graph that supports (desirably efficient) removal of nodes and edges.
- shuffle(Random) - Method in class net.automatalib.commons.util.array.RichArray
-
- shuffle() - Method in class net.automatalib.commons.util.array.RichArray
-
- SimpleAlphabet<I> - Class in net.automatalib.words.impl
-
A simple alphabet implementation, that does not impose any restriction on the input
symbol class.
- SimpleAlphabet() - Constructor for class net.automatalib.words.impl.SimpleAlphabet
-
- SimpleAlphabet(Collection<? extends I>) - Constructor for class net.automatalib.words.impl.SimpleAlphabet
-
- SimpleAutomaton<S,I> - Interface in net.automatalib.automata.simple
-
A simple automaton, i.e., a
SimpleTS
with a finite number of states.
- SimpleBricsExample - Class in net.automatalib.examples.brics
-
- SimpleBricsExample() - Constructor for class net.automatalib.examples.brics.SimpleBricsExample
-
- SimpleDeterministicAutomaton<S,I> - Interface in net.automatalib.automata.simple
-
A simple deterministic automaton.
- SimpleDeterministicAutomaton.FullIntAbstraction - Interface in net.automatalib.automata.simple
-
- SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,A extends SimpleDeterministicAutomaton.StateIntAbstraction<I>> - Class in net.automatalib.automata.simple
-
- SimpleDeterministicAutomaton.IntAbstraction - Interface in net.automatalib.automata.simple
-
Basic interface for integer abstractions of automata.
- SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction<S,A extends SimpleDeterministicAutomaton<S,?>> - Class in net.automatalib.automata.simple
-
Base class implementing the default way of obtaining an integer abstraction from
an automaton, i.e., by mapping states to integers and vice versa using the
StateIDs
mapping obtained via
SimpleAutomaton.stateIDs()
.
- SimpleDeterministicAutomaton.StateIntAbstraction<I> - Interface in net.automatalib.automata.simple
-
Interface for
integer abstractions
of an automaton that operate on
non-abstracted input symbols (i.e., input symbols are of type
I
).
- SimpleDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,A extends SimpleDeterministicAutomaton<S,I>> - Class in net.automatalib.automata.simple
-
- SimpleDTS<S,I> - Interface in net.automatalib.ts.simple
-
A simple deterministic transition system.
- simpleGraph - Variable in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView
-
- SimpleGraph<N> - Interface in net.automatalib.graphs
-
- SimpleGraph.NormalGraphView<N,G extends SimpleGraph<N>> - Class in net.automatalib.graphs
-
- SimpleMapGraph<N> - Class in net.automatalib.automata.transout.impl.map
-
A very simple graph realization, where nodes can be arbitrary Java objects.
- SimpleMapGraph() - Constructor for class net.automatalib.automata.transout.impl.map.SimpleMapGraph
-
Initializes a graph where the adjacency structure is stored using a
HashMap
,
and adjacency information for a single node is stored using
HashSet
s.
- SimpleMapGraph(Supplier<? extends Collection<N>>) - Constructor for class net.automatalib.automata.transout.impl.map.SimpleMapGraph
-
Initializes a graph where the adjacency structure is stored using a
HashMap
,
and adjacency information for a single node is stored in data structures created via
the provided supplier.
- SimpleMapGraph(Map<N, Collection<N>>) - Constructor for class net.automatalib.automata.transout.impl.map.SimpleMapGraph
-
Initializes a graph using the given adjacency structure, and adjacency information for
a single node is stored using
HashSet
s.
- SimpleMapGraph(Map<N, Collection<N>>, Supplier<? extends Collection<N>>) - Constructor for class net.automatalib.automata.transout.impl.map.SimpleMapGraph
-
Initializes a graph using the given adjacency structure, and adjacency information for
a single node is stored in data structures created via the provided supplier.
- SimpleNodeIDs<N> - Class in net.automatalib.graphs.helpers
-
- SimpleNodeIDs(SimpleGraph<N>) - Constructor for class net.automatalib.graphs.helpers.SimpleNodeIDs
-
- SimpleStateIDs<S> - Class in net.automatalib.automata.helpers
-
- SimpleStateIDs(SimpleAutomaton<S, ?>) - Constructor for class net.automatalib.automata.helpers.SimpleStateIDs
-
- SimpleTS<S,I> - Interface in net.automatalib.ts.simple
-
A simple transition system.
- SimplifiedIterator<E> - Class in net.automatalib.commons.util.collections
-
- SimplifiedIterator() - Constructor for class net.automatalib.commons.util.collections.SimplifiedIterator
-
- SinglePropertyDecoder<P> - Interface in net.automatalib.serialization.saf
-
- singleton(T) - Static method in class net.automatalib.words.impl.Alphabets
-
- sink - Variable in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder
-
- size() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
-
- size() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- size() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
-
- size() - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraphView
-
- size() - Method in interface net.automatalib.automata.simple.SimpleAutomaton
-
Retrieves the size (number of states) of this transition system.
- size() - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
-
- size() - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction
-
- size() - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction
-
Retrieves the number of states of the (abstracted) automaton.
- size() - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
-
- size() - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
-
- size() - Method in class net.automatalib.commons.smartcollections.BinaryHeap
-
- size() - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
-
- size() - Method in interface net.automatalib.commons.util.array.ArrayWritable
-
The size of this container.
- size() - Method in class net.automatalib.commons.util.array.RichArray
-
- size() - Method in class net.automatalib.commons.util.collections.CharRange
-
- size() - Method in class net.automatalib.commons.util.collections.CharStringRange
-
- size() - Method in class net.automatalib.commons.util.combinatorics.DisjointSetForestInt
-
- size() - Method in class net.automatalib.commons.util.nid.DynamicList
-
- size() - Method in class net.automatalib.commons.util.UnionFind
-
- size - Variable in class net.automatalib.graphs.base.compact.AbstractCompactGraph
-
- size() - Method in class net.automatalib.graphs.SimpleGraph.NormalGraphView
-
- size() - Method in interface net.automatalib.graphs.SimpleGraph
-
Retrieves the number of nodes of this graph.
- size() - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.GraphView
-
- size() - Method in class net.automatalib.ts.powerset.FastPowersetState
-
- size() - Method in class net.automatalib.util.automata.asgraph.AutomatonAsGraph
-
- size() - Method in class net.automatalib.util.automata.conformance.StrictPriorityQueue
-
- size() - Method in class net.automatalib.util.graphs.Path
-
- size() - Method in class net.automatalib.util.minimizer.Block
-
Retrieves the size of this block, i.e., the number of states it
contains.
- size() - Method in class net.automatalib.util.partitionrefinement.Block
-
Retrieves the size of this block.
- size() - Method in class net.automatalib.words.impl.ArrayAlphabet
-
- size() - Method in class net.automatalib.words.impl.ListAlphabet
-
- size() - Method in class net.automatalib.words.impl.SimpleAlphabet
-
- size() - Method in class net.automatalib.words.Word
-
- size() - Method in class net.automatalib.words.WordBuilder
-
- skip(InputStream) - Static method in class net.automatalib.commons.util.IOUtil
-
Skips the content of the stream as long as there is data available.
- slice(int, int) - Method in class net.automatalib.commons.util.array.RichArray
-
- SmartCollection<E> - Interface in net.automatalib.commons.smartcollections
-
An extended collection interface.
- SmartDeque<E> - Interface in net.automatalib.commons.smartcollections
-
A double-ended queue (deque), allowing access, removal and insertion
of elements both at the beginning and the end.
- SmartDynamicPriorityQueue<E> - Interface in net.automatalib.commons.smartcollections
-
A priority queue interface.
- SmartGeneralPriorityQueue<E,K extends Comparable<K>> - Interface in net.automatalib.commons.smartcollections
-
A generalized priority queue which allows storing arbitrary elements that
don't have to be comparable, neither by their natural ordering nor by a
provided
Comparator
.
- SmartPriorityQueue<E> - Interface in net.automatalib.commons.smartcollections
-
Priority queue interface.
- SmartSequence<E> - Interface in net.automatalib.commons.smartcollections
-
Sequence interface.
- SOLID - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.CommonStyles
-
- sort(Comparator<? super T>) - Method in class net.automatalib.commons.util.array.RichArray
-
- sort() - Method in class net.automatalib.commons.util.array.RichArray
-
- sort(int, int, Comparator<? super T>) - Method in class net.automatalib.commons.util.array.RichArray
-
- sort(int, int) - Method in class net.automatalib.commons.util.array.RichArray
-
- source - Variable in class net.automatalib.incremental.mealy.dag.TransitionRecord
-
- sourceSatisfying(Predicate<? super S>) - Static method in class net.automatalib.util.automata.predicates.TransitionPredicates
-
- spList - Variable in class net.automatalib.util.automata.random.AbstractRandomAutomatonGenerator
-
- split(int) - Method in class net.automatalib.util.partitionrefinement.Block
-
Splits this block, if applicable.
- spliterator() - Method in class net.automatalib.commons.util.array.RichArray
-
- spliterator(int, int) - Method in class net.automatalib.commons.util.array.RichArray
-
- spliterator() - Method in class net.automatalib.words.Word
-
- spMapping - Variable in class net.automatalib.util.automata.copy.AbstractLowLevelAutomatonCopier
-
- SSSPResult<N,E> - Interface in net.automatalib.algorithms.graph.sssp
-
Result interface for the single-source shortest path (SSSP) problem.
- start(DataInput) - Method in interface net.automatalib.serialization.saf.BlockPropertyDecoder
-
- start(DataOutput) - Method in interface net.automatalib.serialization.saf.BlockPropertyEncoder
-
- start - Variable in class net.automatalib.util.graphs.Path.PathData
-
- START_PREFIX - Static variable in class net.automatalib.graphs.dot.DefaultDOTHelper
-
- startExploration(N, TarjanSCCRecord) - Method in class net.automatalib.algorithms.graph.scc.TarjanSCCVisitor
-
- startExploration(N, D) - Method in class net.automatalib.util.graphs.traversal.DefaultGraphTraversalVisitor
-
- startExploration(N, D) - Method in interface net.automatalib.util.graphs.traversal.GraphTraversalVisitor
-
Called when the exploration of a node is started.
- startExploration(S1, S2) - Method in class net.automatalib.util.ts.copy.TSCopyVisitor
-
- startExploration(S, D) - Method in interface net.automatalib.util.ts.traversal.TSTraversalVisitor
-
- State - Class in net.automatalib.incremental.mealy.dag
-
- State(StateSignature) - Constructor for class net.automatalib.incremental.mealy.dag.State
-
- state - Variable in class net.automatalib.util.ts.TS.TransRef
-
- STATE_BY_STATE - Static variable in interface net.automatalib.util.automata.copy.AutomatonCopyMethod
-
- STATE_PROPERTIES - Static variable in interface net.automatalib.automata.fsa.FiniteStateAcceptor
-
- stateAbstraction - Variable in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
-
- StateAsNodeIDs<S> - Class in net.automatalib.automata.graphs
-
- StateAsNodeIDs(StateIDs<S>) - Constructor for class net.automatalib.automata.graphs.StateAsNodeIDs
-
- stateCapacity - Variable in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
-
- stateCapacity - Variable in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- stateCapacity - Variable in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
-
- stateCharacterizingSet(UniversalDeterministicAutomaton<S, I, ?, ?, ?>, Collection<? extends I>, S, Collection<? super Word<I>>) - Static method in class net.automatalib.util.automata.Automata
-
Computes a characterizing set for a single state.
- stateCharacterizingSet(UniversalDeterministicAutomaton<S, I, ?, ?, ?>, Collection<? extends I>, S) - Static method in class net.automatalib.util.automata.Automata
-
Computes a characterizing set for a single state, and returns it as a
List
.
- stateCover(DeterministicAutomaton<?, I, ?>, Collection<? extends I>) - Static method in class net.automatalib.util.automata.Automata
-
- stateFilter - Variable in class net.automatalib.util.automata.copy.AbstractLowLevelAutomatonCopier
-
- StateIDDynamicMapping<S extends NumericID,V> - Class in net.automatalib.automata.base
-
- StateIDDynamicMapping(Automaton<S, ?, ?>) - Constructor for class net.automatalib.automata.base.StateIDDynamicMapping
-
- StateIDGrowingMapping<S,V> - Class in net.automatalib.automata.base
-
- StateIDGrowingMapping(Automaton<S, ?, ?>, StateIDs<S>) - Constructor for class net.automatalib.automata.base.StateIDGrowingMapping
-
- stateIDs() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
-
- stateIDs() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- stateIDs() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
-
- stateIDs() - Method in class net.automatalib.automata.base.fast.FastMutableDet
-
- stateIDs() - Method in class net.automatalib.automata.base.fast.FastMutableNondet
-
- StateIDs<S> - Interface in net.automatalib.automata.concepts
-
- stateIDs() - Method in interface net.automatalib.automata.simple.SimpleAutomaton
-
- stateIds - Variable in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction
-
- StateIDStaticMapping<S,V> - Class in net.automatalib.automata.helpers
-
- StateIDStaticMapping(StateIDs<S>, int) - Constructor for class net.automatalib.automata.helpers.StateIDStaticMapping
-
- stateIntAbstraction() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
-
- stateIntAbstraction() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDet
-
- stateIntAbstraction() - Method in interface net.automatalib.automata.DeterministicAutomaton
-
- stateIntAbstraction() - Method in interface net.automatalib.automata.MutableDeterministic
-
- stateIntAbstraction() - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton
-
- stateIntAbstraction() - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton
-
- stateMapping - Variable in class net.automatalib.util.automata.copy.AbstractLowLevelAutomatonCopier
-
- StateOutput<S,O> - Interface in net.automatalib.automata.concepts
-
State output concept.
- stateProperties(UniversalTransitionSystem<S, ?, ?, SP, ?>) - Static method in class net.automatalib.util.ts.TS
-
- states - Variable in class net.automatalib.util.automata.random.AbstractRandomAutomatonGenerator
-
- statesInBlockIterator(Block) - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
Retrieves an iterator for the contents of the given block.
- statesInBlockSpliterator(Block) - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
-
Retrieves a spliterator for the contents of the given block.
- stateToInt(S) - Method in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction
-
- stateToSet(S) - Static method in interface net.automatalib.ts.simple.SimpleDTS
-
- stream() - Method in class net.automatalib.words.Word
-
- StrictPriorityQueue<E> - Class in net.automatalib.util.automata.conformance
-
A priority queue which enforces that no two elements that it contains
are equal wrt. the specified comparator (i.e.,
Comparator.compare(Object, Object)
does not return
0
for two distinct elements).
- StrictPriorityQueue(Comparator<? super E>, StrictPriorityQueue.MergeOperation<E>) - Constructor for class net.automatalib.util.automata.conformance.StrictPriorityQueue
-
Constructor.
- StrictPriorityQueue.MergeOperation<E> - Interface in net.automatalib.util.automata.conformance
-
The merge operation two perform on two equally-ranked elements.
- StringIndexGenerator - Class in net.automatalib.commons.util.strings
-
Class for transforming integer index values into string values (using
latin characters, therefore effectively realizing a radix-26 representation
of numbers).
- StringIndexGenerator(StringIndexGenerator.Case) - Constructor for class net.automatalib.commons.util.strings.StringIndexGenerator
-
- StringIndexGenerator.Case - Enum in net.automatalib.commons.util.strings
-
- StringUtil - Class in net.automatalib.commons.util.strings
-
Misceallanous utility functions for
String
s.
- STROKE - Static variable in class net.automatalib.visualization.jung.JungGraphVisualizationProvider.NodeVisualization
-
- stroke - Variable in class net.automatalib.visualization.jung.JungGraphVisualizationProvider.NodeVisualization
-
- strong(T) - Static method in class net.automatalib.commons.util.ref.Refs
-
Creates a strong reference to the given referent.
- StrongRef<T> - Class in net.automatalib.commons.util.ref
-
A strong reference wrapper, complying to the
Ref
interface.
- StrongRef(T) - Constructor for class net.automatalib.commons.util.ref.StrongRef
-
Constructor.
- STYLE - Static variable in class net.automatalib.graphs.dot.GraphDOTHelper.CommonAttrs
-
- subList(int, int) - Method in class net.automatalib.commons.util.array.RichArray
-
Deprecated.
- subWord(int, int) - Method in class net.automatalib.words.Word
-
Retrieves a word representing the specified subrange of this word.
- subWord(int) - Method in class net.automatalib.words.Word
-
Retrieves the subword of this word starting at the given index and extending
until the end of this word.
- succ(ElementReference) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
-
- succ(ElementReference) - Method in interface net.automatalib.commons.smartcollections.SmartSequence
-
Retrieves the reference to the succeeding element, or null
if the
given reference references the last element in the list.
- successors(int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
-
- suffix(int) - Method in class net.automatalib.words.Word
-
Retrieves a suffix of the given length.
- suffixes(boolean) - Method in class net.automatalib.words.Word
-
Retrieves the list of all suffixes of this word.
- SuffixOutput<I,D> - Interface in net.automatalib.automata.concepts
-
Feature for automata that compute a suffix-observable output function, i.e.,
they compute an output containing a part that can be attributed to a suffix of
the input.
- SuffixTrie<I> - Class in net.automatalib.util.tries
-
- SuffixTrie() - Constructor for class net.automatalib.util.tries.SuffixTrie
-
Constructor.
- SuffixTrie(boolean) - Constructor for class net.automatalib.util.tries.SuffixTrie
-
Constructor.
- SuffixTrie(SuffixTrieNode<I>) - Constructor for class net.automatalib.util.tries.SuffixTrie
-
Internal constructor.
- SuffixTrie(boolean, SuffixTrieNode<I>) - Constructor for class net.automatalib.util.tries.SuffixTrie
-
Internal constructor.
- SuffixTrieNode<I> - Class in net.automatalib.util.tries
-
- SuffixTrieNode() - Constructor for class net.automatalib.util.tries.SuffixTrieNode
-
Root constructor.
- SuffixTrieNode(I, SuffixTrieNode<I>) - Constructor for class net.automatalib.util.tries.SuffixTrieNode
-
- swap(AbstractLinkedList<E, T>) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
-
Swaps the contents of two linked lists with the same entry types.
- swap(UnorderedCollection<E>) - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
-
- swap(ResizingArrayStorage<T>) - Method in class net.automatalib.commons.util.array.ResizingArrayStorage
-
- swap(ResizingIntArray) - Method in class net.automatalib.commons.util.array.ResizingIntArray
-
- swap(ResizingObjectArray) - Method in class net.automatalib.commons.util.array.ResizingObjectArray
-
- swap(int, int) - Method in class net.automatalib.commons.util.array.RichArray
-
- swap(int, int) - Method in class net.automatalib.commons.util.nid.DynamicList
-
- Symbol - Class in net.automatalib.words.impl
-
- Symbol(Object) - Constructor for class net.automatalib.words.impl.Symbol
-
- symbols - Variable in class net.automatalib.words.impl.ArrayAlphabet
-
- symMapping - Variable in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
-
- SystemPropertiesSource - Class in net.automatalib.commons.util.settings
-
- SystemPropertiesSource() - Constructor for class net.automatalib.commons.util.settings.SystemPropertiesSource
-
- value(int) - Method in class net.automatalib.commons.util.collections.IntRangeIterator
-
- value - Variable in class net.automatalib.commons.util.Holder
-
- valueOf(String) - Static method in enum net.automatalib.commons.util.comparison.CmpUtil.NullOrdering
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.automatalib.commons.util.lib.LoadPolicy
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.automatalib.commons.util.strings.StringIndexGenerator.Case
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.automatalib.examples.graph.DFSExample.EdgeType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.automatalib.incremental.dfa.Acceptance
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.automatalib.util.automata.minimizer.hopcroft.HopcroftMinimization.PruningMode
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.automatalib.util.graphs.traversal.GraphTraversalAction
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.automatalib.util.partitionrefinement.PaigeTarjan.WorklistPolicy
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.automatalib.util.partitionrefinement.PaigeTarjanInitializers.AutomatonInitialPartitioning
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.automatalib.util.traversal.Color
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.automatalib.util.traversal.TraversalOrder
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.automatalib.util.traversal.VisitedState
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.automatalib.util.ts.traversal.TSTraversalAction
-
Returns the enum constant of this type with the specified name.
- values() - Static method in enum net.automatalib.commons.util.comparison.CmpUtil.NullOrdering
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum net.automatalib.commons.util.lib.LoadPolicy
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum net.automatalib.commons.util.strings.StringIndexGenerator.Case
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum net.automatalib.examples.graph.DFSExample.EdgeType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum net.automatalib.incremental.dfa.Acceptance
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum net.automatalib.util.automata.minimizer.hopcroft.HopcroftMinimization.PruningMode
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum net.automatalib.util.graphs.traversal.GraphTraversalAction
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Method in class net.automatalib.util.minimizer.BlockMap
-
Retrieves all values that are stored in this map.
- values() - Static method in enum net.automatalib.util.partitionrefinement.PaigeTarjan.WorklistPolicy
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum net.automatalib.util.partitionrefinement.PaigeTarjanInitializers.AutomatonInitialPartitioning
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum net.automatalib.util.traversal.Color
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum net.automatalib.util.traversal.TraversalOrder
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum net.automatalib.util.traversal.VisitedState
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum net.automatalib.util.ts.traversal.TSTraversalAction
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- VisitedState - Enum in net.automatalib.util.traversal
-
Enum to use for indicating if a node/state has been visited.
- Visualization - Class in net.automatalib.visualization
-
- VisualizationProvider - Interface in net.automatalib.visualization
-
- visualize(Graph<N, E>, GraphDOTHelper<N, ? super E>, boolean, Map<String, String>) - Method in class net.automatalib.util.graphs.dot.visualization.GraphVizBrowserVisualizationProvider
-
- visualize(Graph<N, E>, GraphDOTHelper<N, ? super E>, boolean, Map<String, String>) - Method in class net.automatalib.util.graphs.dot.visualization.GraphVizSwingVisualizationProvider
-
- visualize(Graph<N, E>, GraphDOTHelper<N, ? super E>, boolean, Map<String, String>) - Method in class net.automatalib.visualization.DummyVP
-
- visualize(Graph<N, E>, GraphDOTHelper<N, ? super E>, boolean, Map<String, String>) - Method in class net.automatalib.visualization.jung.JungGraphVisualizationProvider
-
- visualize(GraphViewable, boolean) - Static method in class net.automatalib.visualization.Visualization
-
- visualize(Graph<N, E>, boolean, GraphDOTHelper<N, ? super E>...) - Method in class net.automatalib.visualization.Visualization
-
- visualize(Graph<N, E>, GraphDOTHelper<N, ? super E>, boolean, Map<String, String>) - Method in class net.automatalib.visualization.Visualization
-
- visualize(Graph<N, E>, GraphDOTHelper<N, ? super E>, boolean, Map<String, String>) - Method in interface net.automatalib.visualization.VisualizationProvider
-
- visualizeAutomaton(Automaton<S, I, T>, Collection<? extends I>, boolean, GraphDOTHelper<S, TransitionEdge<I, T>>...) - Static method in class net.automatalib.visualization.Visualization
-
- visualizeGraph(Graph<N, E>, boolean, GraphDOTHelper<N, ? super E>...) - Static method in class net.automatalib.visualization.Visualization
-
- VPManager - Class in net.automatalib.visualization
-
- VPManager() - Constructor for class net.automatalib.visualization.VPManager
-