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

A

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
 
AbstractBasicLinkedListEntry<E,T extends AbstractBasicLinkedListEntry<E,T>> - Class in net.automatalib.commons.smartcollections
Abstract base class for entries in a linked list.
AbstractBasicLinkedListEntry() - Constructor for class net.automatalib.commons.smartcollections.AbstractBasicLinkedListEntry
 
AbstractBricsAutomaton - Class in net.automatalib.brics
Base class for Brics automata adapters.
AbstractBricsAutomaton(Automaton, boolean) - Constructor for class net.automatalib.brics.AbstractBricsAutomaton
Constructor.
AbstractBricsAutomaton.GraphView - Class in net.automatalib.brics
 
AbstractClassPathFileSource - Class in net.automatalib.commons.util.settings
 
AbstractClassPathFileSource(String) - Constructor for class net.automatalib.commons.util.settings.AbstractClassPathFileSource
 
AbstractCompact<I,T,SP,TP> - Class in net.automatalib.automata.base.compact
Abstract super class for compact automata representations.
AbstractCompact(Alphabet<I>, AbstractCompact<?, ?, ?, ?>) - Constructor for class net.automatalib.automata.base.compact.AbstractCompact
 
AbstractCompact(Alphabet<I>, int, float) - Constructor for class net.automatalib.automata.base.compact.AbstractCompact
 
AbstractCompact.Payload - Class in net.automatalib.automata.base.compact
A utility class that encapsulates necessary information for performing an update of the stored automata data.
AbstractCompactDeterministic<I,T,SP,TP> - Class in net.automatalib.automata.base.compact
Abstract super class that refines AbstractCompact for deterministic automata.
AbstractCompactDeterministic(Alphabet<I>, int, float) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
AbstractCompactDeterministic(Alphabet<I>, AbstractCompactDeterministic<?, ?, ?, ?>) - 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
 
AbstractCompactSimpleDeterministic<I,SP> - Class in net.automatalib.automata.base.compact
Abstract super class that refines AbstractCompactDeterministic for transition-property-less automata.
AbstractCompactSimpleDeterministic(Alphabet<I>, int, float) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic
 
AbstractCompactSimpleDeterministic(Alphabet<I>, AbstractCompactSimpleDeterministic<?, ?>) - Constructor for class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic
 
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
Abstract super class that refines AbstractCompact for transition-property-less automata.
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
 
AbstractETFWriter<I,A extends Automaton<?,I,?>> - Class in net.automatalib.serialization.etf.writer
This class provides methods to write automata in LTSmin's ETF format.
AbstractETFWriter() - Constructor for class net.automatalib.serialization.etf.writer.AbstractETFWriter
 
AbstractFastMutable<S extends AbstractFastState<?>,I,T,SP,TP> - Class in net.automatalib.automata.base.fast
Shared functionality for (non-) deterministic mutable automata.
AbstractFastMutable(Alphabet<I>) - Constructor for class net.automatalib.automata.base.fast.AbstractFastMutable
 
AbstractFastMutableDet<S extends AbstractFastState<T>,I,T,SP,TP> - Class in net.automatalib.automata.base.fast
 
AbstractFastMutableDet(Alphabet<I>) - Constructor for class net.automatalib.automata.base.fast.AbstractFastMutableDet
 
AbstractFastMutableNondet<S extends AbstractFastState<Collection<T>>,I,T,SP,TP> - Class in net.automatalib.automata.base.fast
 
AbstractFastMutableNondet(Alphabet<I>) - Constructor for class net.automatalib.automata.base.fast.AbstractFastMutableNondet
 
AbstractFastState<T> - Class in net.automatalib.automata.base.fast
 
AbstractFastState(int) - Constructor for class net.automatalib.automata.base.fast.AbstractFastState
 
AbstractFSM2MealyParser<I,O> - Class in net.automatalib.serialization.fsm.parser
An FSM parser for Mealy machines.
AbstractFSM2MealyParser(Collection<? extends I>, Function<String, I>, Function<String, O>) - Constructor for class net.automatalib.serialization.fsm.parser.AbstractFSM2MealyParser
Constructs a new AbstractFSM2MealyParser.
AbstractFSMParser<I> - Class in net.automatalib.serialization.fsm.parser
This class provides methods to parse automata in FSM format.
AbstractFSMParser(Collection<? extends I>, Function<String, I>) - Constructor for class net.automatalib.serialization.fsm.parser.AbstractFSMParser
Constructs a new AbstractFSMParser and defines all possible tokens.
AbstractFSMParser.Part - Enum in net.automatalib.serialization.fsm.parser
An enumeration for the three parts in the FSM file.
AbstractGraphView() - Constructor for class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder.AbstractGraphView
 
AbstractGraphView() - Constructor for class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder.AbstractGraphView
 
AbstractIncrementalDFABuilder<I> - Class in net.automatalib.incremental.dfa
Abstract base class for IncrementalDFABuilders.
AbstractIncrementalDFABuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder
Constructor.
AbstractIncrementalDFABuilder.AbstractGraphView<I,N,E> - Class in net.automatalib.incremental.dfa
 
AbstractIncrementalDFABuilder.AbstractTransitionSystemView<S,I,T> - Class in net.automatalib.incremental.dfa
 
AbstractIncrementalDFADAGBuilder<I> - Class in net.automatalib.incremental.dfa.dag
 
AbstractIncrementalDFADAGBuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder
 
AbstractIncrementalDFADAGBuilder.GraphView - Class in net.automatalib.incremental.dfa.dag
 
AbstractIncrementalDFADAGBuilder.TransitionSystemView - Class in net.automatalib.incremental.dfa.dag
 
AbstractIncrementalMealyBuilder<I,O> - Class in net.automatalib.incremental.mealy
 
AbstractIncrementalMealyBuilder() - Constructor for class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder
 
AbstractIncrementalMealyBuilder.AbstractGraphView<I,O,N,E> - Class in net.automatalib.incremental.mealy
 
AbstractIncrementalMealyTreeBuilder<N,I,O> - Class in net.automatalib.incremental.mealy.tree
 
AbstractIncrementalMealyTreeBuilder(N) - Constructor for class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder
 
AbstractIncrementalMealyTreeBuilder.GraphView - Class in net.automatalib.incremental.mealy.tree
 
AbstractIncrementalMealyTreeBuilder.TransitionSystemView - Class in net.automatalib.incremental.mealy.tree
 
AbstractLasso<I,D> - Class in net.automatalib.modelchecking.lasso
 
AbstractLasso(DetOutputAutomaton<S, I, ?, D>, Collection<? extends I>, int) - Constructor for class net.automatalib.modelchecking.lasso.AbstractLasso
Constructs a finite representation of a given automaton (that contains a lasso), by unrolling the loop unfoldTimes.
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
 
AbstractLTSmin<I,A,R> - Class in net.automatalib.modelcheckers.ltsmin
An LTL model checker using LTSmin.
AbstractLTSmin(boolean, Function<String, I>) - Constructor for class net.automatalib.modelcheckers.ltsmin.AbstractLTSmin
Constructs a new AbstractLTSmin.
AbstractLTSmin.BuilderDefaults - Class in net.automatalib.modelcheckers.ltsmin
 
AbstractLTSminLTL<I,A,L extends Lasso<I,?>> - Class in net.automatalib.modelcheckers.ltsmin.ltl
An LTSmin model checker for full LTL.
AbstractLTSminLTL(boolean, Function<String, I>, int, double) - Constructor for class net.automatalib.modelcheckers.ltsmin.ltl.AbstractLTSminLTL
Constructs a new AbstractLTSminLTL.
AbstractLTSminLTL.BuilderDefaults - Class in net.automatalib.modelcheckers.ltsmin.ltl
 
AbstractLTSminLTLMealy<I,O> - Class in net.automatalib.modelcheckers.ltsmin.ltl
An LTL model checker using LTSmin for Mealy machines.
AbstractLTSminLTLMealy(boolean, Function<String, I>, Function<String, O>, int, double, Collection<? super O>) - Constructor for class net.automatalib.modelcheckers.ltsmin.ltl.AbstractLTSminLTLMealy
Constructs a new AbstractLTSminLTLMealy.
AbstractLTSminMonitor<I,A,R> - Class in net.automatalib.modelcheckers.ltsmin.monitor
An LTSmin model checker for monitors.
AbstractLTSminMonitor(boolean, Function<String, I>) - Constructor for class net.automatalib.modelcheckers.ltsmin.monitor.AbstractLTSminMonitor
Constructs a new AbstractLTSminMonitor.
AbstractLTSminMonitorMealy<I,O> - Class in net.automatalib.modelcheckers.ltsmin.monitor
An monitor model checker using LTSmin for Mealy machines.
AbstractLTSminMonitorMealy(boolean, Function<String, I>, Function<String, O>, Collection<? super O>) - Constructor for class net.automatalib.modelcheckers.ltsmin.monitor.AbstractLTSminMonitorMealy
Constructs a new AbstractLTSminLTLMealy.
AbstractMutableNumericID - Class in net.automatalib.commons.util.nid
 
AbstractMutableNumericID() - Constructor for class net.automatalib.commons.util.nid.AbstractMutableNumericID
 
AbstractOneSEVPA<L,I> - Class in net.automatalib.automata.vpda
Abstract class for 1-SEVPAs that implements functionality shared across different subtypes.
AbstractOneSEVPA(VPDAlphabet<I>) - Constructor for class net.automatalib.automata.vpda.AbstractOneSEVPA
 
AbstractPrintable - Class in net.automatalib.commons.util.strings
Abstract base class for printables.
AbstractPrintable() - Constructor for class net.automatalib.commons.util.strings.AbstractPrintable
 
AbstractRecursiveADSLeafNode<S,I,O,N extends RecursiveADSNode<S,I,O,N>> - Class in net.automatalib.graphs.ads.impl
An abstract implementation of a leaf node, that may be used by other ADS-extending classes.
AbstractRecursiveADSLeafNode(N, S) - Constructor for class net.automatalib.graphs.ads.impl.AbstractRecursiveADSLeafNode
 
AbstractRecursiveADSSymbolNode<S,I,O,N extends RecursiveADSNode<S,I,O,N>> - Class in net.automatalib.graphs.ads.impl
An abstract implementation of a symbol node, that may be used by other ADS-extending classes.
AbstractRecursiveADSSymbolNode(N, I) - Constructor for class net.automatalib.graphs.ads.impl.AbstractRecursiveADSSymbolNode
 
AbstractSmartCollection<E> - Class in net.automatalib.commons.smartcollections
This class eases the implementation of the SmartCollection interface.
AbstractSmartCollection() - Constructor for class net.automatalib.commons.smartcollections.AbstractSmartCollection
 
AbstractSymbol<S> - Class in net.automatalib.words.abstractimpl
 
AbstractSymbol() - Constructor for class net.automatalib.words.abstractimpl.AbstractSymbol
 
AbstractSystemPropertiesSource - Class in net.automatalib.commons.util.settings
 
AbstractSystemPropertiesSource() - Constructor for class net.automatalib.commons.util.settings.AbstractSystemPropertiesSource
 
AbstractThreeLevelIterator<L1,L2,L3,O> - Class in net.automatalib.commons.util.collections
 
AbstractThreeLevelIterator(Iterator<L1>) - Constructor for class net.automatalib.commons.util.collections.AbstractThreeLevelIterator
 
AbstractTransitionSystemView() - Constructor for class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder.AbstractTransitionSystemView
 
AbstractTwoLevelIterator<L1,L2,O> - Class in net.automatalib.commons.util.collections
 
AbstractTwoLevelIterator(Iterator<? extends L1>) - Constructor for class net.automatalib.commons.util.collections.AbstractTwoLevelIterator
 
AbstractUnfoldingModelChecker<I,A,P,L extends Lasso<I,?>> - Class in net.automatalib.modelchecking.modelchecker
An ModelCheckerLasso that can unfold loops of lassos.
AbstractUnfoldingModelChecker(int, double) - Constructor for class net.automatalib.modelchecking.modelchecker.AbstractUnfoldingModelChecker
Constructs a new AbstractUnfoldingModelChecker.
AbstractVPDAlphabet<I> - Class in net.automatalib.words.abstractimpl
Abstract utility class that implements functionality shared across different subtypes.
AbstractVPDAlphabet(Alphabet<I>, Alphabet<I>, Alphabet<I>) - Constructor for class net.automatalib.words.abstractimpl.AbstractVPDAlphabet
 
ACCEPT_INDEX_NOT_FOUND - Static variable in class net.automatalib.serialization.fsm.parser.FSM2DFAParser
 
ACCEPT_NOT_FOUND - Static variable in class net.automatalib.serialization.fsm.parser.FSM2DFAParser
 
ACCEPT_VALUE_NOT_FOUND - Static variable in class net.automatalib.serialization.fsm.parser.FSM2DFAParser
 
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.
ACCEPTING - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeAttrs
 
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
 
acceptsEmptyLanguage(DFA<S, ?>) - Static method in class net.automatalib.util.automata.fsa.DFAs
Computes whether the given DFA accepts the empty language.
accessSequences - Variable in class net.automatalib.util.automata.vpda.OneSEVPAUtil.ReachResult
 
add(E) - Method in class net.automatalib.commons.smartcollections.AbstractSmartCollection
 
add(E, K) - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
add(E, K) - Method in interface net.automatalib.commons.smartcollections.SmartGeneralPriorityQueue
Inserts an element with the specified key.
add(Character) - Method in class net.automatalib.commons.util.collections.CharRangeIterator
 
add(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.collections.UnmodifiableListIterator
 
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(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.GrowingMapAlphabet
 
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
 
addAlphabetSymbol(I) - Method in class net.automatalib.automata.base.compact.AbstractCompact
 
addAlphabetSymbol(I) - Method in class net.automatalib.automata.base.fast.AbstractFastMutable
 
addAlphabetSymbol(I) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder
 
addAlphabetSymbol(I) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder
 
addAlphabetSymbol(I) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder
 
addAlphabetSymbol(I) - Method in class net.automatalib.incremental.mealy.tree.dynamic.DynamicIncrementalMealyTreeBuilder
 
addAlphabetSymbol(I) - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder
 
addAlphabetSymbol(I) - Method in interface net.automatalib.SupportsGrowingAlphabet
Notifies the data structure that a new symbol should be added to the alphabet.
addGraph(String, Reader) - Method in class net.automatalib.visualization.dot.DOTFrame
 
addGraph(String, String) - Method in class net.automatalib.visualization.dot.DOTFrame
 
addGraph(String, String) - Method in class net.automatalib.visualization.dot.DOTPanel
 
addGraph(String, Reader) - Method in class net.automatalib.visualization.dot.DOTPanel
 
addInitialLocation(boolean) - Method in class net.automatalib.automata.vpda.DefaultOneSEVPA
 
addInitialState(boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA
 
addInitialState() - Method in interface net.automatalib.automata.fsa.MutableFSA
 
addInitialState(boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA
 
addInitialState(Boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA
 
addInitialState() - Method in interface net.automatalib.automata.MutableAutomaton
 
addInitialState(SP) - Method in interface net.automatalib.automata.MutableAutomaton
 
addIntInitialState(SP) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
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(NP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
addIntNode() - 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(SP) - Method in class net.automatalib.automata.base.compact.AbstractCompact
 
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
 
addLocation(boolean) - Method in class net.automatalib.automata.vpda.DefaultOneSEVPA
 
addNewSymbol(I, VPDAlphabet.SymbolType) - Method in class net.automatalib.words.impl.GrowingVPDAlphabet
 
addNode(NP) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
addNode(N) - Method in class net.automatalib.graphs.map.SimpleMapGraph
 
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.AbstractCompact
 
addState(SP) - Method in class net.automatalib.automata.base.fast.AbstractFastMutable
 
addState(boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactDFA
 
addState(boolean) - Method in class net.automatalib.automata.fsa.impl.compact.CompactNFA
 
addState(boolean) - Method in class net.automatalib.automata.fsa.impl.FastDFA
 
addState(boolean) - Method in class net.automatalib.automata.fsa.impl.FastNFA
 
addState(boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA
 
addState() - Method in interface net.automatalib.automata.fsa.MutableFSA
 
addState(Boolean) - Method in interface net.automatalib.automata.fsa.MutableFSA
 
addState() - Method in interface net.automatalib.automata.MutableAutomaton
 
addState(SP) - Method in interface net.automatalib.automata.MutableAutomaton
Adds a state to the automaton.
addStates(int) - Method in class net.automatalib.util.automata.random.RandomAutomatonGenerator
 
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.GrowingMapAlphabet
 
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, S, TP) - Method in interface net.automatalib.automata.MutableAutomaton
 
addTransition(S, I, T) - Method in interface net.automatalib.automata.MutableAutomaton
 
addTransition(S, I, T) - Method in interface net.automatalib.automata.MutableDeterministic
 
addTransitions(S, I, Collection<? extends T>) - Method in interface net.automatalib.automata.MutableAutomaton
 
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 interface net.automatalib.graphs.IndefiniteGraph
 
adjacentTargetsIterator(N) - Method in interface net.automatalib.graphs.IndefiniteSimpleGraph
 
adjacentTargetsIterator(N) - Method in class net.automatalib.graphs.IndefiniteSimpleGraph.NormalGraphView
 
adjacentTargetsIterator(N) - Method in class net.automatalib.graphs.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
 
adjacentTargetsStream(N) - Method in class net.automatalib.graphs.map.SimpleMapGraph
 
ADS - Class in net.automatalib.util.automata.ads
General purpose facade for computing adaptive distinguishing sequences.
ADSLeafNode<S,I,O> - Class in net.automatalib.graphs.ads.impl
An ADS-specific implementation of a leaf node.
ADSLeafNode(ADSNode<S, I, O>, S) - Constructor for class net.automatalib.graphs.ads.impl.ADSLeafNode
 
ADSNode<S,I,O> - Interface in net.automatalib.graphs.ads
A (simplified) node in an adaptive distinguishing sequence.
ADSSymbolNode<S,I,O> - Class in net.automatalib.graphs.ads.impl
An ADS-specific implementation of a symbol node.
ADSSymbolNode(ADSNode<S, I, O>, I) - Constructor for class net.automatalib.graphs.ads.impl.ADSSymbolNode
 
ADSUtil - Class in net.automatalib.util.automata.ads
Utility class, that offers some operations revolving around adaptive distinguishing sequences.
afterExecute(Runnable, Throwable) - Method in class net.automatalib.commons.util.concurrent.ScalingThreadPoolExecutor
 
AggregateDOTVisualizationHelper<N,E> - Class in net.automatalib.serialization.dot
 
AggregateDOTVisualizationHelper(List<? extends DOTVisualizationHelper<N, ? super E>>) - Constructor for class net.automatalib.serialization.dot.AggregateDOTVisualizationHelper
 
AggregateVisualizationHelper<N,E> - Class in net.automatalib.visualization.helper
 
AggregateVisualizationHelper(VisualizationHelper<N, ? super E>, List<? extends VisualizationHelper<N, ? super E>>) - Constructor for class net.automatalib.visualization.helper.AggregateVisualizationHelper
 
AggregateVisualizationHelper(List<? extends VisualizationHelper<N, ? super E>>) - Constructor for class net.automatalib.visualization.helper.AggregateVisualizationHelper
 
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<S,I> - Class in net.automatalib.util.ts.iterators
 
AllDefinedInputsIterator(Iterator<? extends S>, TransitionSystem<S, I, ?>, Iterable<? extends I>) - Constructor for class net.automatalib.util.ts.iterators.AllDefinedInputsIterator
 
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<? extends T>, int) - Static method in class net.automatalib.commons.util.collections.CollectionsUtil
 
allTuples(Iterable<? extends T>, int, int) - Static method in class net.automatalib.commons.util.collections.CollectionsUtil
Returns an iterator that iterates over all tuples of the given source domain whose length (dimension) is within the specified range.
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
 
AllUndefinedInputsIterator<S,I> - Class in net.automatalib.util.ts.iterators
 
AllUndefinedInputsIterator(Iterator<? extends S>, TransitionSystem<S, I, ?>, Iterable<? extends I>) - Constructor for class net.automatalib.util.ts.iterators.AllUndefinedInputsIterator
 
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.vpda.AbstractOneSEVPA
 
alphabet - Variable in class net.automatalib.serialization.InputModelData
 
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.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>, 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(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(OneSEVPA<L1, I>, OneSEVPA<L2, I>, VPDAlphabet<I>) - Static method in class net.automatalib.util.automata.vpda.OneSEVPAs
Calculates the conjunction ("and") of two SEVPA, and returns the result as a new SEVPA.
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<N,I,O> - Class in net.automatalib.incremental.mealy.tree
 
AnnotatedEdge(Edge<N, 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(I) - Method in class net.automatalib.words.WordBuilder
Appends a symbol to the contents of the internal storage.
append(List<? extends I>) - Method in class net.automatalib.words.WordBuilder
 
append(Word<? extends I>) - Method in class net.automatalib.words.WordBuilder
Appends a word to the contents of the internal storage.
append(Word<? extends I>...) - Method in class net.automatalib.words.WordBuilder
Appends several words to the contents of the internal storage.
append(I...) - Method in class net.automatalib.words.WordBuilder
Appends several symbols to the contents of the internal storage.
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
 
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, int) - Method in interface net.automatalib.commons.util.functions.BiIntFunction
Applies this function to the given arguments.
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>, Iterator<? extends D>) - Static method in class net.automatalib.commons.util.mappings.Mappings
Applies a mapping to an iterator.
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(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.util.graphs.apsp
Result interface for the all pairs shortest paths problem.
array - Variable in class net.automatalib.commons.smartcollections.ResizingArrayStorage
 
ArrayAlphabet<I> - Class in net.automatalib.words.impl
 
ArrayAlphabet(I...) - Constructor for class net.automatalib.words.impl.ArrayAlphabet
 
ArrayMapping<K extends NumericID,V> - Class in net.automatalib.commons.util.mappings
 
ArrayMapping() - Constructor for class net.automatalib.commons.util.mappings.ArrayMapping
 
ArrayMapping(int) - Constructor for class net.automatalib.commons.util.mappings.ArrayMapping
 
ArrayStorage<T> - Class in net.automatalib.commons.smartcollections
A thin wrapper around a simple Object[] array.
ArrayStorage(int) - Constructor for class net.automatalib.commons.smartcollections.ArrayStorage
 
ArrayStorage(int, Supplier<T>) - Constructor for class net.automatalib.commons.smartcollections.ArrayStorage
 
ArrayStorage(Collection<? extends T>) - Constructor for class net.automatalib.commons.smartcollections.ArrayStorage
 
ArrayUtil - Class in net.automatalib.commons.smartcollections
Utility methods for arrays.
ArrayWritable<T> - Interface in net.automatalib.commons.smartcollections
Unified interface for (collection) classes that allow writing their contents to an array.
ARROWHEAD - Static variable in class net.automatalib.visualization.VisualizationHelper.EdgeAttrs
 
asBlockAutomaton() - Method in class net.automatalib.util.minimizer.MinimizationResult
Creates a BlockAutomaton using this results structure.
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.
asBufferedInputStream(File) - Static method in class net.automatalib.commons.util.IOUtil
Returns an input stream that reads the contents of the given file.
asBufferedNonClosingOutputStream(OutputStream) - Static method in class net.automatalib.commons.util.IOUtil
Returns a buffered output stream that does not propagate calls to OutputStream.close() to the passed os.
asBufferedNonClosingUTF8Writer(OutputStream) - Static method in class net.automatalib.commons.util.IOUtil
Returns a writer that writes contents to the given output stream with StandardCharsets.UTF_8 encoding and does not propagate calls to Writer.close() to the passed os.
asBufferedOutputStream(OutputStream) - Static method in class net.automatalib.commons.util.IOUtil
Ensures that the returned stream is a buffered version of the supplied output stream.
asBufferedOutputStream(File) - Static method in class net.automatalib.commons.util.IOUtil
Returns an output stream that writes the contents to the given file.
asBufferedUTF8Reader(File) - Static method in class net.automatalib.commons.util.IOUtil
Returns a reader that parses the contents of the given file with StandardCharsets.UTF_8 encoding.
asBufferedUTF8Reader(InputStream) - Static method in class net.automatalib.commons.util.IOUtil
Returns a reader that parses the contents of the given input stream with StandardCharsets.UTF_8 encoding.
asBufferedUTF8Writer(File) - Static method in class net.automatalib.commons.util.IOUtil
Returns a writer that writes contents to the given file with StandardCharsets.UTF_8 encoding.
asBufferedUTF8Writer(OutputStream) - Static method in class net.automatalib.commons.util.IOUtil
Returns a writer that writes contents to the given output stream with StandardCharsets.UTF_8 encoding.
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.AbstractIncrementalMealyTreeBuilder
 
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
 
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.AbstractIncrementalMealyTreeBuilder
 
asUncompressedBufferedNonClosingInputStream(InputStream) - Static method in class net.automatalib.commons.util.IOUtil
Returns a buffered input stream that de-compresses the contents of is (in case the given input stream contains gzip'ed content) and does not propagate calls to InputStream.close() to the passed is.
asUncompressedBufferedNonClosingUTF8Reader(InputStream) - Static method in class net.automatalib.commons.util.IOUtil
Returns a buffered reader that un-compresses the contents of is (in case the given input stream contains gzip'ed content), does not propagate calls to Reader.close() to the passed is and parses the contents of the given input stream with StandardCharsets.UTF_8 encoding.
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
 
asUTF8Reader(InputStream) - Static method in class net.automatalib.commons.util.IOUtil
Returns a reader that parses the contents of the given input stream with StandardCharsets.UTF_8 encoding.
asUTF8Writer(OutputStream) - Static method in class net.automatalib.commons.util.IOUtil
Returns a writer that writes contents to the given output stream with StandardCharsets.UTF_8 encoding.
attributes - Variable in class net.automatalib.serialization.dot.Edge
 
attributes - Variable in class net.automatalib.serialization.dot.Node
 
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
 
AutomataLibProperty - Enum in net.automatalib
An enum of all the system properties currently used by AutomataLib.
AutomataLibSettings - Class in net.automatalib
 
AutomataLibSettingsSource - Interface in net.automatalib
 
AutomataLibSystemPropertiesSource - Class in net.automatalib.settingssources
 
AutomataLibSystemPropertiesSource() - Constructor for class net.automatalib.settingssources.AutomataLibSystemPropertiesSource
 
Automaton<S,I,T> - Interface in net.automatalib.automata
Basic interface for an automaton.
automaton - Variable in class net.automatalib.automata.graphs.AbstractAutomatonGraphView
 
automaton - Variable in class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction
 
automaton - Variable in class net.automatalib.automata.visualization.AutomatonVisualizationHelper
 
automaton - Variable in class net.automatalib.brics.AbstractBricsAutomaton
 
automaton - Variable in class net.automatalib.util.automata.random.RandomAutomatonGenerator
 
automaton2ETF(A, Collection<? extends I>, File) - Method in interface net.automatalib.modelcheckers.ltsmin.LTSmin
Writes the given automaton to the given etf file.
automaton2ETF(DFA<?, I>, Collection<? extends I>, File) - Method in interface net.automatalib.modelcheckers.ltsmin.LTSminDFA
 
automaton2ETF(MealyMachine<?, I, ?, O>, Collection<? extends I>, File) - Method in interface net.automatalib.modelcheckers.ltsmin.LTSminMealy
Writes the MealyMachine to the etf file while pruning way the outputs given in ModelChecker.MealyModelChecker.getSkipOutputs().
AutomatonBuilder<S,I,T,SP,TP,A extends MutableAutomaton<S,? super I,T,? super SP,? super TP>> - Class in net.automatalib.util.automata.builders
 
AutomatonBuilder(A) - Constructor for class net.automatalib.util.automata.builders.AutomatonBuilder
 
AutomatonBuilder.AutomatonBuilder__0 - Class in net.automatalib.util.automata.builders
 
AutomatonBuilder.AutomatonBuilder__1 - Class in net.automatalib.util.automata.builders
 
AutomatonBuilder.AutomatonBuilder__2 - Class in net.automatalib.util.automata.builders
 
AutomatonBuilder.AutomatonBuilder__3 - Class in net.automatalib.util.automata.builders
 
AutomatonBuilder__0() - Constructor for class net.automatalib.util.automata.builders.AutomatonBuilder.AutomatonBuilder__0
 
AutomatonBuilder__1() - Constructor for class net.automatalib.util.automata.builders.AutomatonBuilder.AutomatonBuilder__1
 
AutomatonBuilder__2() - Constructor for class net.automatalib.util.automata.builders.AutomatonBuilder.AutomatonBuilder__2
 
AutomatonBuilder__3() - Constructor for class net.automatalib.util.automata.builders.AutomatonBuilder.AutomatonBuilder__3
 
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
 
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.
AutomatonLowLevelCopy - Class in net.automatalib.util.automata.copy
 
automatonState - Variable in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.Record
 
AutomatonView() - Constructor for class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.AutomatonView
 
AutomatonVisualizationHelper<S,I,T,A extends Automaton<S,I,T>> - Class in net.automatalib.automata.visualization
 
AutomatonVisualizationHelper(A) - Constructor for class net.automatalib.automata.visualization.AutomatonVisualizationHelper
 
AUTParser - Class in net.automatalib.serialization.aut
A parser for automata specified in the AUT format (see http://cadp.inria.fr/man/aut.html for further information).
AUTSerializationProvider - Class in net.automatalib.serialization.aut
 
AUTWriter - Class in net.automatalib.serialization.aut
A utility class that exports automata to the AUT format (see http://cadp.inria.fr/man/aut.html for further information).
available() - Method in class net.automatalib.commons.util.io.NonClosingInputStream
 
AWUtil - Class in net.automatalib.commons.util.array
Utility class for writing containers to arrays.

B

backEdge(N, D, E, N, D) - Method in class net.automatalib.util.graphs.traversal.BaseDFSVisitor
 
backEdge(N, D, E, N, D) - Method in interface net.automatalib.util.graphs.traversal.DFSVisitor
 
BackedGeneralPriorityQueue<E,K extends Comparable<K>> - Class in net.automatalib.commons.smartcollections
A SmartGeneralPriorityQueue implementation that is backed by a SmartDynamicPriorityQueue.
BackedGeneralPriorityQueue() - Constructor for class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
BackedGeneralPriorityQueue(int) - Constructor for class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
BackedGeneralPriorityQueue(List<? extends E>, List<K>) - Constructor for class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
BackedGeneralPriorityQueue(Supplier<? extends SmartDynamicPriorityQueue<BackedGeneralPriorityQueue.Entry<E, K>>>) - Constructor for class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
BackedGeneralPriorityQueue(SmartDynamicPriorityQueue<BackedGeneralPriorityQueue.Entry<E, K>>) - Constructor for class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
Constructor.
backtrackEdge(N, TarjanSCCRecord, E, N, TarjanSCCRecord) - Method in class net.automatalib.util.graphs.scc.TarjanSCCVisitor
 
backtrackEdge(N, D, E, N, D) - Method in class net.automatalib.util.graphs.traversal.BaseDFSVisitor
 
backtrackEdge(N, D, E, N, D) - Method in class net.automatalib.util.graphs.traversal.DefaultGraphTraversalVisitor
 
backtrackEdge(N, D, E, N, D) - Method in interface net.automatalib.util.graphs.traversal.DFSVisitor
 
backtrackEdge(N, D, E, N, D) - Method in interface net.automatalib.util.graphs.traversal.GraphTraversalVisitor
 
BacktrackingSearch - Class in net.automatalib.util.automata.ads
A class containing methods for computing adaptive distinguishing sequences (for arbitrary sets of states) by means of a backtracking approach.
BacktrackingSearch.CostAggregator - Enum in net.automatalib.util.automata.ads
Utility enum, that allows to specify the optimization criterion when performing and optimal ADS search.
BaseDFSVisitor<N,E,D> - Class in net.automatalib.util.graphs.traversal
A base implementation of a DFSVisitor.
BaseDFSVisitor() - Constructor for class net.automatalib.util.graphs.traversal.BaseDFSVisitor
 
beforeExecute(Thread, Runnable) - Method in class net.automatalib.commons.util.concurrent.ScalingThreadPoolExecutor
 
bfIterator(IndefiniteGraph<N, E>, Collection<? extends N>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
BFS - Static variable in interface net.automatalib.util.automata.copy.AutomatonCopyMethod
 
bfsOrder(TransitionSystem<S, I, ?>, Collection<? extends I>) - Static method in class net.automatalib.util.ts.TS
 
BFSOrderIterator<S,I> - Class in net.automatalib.util.ts.traversal
 
BFSOrderIterator(SimpleTS<S, I>, Collection<? extends I>) - Constructor for class net.automatalib.util.ts.traversal.BFSOrderIterator
 
bfsOrderIterator(TransitionSystem<S, I, ?>, Collection<? extends I>) - Static method in class net.automatalib.util.ts.TS
 
BidirectionalGraph<N,E> - Interface in net.automatalib.graphs
Interface for bidirectional graph.
BiIntFunction<R> - Interface in net.automatalib.commons.util.functions
An int-primitive version of the BiFunction.
BinaryHeap<E> - Class in net.automatalib.commons.smartcollections
A PriorityQueue implementation using a binary heap.
BinaryHeap(int, Collection<? extends E>, Comparator<? super E>) - Constructor for class net.automatalib.commons.smartcollections.BinaryHeap
 
BinaryHeap(int, Comparator<? super E>) - Constructor for class net.automatalib.commons.smartcollections.BinaryHeap
 
BitSetIterator - Class in net.automatalib.commons.util
Iterator for iterating over a BitSet like over a normal collection.
BitSetIterator(BitSet) - Constructor for class net.automatalib.commons.util.BitSetIterator
Constructor.
blackTarget(N, D, E, N, D) - Method in class net.automatalib.util.graphs.traversal.BaseDFSVisitor
 
Block<S,L> - Class in net.automatalib.util.minimizer
A block in the partition calculated during minimization.
Block - Class in net.automatalib.util.partitionrefinement
A block (i.e., partition class) that is maintained during the Paige/Tarjan partition refinement algorithm (see PaigeTarjan).
Block(int, int, int, Block) - Constructor for class net.automatalib.util.partitionrefinement.Block
Constructor.
BlockAutomaton<S,L> - Class in net.automatalib.util.minimizer
A "block automaton", i.e. an automaton-style representation of the minimization result in which each block forms a state.
blockData - Variable in class net.automatalib.util.partitionrefinement.PaigeTarjan
The array storing the raw block data, i.e., the states contained in a certain block.
BlockEdge<S,L> - Class in net.automatalib.util.minimizer
An edge in a BlockAutomaton.
blockForState - Variable in class net.automatalib.util.partitionrefinement.PaigeTarjan
The array mapping states (in the range between 0 and PaigeTarjan.numStates) to their containing block.
blockList() - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
Retrieves an Iterable that provides the iterator returned by PaigeTarjan.blockListIterator().
blockListIterator() - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
Retrieves an iterator for iterating over all blocks in the block list.
BlockMap<V> - Class in net.automatalib.util.minimizer
Class for associating arbitrary values with the blocks of a minimization result.
BlockMap(MinimizationResult<?, ?>) - Constructor for class net.automatalib.util.minimizer.BlockMap
Constructor.
BlockPropertyDecoder<P> - Interface in net.automatalib.serialization.saf
 
BlockPropertyEncoder<P> - Interface in net.automatalib.serialization.saf
 
BOLD - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonStyles
 
booleanValue(Boolean) - Static method in class net.automatalib.commons.util.WrapperUtil
 
booleanValue(Boolean, boolean) - Static method in class net.automatalib.commons.util.WrapperUtil
 
BOX - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes
 
BREADTH_FIRST - Static variable in interface net.automatalib.util.ts.traversal.TSTraversalMethod
 
breadthFirst(IndefiniteGraph<N, E>, int, Collection<? extends N>, GraphTraversalVisitor<N, E, D>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
breadthFirst(IndefiniteGraph<N, E>, int, N, GraphTraversalVisitor<N, E, D>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
breadthFirst(IndefiniteGraph<N, E>, Collection<? extends N>, GraphTraversalVisitor<N, E, D>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
breadthFirst(IndefiniteGraph<N, E>, N, GraphTraversalVisitor<N, E, D>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
breadthFirst(TransitionSystem<S, ? super I, T>, Collection<? extends I>, TSTraversalVisitor<S, I, T, D>) - Static method in class net.automatalib.util.ts.traversal.TSTraversal
 
breadthFirst(TransitionSystem<S, ? super I, T>, int, Collection<? extends I>, TSTraversalVisitor<S, I, T, D>) - Static method in class net.automatalib.util.ts.traversal.TSTraversal
Traverses the given transition system in a breadth-first fashion.
breadthFirstOrder(IndefiniteGraph<N, E>, Collection<? extends N>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
BricsDFA - Class in net.automatalib.brics
Adapter class for wrapping a Brics automaton as a DFA.
BricsDFA(Automaton) - Constructor for class net.automatalib.brics.BricsDFA
Constructor.
BricsDFA(Automaton, boolean) - Constructor for class net.automatalib.brics.BricsDFA
Constructor.
BricsNFA - Class in net.automatalib.brics
Adapter class for wrapping a Brics automaton as an NFA.
BricsNFA(Automaton) - Constructor for class net.automatalib.brics.BricsNFA
Constructor.
BricsNFA(Automaton, boolean) - Constructor for class net.automatalib.brics.BricsNFA
Constructor.
BricsTransitionProperty - Class in net.automatalib.brics
The properties of an edge in a Brics automaton.
BricsTransitionProperty(Transition) - Constructor for class net.automatalib.brics.BricsTransitionProperty
Constructor.
BricsTransitionProperty(char, char) - Constructor for class net.automatalib.brics.BricsTransitionProperty
Constructor.
buildDOTCommand(String, String...) - Static method in class net.automatalib.visualization.dot.DOT
 
buildFromTrace(MealyMachine<S, I, T, O>, Word<I>, S) - Static method in class net.automatalib.util.automata.ads.ADSUtil
 
buildProcess(String[], Reader, Consumer<String>, Consumer<String>) - Static method in class net.automatalib.commons.util.process.ProcessUtil
Builds and starts a system process for the given set of command line arguments.
buildRawDOTCommand(String...) - Static method in class net.automatalib.visualization.dot.DOT
 
buildTraceForNode(ADSNode<S, I, O>) - Static method in class net.automatalib.util.automata.ads.ADSUtil
 
byFullSignature(SP, TP...) - Static method in class net.automatalib.util.partitionrefinement.StateSignature
 
byFullSignature(UniversalDeterministicAutomaton.FullIntAbstraction<?, ?, ?>, int) - Static method in class net.automatalib.util.partitionrefinement.StateSignature
 
byFullSignature(UniversalDeterministicAutomaton<S, I, ?, ?, ?>, Alphabet<I>, S) - Static method in class net.automatalib.util.partitionrefinement.StateSignature
 
byTransitionProperties(TP...) - Static method in class net.automatalib.util.partitionrefinement.StateSignature
 
byTransitionProperties(UniversalDeterministicAutomaton.FullIntAbstraction<?, ?, ?>, int) - Static method in class net.automatalib.util.partitionrefinement.StateSignature
 
byTransitionProperties(UniversalDeterministicAutomaton<S, I, ?, ?, ?>, Alphabet<I>, S) - Static method in class net.automatalib.util.partitionrefinement.StateSignature
 

C

callReturnBalance(Word<I>) - Method in interface net.automatalib.words.VPDAlphabet
 
canonicalComparator(Comparator<? super U>) - Static method in class net.automatalib.commons.util.comparison.CmpUtil
Retrieves a canonical comparator for the given list type.
canonicalComparator() - Static method in class net.automatalib.commons.util.comparison.CmpUtil
Retrieves a canonical comparator for the given type, which has to be a List of Comparable types.
canonicalComparator(Comparator<? super I>) - Static method in class net.automatalib.words.Word
 
canonicalCompare(List<? extends U>, List<? extends U>, Comparator<? super U>) - Static method in class net.automatalib.commons.util.comparison.CmpUtil
Compares two Lists with respect to canonical ordering.
canonicalCompare(int[], int[]) - Static method in class net.automatalib.commons.util.comparison.CmpUtil
 
canonicalCompare(List<? extends U>, List<? extends U>) - Static method in class net.automatalib.commons.util.comparison.CmpUtil
Compares two Lists of Comparable elements with respect to canonical ordering.
canonicalNext(Alphabet<I>) - Method in class net.automatalib.words.Word
Retrieves the next word after this in canonical order.
CapacityManagement - Interface in net.automatalib.commons.smartcollections
Control interface for collections supporting a capacity management, i.e., reserving space in advance in order to avoid repeated reallocations.
cartesianProduct(Iterable<T>...) - Static method in class net.automatalib.commons.util.collections.CollectionsUtil
Returns an iterator that iterates over the cartesian product of its given source domains.
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>) - Static method in class net.automatalib.util.automata.Automata
Computes a characterizing set, and returns it as a List.
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.
characterizingSetIterator(UniversalDeterministicAutomaton<S, I, T, ?, ?>, Collection<? extends I>) - Static method in class net.automatalib.util.automata.equivalence.CharacterizingSets
 
CharacterizingSets - Class in net.automatalib.util.automata.equivalence
Operations for calculating characterizing sets.
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
 
checkDataDefinitions(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.AbstractFSM2MealyParser
We do not need to check data definitions.
checkDataDefinitions(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.AbstractFSMParser
Perform some actions after all data definitions have been parsed.
checkDataDefinitions(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.FSM2DFAParser
Checks the data definition by ensuring the index in the state vector containing acceptance information is defined.
checkStateVectors(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.AbstractFSM2MealyParser
We do not check the state vectors.
checkStateVectors(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.AbstractFSMParser
Perform some actions after all state vectors have been parsed.
checkStateVectors(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.FSM2DFAParser
Does nothing.
checkTransitions(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.AbstractFSMParser
Perform some actions after all transitions have been parsed.
checkTransitions(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.FSM2DFAParser
Do nothing.
checkTransitions(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserAlternating
Creates the actual Mealy machine transitions.
checkTransitions(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserIO
 
checkUsable() - Static method in class net.automatalib.visualization.dot.DOT
 
checkUsable() - Method in class net.automatalib.visualization.dot.GraphVizBrowserVisualizationProvider
 
checkUsable() - Method in class net.automatalib.visualization.dot.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
Checks whether the provider is supported on the current platform.
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[]) - Method in class net.automatalib.commons.util.random.RandomUtil
 
choose(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
 
choose(List<? extends T>, Random) - Static method in class net.automatalib.commons.util.random.RandomUtil
 
chooseInitial() - Method in class net.automatalib.util.automata.random.RandomAutomatonGenerator
 
chooseInitials(int) - Method in class net.automatalib.util.automata.random.RandomAutomatonGenerator
 
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.visualization.VisualizationHelper.NodeShapes
 
clear() - Method in class net.automatalib.automata.base.compact.AbstractCompact
 
clear() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
clear() - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic
 
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.AbstractFastMutable
 
clear() - Method in class net.automatalib.automata.base.fast.AbstractFastMutableDet
 
clear() - Method in class net.automatalib.automata.base.fast.AbstractFastMutableNondet
 
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.automata.transducers.impl.compact.CompactMealy
 
clear() - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
 
clear() - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
clear() - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
clear() - Method in class net.automatalib.commons.util.nid.DynamicList
 
clear() - Method in interface net.automatalib.modelchecking.ModelCheckerCache
Clears the cache.
clear() - Method in class net.automatalib.visualization.dot.DOTPanel
 
clear() - Method in class net.automatalib.words.WordBuilder
 
clearTransitionObject(T) - Method in class net.automatalib.automata.base.fast.AbstractFastState
 
clearTransitionObjects() - Method in class net.automatalib.automata.base.fast.AbstractFastState
 
clone() - Method in class net.automatalib.commons.smartcollections.ArrayStorage
 
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
 
close() - Method in class net.automatalib.commons.util.io.NonClosingInputStream
 
close() - Method in class net.automatalib.commons.util.io.NonClosingOutputStream
 
close() - Method in class net.automatalib.commons.util.io.UnclosableInputStream
 
close() - Method in class net.automatalib.commons.util.io.UnclosableOutputStream
 
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
Enum for controlling which rank is assigned to a null element when using a safe comparator (CmpUtil.safeComparator(Comparator, NullOrdering)).
CollectionsUtil - Class in net.automatalib.commons.util.collections
Various methods for operating on collections.
collectLeaves(ADSNode<S, I, O>) - Static method in class net.automatalib.util.automata.ads.ADSUtil
 
collector() - Static method in class net.automatalib.words.impl.Alphabets
Returns a Collector that collects individual symbols (in order and without duplicates) and aggregates them in a GrowingAlphabet.
collector() - Static method in class net.automatalib.words.Word
Returns a Collector that collects individual symbols (in order) and aggregates them in a Word.
collectSCCs(Graph<N, E>) - Static method in class net.automatalib.util.graphs.Graphs
Collects all strongly-connected components in a graph.
collectSCCs(Graph<N, E>) - Static method in class net.automatalib.util.graphs.scc.SCCs
Collects all strongly-connected components in a graph.
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
 
COLOR - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonAttrs
 
combine(L1, L2, L3) - Method in class net.automatalib.commons.util.collections.AbstractThreeLevelIterator
 
combine(L1, L2) - Method in class net.automatalib.commons.util.collections.AbstractTwoLevelIterator
 
combine(List<I>, Word<I>, Word<I>) - Method in class net.automatalib.util.automata.conformance.WMethodTestsIterator
 
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(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(MealyMachine<?, I, ?, O1>, MealyMachine<?, I, ?, O2>, Alphabet<I>) - Static method in class net.automatalib.util.automata.transducers.MealyMachines
Constructs the product automaton for two Mealy Machines.
combine(MealyMachine<?, I, ?, O1>, MealyMachine<?, I, ?, O2>, Collection<? extends I>, A) - Static method in class net.automatalib.util.automata.transducers.MealyMachines
Constructs the product automaton for two Mealy Machines.
combine(OneSEVPA<L1, I>, OneSEVPA<L2, I>, VPDAlphabet<I>, AcceptanceCombiner) - Static method in class net.automatalib.util.automata.vpda.OneSEVPAs
Most general way of combining two SEVPAs.
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
 
combine(S, I) - Method in class net.automatalib.util.ts.iterators.AllDefinedInputsIterator
 
combine(S, I) - Method in class net.automatalib.util.ts.iterators.AllUndefinedInputsIterator
 
combine(TS1, TS2) - Static method in class net.automatalib.util.ts.transducers.Transducers
 
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
An edge in a CompactSimpleGraph.
CompactEdge(int, EP) - Constructor for class net.automatalib.graphs.base.compact.CompactEdge
 
CompactGraph<NP,EP> - Class in net.automatalib.graphs.base.compact
 
CompactGraph() - Constructor for class net.automatalib.graphs.base.compact.CompactGraph
 
CompactGraph(int) - Constructor for class net.automatalib.graphs.base.compact.CompactGraph
 
CompactMealy<I,O> - Class in net.automatalib.automata.transducers.impl.compact
 
CompactMealy(Alphabet<I>, int, float) - Constructor for class net.automatalib.automata.transducers.impl.compact.CompactMealy
 
CompactMealy(Alphabet<I>, int) - Constructor for class net.automatalib.automata.transducers.impl.compact.CompactMealy
 
CompactMealy(Alphabet<I>) - Constructor for class net.automatalib.automata.transducers.impl.compact.CompactMealy
 
CompactMealy.Creator<I,O> - Class in net.automatalib.automata.transducers.impl.compact
 
CompactMealyTransition<O> - Class in net.automatalib.automata.transducers.impl.compact
 
CompactMoore<I,O> - Class in net.automatalib.automata.transducers.impl.compact
 
CompactMoore(Alphabet<I>) - Constructor for class net.automatalib.automata.transducers.impl.compact.CompactMoore
 
CompactMoore(Alphabet<I>, int, float) - Constructor for class net.automatalib.automata.transducers.impl.compact.CompactMoore
 
CompactMoore.Creator<I,O> - Class in net.automatalib.automata.transducers.impl.compact
 
CompactNFA<I> - Class in net.automatalib.automata.fsa.impl.compact
 
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
 
compareTo(Symbol) - Method in class net.automatalib.words.impl.Symbol
 
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(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(MutableDFA<?, I>, Collection<? extends I>) - Static method in class net.automatalib.util.automata.fsa.MutableDFAs
 
complete(DFA<?, I>, Alphabet<I>) - Static method in class net.automatalib.util.automata.fsa.DFAs
 
complete(DFA<?, I>, Collection<? extends I>, A) - Static method in class net.automatalib.util.automata.fsa.DFAs
 
complete(MutableDFA<?, I>, Collection<? extends I>) - Static method in class net.automatalib.util.automata.fsa.MutableDFAs
 
complete(MutableDFA<?, 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
 
complete(MealyMachine<?, I, ?, O>, Alphabet<I>, O) - Static method in class net.automatalib.util.automata.transducers.MealyMachines
Constructs a copy of the given Mealy machine in which every transition (with regards to the specified alphabet) is guaranteed to be defined.
complete(MealyMachine<?, I, ?, O>, Collection<? extends I>, O, A) - Static method in class net.automatalib.util.automata.transducers.MealyMachines
Constructs a copy of the given Mealy machine in which every transition (with regards to the specified alphabet) is guaranteed to be defined.
complete(MutableMealyMachine<?, I, ?, O>, Collection<? extends I>, O) - Static method in class net.automatalib.util.automata.transducers.MutableMealyMachines
 
complete(MutableMealyMachine<S, I, ?, O>, Collection<? extends I>, O, boolean) - Static method in class net.automatalib.util.automata.transducers.MutableMealyMachines
 
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
 
compute(MealyMachine<S, I, ?, O>, Alphabet<I>, Set<S>) - Static method in class net.automatalib.util.automata.ads.ADS
Compute an adaptive distinguishing sequence for the given automaton and the given set of states.
compute(MealyMachine<S, I, ?, O>, Alphabet<I>, Set<S>) - Static method in class net.automatalib.util.automata.ads.BacktrackingSearch
Computes an ADS by constructing (growing) splitting words for the current set of states and recursively computing sub-ADSs for the induced partitions.
compute(MealyMachine<S, I, ?, O>, Alphabet<I>) - Static method in class net.automatalib.util.automata.ads.LeeYannakakis
Computes an ADS using the algorithm of Lee and Yannakakis.
compute(MealyMachine<S, I, ?, O>, Alphabet<I>, Set<S>) - Static method in class net.automatalib.util.automata.ads.StateEquivalence
computeAccessSequence(OneSEVPA<L, I>, VPDAlphabet<I>, Predicate<? super L>) - Static method in class net.automatalib.util.automata.vpda.OneSEVPAUtil
 
computeAccessSequences(OneSEVPA<L, I>, VPDAlphabet<I>, boolean, Predicate<? super L>) - Static method in class net.automatalib.util.automata.vpda.OneSEVPAUtil
 
computeAccessSequences(OneSEVPA<L, I>, VPDAlphabet<I>) - Static method in class net.automatalib.util.automata.vpda.OneSEVPAUtil
 
computeCoarsestStablePartition() - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
Refines the partition until it stabilizes.
computeLength(ADSNode<S, I, O>) - Static method in class net.automatalib.util.automata.ads.ADSUtil
 
computeMaximumSplittingWordLength(int, int, int) - Static method in class net.automatalib.util.automata.ads.ADSUtil
Computes an upper bound for the length of a splitting word.
computeNewCapacity(int, int) - Static method in class net.automatalib.commons.smartcollections.ArrayUtil
A convenient method for calling computeNewCapacity(length, requiredCapacity, 0).
computeNewCapacity(int, int, int) - Static method in class net.automatalib.commons.smartcollections.ArrayUtil
Computes the size of an array that is required to hold requiredCapacity number of elements.
computeNext() - Method in class net.automatalib.util.ts.iterators.DefinedInputsIterator
 
computeNext() - Method in class net.automatalib.util.ts.iterators.UndefinedInputsIterator
 
computeOptimal(MealyMachine<S, I, ?, O>, Alphabet<I>, Set<S>, BacktrackingSearch.CostAggregator) - Static method in class net.automatalib.util.automata.ads.BacktrackingSearch
Computes an ADS by iterating over the successor tree in a breadth-first manner, yielding an optimal (dependant on the passed optimization function) ADS.
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.DetSuffixOutputAutomaton
 
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.Output
 
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.SuffixOutput
 
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.DFA
 
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.FiniteStateAcceptor
 
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automata.vpda.OneSEVPA
 
computeOutput(Iterable<? extends I>) - Method in class net.automatalib.modelchecking.lasso.MealyLassoImpl
 
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.ts.acceptors.DeterministicAcceptorTS
 
computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.DetSuffixOutputAutomaton
 
computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.DFA
 
computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automata.transducers.StateOutputAutomaton
 
computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automata.transducers.TransitionOutputAutomaton
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.DetSuffixOutputAutomaton
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automata.concepts.SuffixOutput
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.DFA
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automata.fsa.FiniteStateAcceptor
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automata.vpda.OneSEVPA
 
computeUnfolds(int) - Method in interface net.automatalib.modelchecking.ModelCheckerLasso
Compute the number of unfolds according to size.
concat(AbstractLinkedList<? extends E, ? extends T>) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
Concatenates two linked lists.
concat(Word<? extends I>...) - Method in class net.automatalib.words.Word
Concatenates this word with several other words and returns the result as a new word.
concatInternal(Word<? extends I>...) - Method in class net.automatalib.words.Word
Realizes the concatenation of this word with several other words.
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(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, Void) - Method in class net.automatalib.graphs.map.SimpleMapGraph
 
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.collections.CharRange
 
contains(Object) - Method in class net.automatalib.commons.util.collections.CharStringRange
 
containsSymbol(I) - Method in class net.automatalib.words.abstractimpl.AbstractVPDAlphabet
 
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(VPDSym<I>) - Method in class net.automatalib.words.impl.GrowingVPDAlphabet
 
containsSymbol(I) - Method in class net.automatalib.words.impl.ListAlphabet
 
containsSymbol(I) - Method in class net.automatalib.words.impl.MapAlphabet
 
copy(AutomatonCopyMethod, UniversalAutomaton<S1, ? super I1, T1, ? extends SP1, ? extends TP1>, Collection<? extends I1>, MutableAutomaton<S2, I2, T2, ? super SP2, ? super TP2>, Function<? super I1, ? extends I2>, Function<? super SP1, ? extends SP2>, Function<? super TP1, ? extends TP2>) - Static method in class net.automatalib.util.automata.copy.AutomatonLowLevelCopy
Copies a UniversalAutomaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.
copy(AutomatonCopyMethod, UniversalAutomaton<S1, ? super I1, T1, ? extends SP1, ? extends TP1>, Collection<? extends I1>, MutableAutomaton<S2, I2, T2, ? super SP2, ? super TP2>, Function<? super I1, ? extends I2>, Function<? super SP1, ? extends SP2>, Function<? super TP1, ? extends TP2>, Predicate<? super S1>, TransitionPredicate<? super S1, ? super I1, ? super T1>) - Static method in class net.automatalib.util.automata.copy.AutomatonLowLevelCopy
Copies a UniversalAutomaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.
copy(AutomatonCopyMethod, UniversalAutomaton<S1, ? super I, T1, ? extends SP1, ? extends TP1>, Collection<? extends I>, MutableAutomaton<S2, I, T2, ? super SP2, ? super TP2>, Function<? super SP1, ? extends SP2>, Function<? super TP1, ? extends TP2>) - Static method in class net.automatalib.util.automata.copy.AutomatonLowLevelCopy
Copies a UniversalAutomaton to a MutableAutomaton with compatible input alphabets, but possibly heterogeneous properties.
copy(AutomatonCopyMethod, UniversalAutomaton<S1, ? super I, T1, ? extends SP1, ? extends TP1>, Collection<? extends I>, MutableAutomaton<S2, I, T2, ? super SP2, ? super TP2>, Function<? super SP1, ? extends SP2>, Function<? super TP1, ? extends TP2>, Predicate<? super S1>, TransitionPredicate<? super S1, ? super I, ? super T1>) - Static method in class net.automatalib.util.automata.copy.AutomatonLowLevelCopy
Copies a UniversalAutomaton to a MutableAutomaton with compatible input alphabets, but possibly heterogeneous properties.
copy(AutomatonCopyMethod, UniversalAutomaton<S1, ? super 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 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 I, T1, ? extends SP, ? extends TP>, Collection<? extends I>, MutableAutomaton<S2, I, T2, ? super SP, ? super TP>) - Static method in class net.automatalib.util.automata.copy.AutomatonLowLevelCopy
Copies a UniversalAutomaton with compatible input alphabets and properties.
copy(AutomatonCopyMethod, UniversalAutomaton<S1, ? super I, T1, ? extends SP, ? extends TP>, Collection<? extends I>, MutableAutomaton<S2, I, T2, ? super SP, ? super TP>, Predicate<? super S1>, TransitionPredicate<? super S1, ? super I, ? super T1>) - Static method in class net.automatalib.util.automata.copy.AutomatonLowLevelCopy
Copies a UniversalAutomaton with compatible input alphabets and properties.
copy(TSTraversalMethod, UniversalTransitionSystem<S1, ? super I1, T1, ? extends SP1, ? extends TP1>, int, Collection<? extends I1>, MutableAutomaton<S2, I2, T2, ? super SP2, ? super TP2>, Function<? super I1, ? extends I2>, Function<? super SP1, ? extends SP2>, Function<? super TP1, ? extends TP2>) - Static method in class net.automatalib.util.ts.copy.TSCopy
Copies a UniversalAutomaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.
copy(TSTraversalMethod, UniversalTransitionSystem<S1, ? super I1, T1, ? extends SP1, ? extends TP1>, int, Collection<? extends I1>, MutableAutomaton<S2, I2, T2, ? super SP2, ? super TP2>, Function<? super I1, ? extends I2>, Function<? super SP1, ? extends SP2>, Function<? super TP1, ? extends TP2>, Predicate<? super S1>, TransitionPredicate<? super S1, ? super I1, ? super T1>) - Static method in class net.automatalib.util.ts.copy.TSCopy
Copies a UniversalAutomaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.
copy(TSTraversalMethod, UniversalTransitionSystem<S1, ? super I, T1, ? extends SP1, ? extends TP1>, int, Collection<? extends I>, MutableAutomaton<S2, I, T2, ? super SP2, ? super TP2>, Function<? super SP1, ? extends SP2>, Function<? super TP1, ? extends TP2>) - Static method in class net.automatalib.util.ts.copy.TSCopy
Copies a UniversalAutomaton to a MutableAutomaton with compatible input alphabets, but possibly heterogeneous properties.
copy(TSTraversalMethod, UniversalTransitionSystem<S1, ? super I, T1, ? extends SP1, ? extends TP1>, int, Collection<? extends I>, MutableAutomaton<S2, I, T2, ? super SP2, ? super TP2>, Function<? super SP1, ? extends SP2>, Function<? super TP1, ? extends TP2>, Predicate<? super S1>, TransitionPredicate<? super S1, ? super I, ? super T1>) - Static method in class net.automatalib.util.ts.copy.TSCopy
Copies a UniversalAutomaton to a MutableAutomaton with compatible input alphabets, but possibly heterogeneous properties.
copy(TSTraversalMethod, UniversalTransitionSystem<S1, ? super 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 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 I, T1, ? extends SP, ? extends TP>, int, Collection<? extends I>, MutableAutomaton<S2, I, T2, ? super SP, ? super TP>) - Static method in class net.automatalib.util.ts.copy.TSCopy
Copies a UniversalAutomaton with compatible input alphabets and properties.
copy(TSTraversalMethod, UniversalTransitionSystem<S1, ? super I, T1, ? extends SP, ? extends TP>, int, Collection<? extends I>, MutableAutomaton<S2, I, T2, ? super SP, ? super TP>, Predicate<? super S1>, TransitionPredicate<? super S1, ? super I, ? super T1>) - Static method in class net.automatalib.util.ts.copy.TSCopy
Copies a UniversalAutomaton with compatible input alphabets and properties.
copyInitialState(S1) - Method in class net.automatalib.util.automata.copy.AbstractLowLevelAutomatonCopier
 
copyPlain(UniversalGraph<N1, E1, ? extends NP2, ? extends EP2>, MutableGraph<N2, E2, NP2, EP2>) - Static method in class net.automatalib.util.graphs.copy.GraphCopy
 
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
 
copyState(S1) - Method in class net.automatalib.util.automata.copy.AbstractLowLevelAutomatonCopier
 
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(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(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
 
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
 
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
 
countSymbolNodes(ADSNode<S, I, O>) - Static method in class net.automatalib.util.automata.ads.ADSUtil
 
cover(DeterministicAutomaton<?, I, ?>, Collection<? extends I>, Collection<? super Word<I>>, Collection<? super Word<I>>) - Static method in class net.automatalib.util.automata.cover.Covers
Utility method that allows to compute a state and transition cover simultaneously.
Covers - Class in net.automatalib.util.automata.cover
 
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
 
create() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLAlternatingBuilder
 
create() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLDFABuilder
 
create() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLIOBuilder
 
create() - Method in class net.automatalib.modelcheckers.ltsmin.monitor.LTSminMonitorAlternatingBuilder
 
create() - Method in class net.automatalib.modelcheckers.ltsmin.monitor.LTSminMonitorDFABuilder
 
create() - Method in class net.automatalib.modelcheckers.ltsmin.monitor.LTSminMonitorIOBuilder
 
create() - Method in class net.automatalib.util.automata.builders.AutomatonBuilder.AutomatonBuilder__2
 
create() - Method in class net.automatalib.util.automata.builders.AutomatonBuilder
 
create() - Method in class net.automatalib.util.automata.builders.DFABuilder.DFABuilder__1
 
create() - Method in class net.automatalib.util.automata.builders.DFABuilder.DFABuilder__6
 
create() - Method in class net.automatalib.util.automata.builders.FSABuilder
 
create() - Method in class net.automatalib.util.automata.builders.FSABuilder.FSABuilder__2
 
create() - Method in class net.automatalib.util.automata.builders.FSABuilder.FSABuilder__3
 
create() - Method in class net.automatalib.util.automata.builders.MealyBuilder.MealyBuilder__1
 
create() - Method in class net.automatalib.util.automata.builders.MealyBuilder.MealyBuilder__7
 
create() - Method in class net.automatalib.util.automata.builders.MooreBuilder.MooreBuilder__1
 
create() - Method in class net.automatalib.util.automata.builders.MooreBuilder.MooreBuilder__6
 
createAutomaton(Alphabet<I>, int) - Method in interface net.automatalib.automata.AutomatonCreator
 
createAutomaton(Alphabet<I>) - Method in interface net.automatalib.automata.AutomatonCreator
 
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.CompactDFA.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.fsa.impl.compact.CompactNFA.Creator
 
createAutomaton(Alphabet<I>, int) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealy.Creator
 
createAutomaton(Alphabet<I>) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealy.Creator
 
createAutomaton(Alphabet<I>, int) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMoore.Creator
 
createAutomaton(Alphabet<I>) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMoore.Creator
 
createBlock() - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
Creates a new block.
createBlockForStateMap() - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
Creates the PaigeTarjan.blockForState mapping from the blocks in the block list, and the contents of the PaigeTarjan.blockData array.
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.visualization.dot.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.visualization.dot.DOT
Creates a Writer that can be used to write a DOT description to.
createDotWriter(String) - Method in class net.automatalib.visualization.dot.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
 
createDynamicStateMapping() - Method in class net.automatalib.automata.base.fast.AbstractFastMutable
 
createDynamicStateMapping() - Method in interface net.automatalib.automata.simple.SimpleAutomaton
 
createDynamicStateMapping() - Method in interface net.automatalib.ts.simple.SimpleTS
Creates a MutableMapping allowing to associate arbitrary data with this transition system's states.
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
 
createNode() - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder
 
createNode() - Method in class net.automatalib.incremental.mealy.tree.dynamic.DynamicIncrementalMealyTreeBuilder
 
createNode() - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder
 
createNodeVisualization(Map<String, String>, int) - Static method in class net.automatalib.visualization.jung.JungGraphVisualizationProvider
 
createState(SP) - Method in class net.automatalib.automata.base.fast.AbstractFastMutable
 
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.transducers.impl.FastMealy
 
createState(O) - Method in class net.automatalib.automata.transducers.impl.FastMoore
 
createState(Void) - Method in class net.automatalib.automata.transducers.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
 
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(Integer, TP) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
createTransition(int, Void) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic
 
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.transducers.impl.compact.CompactMealy
 
createTransition(FastMealyState<O>, O) - Method in class net.automatalib.automata.transducers.impl.FastMealy
 
createTransition(FastMooreState<O>, Void) - Method in class net.automatalib.automata.transducers.impl.FastMoore
 
createTransition(FastProbMealyState<O>, ProbabilisticOutput<O>) - Method in class net.automatalib.automata.transducers.impl.FastProbMealy
 
createTransitionEdges(Automaton<S, I, T>, Collection<? extends I>, S) - Static method in class net.automatalib.automata.graphs.AutomatonGraphView
 
createVisualizationGraph(Graph<N, E>, List<VisualizationHelper<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.transducers.impl.compact.CompactMealy.Creator
 
Creator() - Constructor for class net.automatalib.automata.transducers.impl.compact.CompactMoore.Creator
 
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.modelcheckers.ltsmin.ParseException
This is the last token that has been consumed successfully.
currentToken - Variable in exception net.automatalib.serialization.dot.ParseException
This is the last token that has been consumed successfully.
currentToken - Variable in exception net.automatalib.serialization.taf.parser.ParseException
This is the last token that has been consumed successfully.

D

DASHED - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonStyles
 
data - Variable in class net.automatalib.util.ts.traversal.DFRecord
 
decreaseIncoming() - Method in class net.automatalib.incremental.mealy.dag.State
 
deepClear() - Method in class net.automatalib.commons.smartcollections.AbstractSmartCollection
 
deepClear() - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
deepClear() - Method in class net.automatalib.commons.smartcollections.BinaryHeap
 
deepClear() - Method in interface net.automatalib.commons.smartcollections.SmartCollection
Thoroughly clears the collection, fixing all issues that may have been caused by a call of the above SmartCollection.quickClear().
deepClear() - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
DEFAULT_EDGE_PARSER - Static variable in class net.automatalib.serialization.dot.DOTParsers
Edge input parser that parses an edges's "label" attribute and returns its string representation.
DEFAULT_FSA_NODE_PARSER - Static variable in class net.automatalib.serialization.dot.DOTParsers
Node property parser that returns true if a node's "shape" attribute is specified and equals "doublecircle".
DEFAULT_GRAPH_REPRESENTABLE - Static variable in class net.automatalib.util.tries.SuffixTrie
 
DEFAULT_INIT_CAPACITY - Static variable in class net.automatalib.automata.base.compact.AbstractCompact
 
DEFAULT_INITIAL_CAPACITY - Static variable in class net.automatalib.commons.smartcollections.ResizingArrayStorage
The default initial capacity of the array storage.
DEFAULT_MEALY_EDGE_PARSER - Static variable in class net.automatalib.serialization.dot.DOTParsers
Edge input parser that expects an edge's "label" attribute to be of the form <input>/<property>.
DEFAULT_MOORE_NODE_PARSER - Static variable in class net.automatalib.serialization.dot.DOTParsers
Node property parser that expects a node's "label" attribute to be of the form <id>/<property>.
DEFAULT_NODE_PARSER - Static variable in class net.automatalib.serialization.dot.DOTParsers
Node property parser that parses a node's "label" attribute and returns its string representation.
DEFAULT_RESIZE_FACTOR - Static variable in class net.automatalib.automata.base.compact.AbstractCompact
 
DefaultAbstraction(A, int, IntFunction<? extends I>) - Constructor for class net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
 
DefaultAbstraction(A) - Constructor for class net.automatalib.automata.DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction
 
DefaultAbstraction(A, int, IntFunction<? extends I>) - Constructor for class net.automatalib.automata.MutableDeterministic.FullIntAbstraction.DefaultAbstraction
 
DefaultAbstraction(A) - Constructor for class net.automatalib.automata.MutableDeterministic.StateIntAbstraction.DefaultAbstraction
 
DefaultAbstraction(A, int, IntFunction<? extends I>) - Constructor for class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
 
DefaultAbstraction(A) - Constructor for class net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction
 
DefaultAbstraction(A) - Constructor for class net.automatalib.automata.simple.SimpleDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction
 
DefaultAbstraction(A, int, IntFunction<? extends I>) - Constructor for class net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
 
DefaultAbstraction(A) - Constructor for class net.automatalib.automata.UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction
 
DefaultDOTVisualizationHelper<N,E> - Class in net.automatalib.serialization.dot
 
DefaultDOTVisualizationHelper() - Constructor for class net.automatalib.serialization.dot.DefaultDOTVisualizationHelper
 
DefaultDOTVisualizationHelper(VisualizationHelper<N, ? super E>) - Constructor for class net.automatalib.serialization.dot.DefaultDOTVisualizationHelper
 
DefaultGraphTraversalVisitor<N,E,D> - Class in net.automatalib.util.graphs.traversal
 
DefaultGraphTraversalVisitor() - Constructor for class net.automatalib.util.graphs.traversal.DefaultGraphTraversalVisitor
 
DefaultLinkedList<E> - Class in net.automatalib.commons.smartcollections
A simple linked list implementation that allows storing arbitrary elements.
DefaultLinkedList() - Constructor for class net.automatalib.commons.smartcollections.DefaultLinkedList
 
DefaultLinkedListEntry<E> - Class in net.automatalib.commons.smartcollections
The default linked list entry.
DefaultLinkedListEntry(E) - Constructor for class net.automatalib.commons.smartcollections.DefaultLinkedListEntry
Constructor.
DefaultOneSEVPA<I> - Class in net.automatalib.automata.vpda
Default implementation for 1-SEVPA.
DefaultOneSEVPA(VPDAlphabet<I>) - Constructor for class net.automatalib.automata.vpda.DefaultOneSEVPA
 
DefaultOneSEVPA(VPDAlphabet<I>, int) - Constructor for class net.automatalib.automata.vpda.DefaultOneSEVPA
 
DefaultVisualizationHelper<N,E> - Class in net.automatalib.visualization
 
DefaultVisualizationHelper() - Constructor for class net.automatalib.visualization.DefaultVisualizationHelper
 
DefaultVPDAlphabet<I> - Class in net.automatalib.words.impl
An alphabet-based, fixed size implementation of a VPDAlphabet.
DefaultVPDAlphabet(Collection<I>, Collection<I>, Collection<I>) - Constructor for class net.automatalib.words.impl.DefaultVPDAlphabet
 
DefaultVPDAlphabet(Alphabet<I>, Alphabet<I>, Alphabet<I>) - Constructor for class net.automatalib.words.impl.DefaultVPDAlphabet
 
definedInputs(DeterministicTransitionSystem<S, I, ?>, S, Iterable<? extends I>) - Static method in class net.automatalib.util.ts.TS
 
DefinedInputsIterator<S,I> - Class in net.automatalib.util.ts.iterators
 
DefinedInputsIterator(TransitionSystem<S, I, ?>, S, Iterator<? extends I>) - Constructor for class net.automatalib.util.ts.iterators.DefinedInputsIterator
 
definedInputsIterator(TransitionSystem<S, I, ?>, S, Iterator<? extends I>) - Static method in class net.automatalib.util.ts.TS
 
delegate() - Method in class net.automatalib.commons.util.collections.UnmodifiableListIterator
 
delegate() - Method in class net.automatalib.util.automata.conformance.WpMethodTestsIterator
 
DelegateVisualizationHelper<N,E> - Class in net.automatalib.visualization.helper
 
DelegateVisualizationHelper(VisualizationHelper<N, ? super E>) - Constructor for class net.automatalib.visualization.helper.DelegateVisualizationHelper
 
depth() - Method in class net.automatalib.util.tries.SuffixTrieNode
 
depth(SuffixTrieNode<I>) - Static method in class net.automatalib.util.tries.SuffixTrieNode
 
DEPTH_FIRST - Static variable in interface net.automatalib.util.ts.traversal.TSTraversalMethod
 
depthFirst(IndefiniteGraph<N, E>, int, Collection<? extends N>, GraphTraversalVisitor<N, E, D>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
depthFirst(IndefiniteGraph<N, E>, N, GraphTraversalVisitor<N, E, D>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
depthFirst(IndefiniteGraph<N, E>, int, N, GraphTraversalVisitor<N, E, D>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
depthFirst(IndefiniteGraph<N, E>, Collection<? extends N>, GraphTraversalVisitor<N, E, D>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
depthFirst(TransitionSystem<S, I, T>, Collection<? extends I>, TSTraversalVisitor<S, I, T, D>) - Static method in class net.automatalib.util.ts.traversal.TSTraversal
 
depthFirst(TransitionSystem<S, ? super I, T>, int, Collection<? extends I>, TSTraversalVisitor<S, I, T, D>) - Static method in class net.automatalib.util.ts.traversal.TSTraversal
 
depthFirstOrder(IndefiniteGraph<N, E>, Collection<? extends N>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
DetAcceptorComposition<S1,S2,I,A1 extends DeterministicAcceptorTS<S1,I>,A2 extends DeterministicAcceptorTS<S2,I>> - Class in net.automatalib.util.ts.acceptors
 
DetAcceptorComposition(A1, A2, AcceptanceCombiner) - Constructor for class net.automatalib.util.ts.acceptors.DetAcceptorComposition
 
detectLTSmin() - Static method in class net.automatalib.modelcheckers.ltsmin.LTSminUtil
(Re-)Checks whether the required binaries for the LTSmin modelchecker can be executed, by performing a version check.
DeterministicAcceptorTS<S,I> - Interface in net.automatalib.ts.acceptors
A deterministic acceptor transition system.
DeterministicAutomaton<S,I,T> - Interface in net.automatalib.automata
Basic interface for a deterministic automaton.
DeterministicAutomaton.FullIntAbstraction<T> - Interface in net.automatalib.automata
Interface for full integer abstractions of a DeterministicAutomaton.
DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,A extends DeterministicAutomaton.StateIntAbstraction<I,T>> - Class in net.automatalib.automata
 
DeterministicAutomaton.IntAbstraction<T> - Interface in net.automatalib.automata
Base interface for integer abstractions of a DeterministicAutomaton.
DeterministicAutomaton.StateIntAbstraction<I,T> - Interface in net.automatalib.automata
Interface for state integer abstractions of a DeterministicAutomaton.
DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,T,A extends DeterministicAutomaton<S,I,T>> - Class in net.automatalib.automata
 
DeterministicEquivalenceTest<I> - Class in net.automatalib.util.automata.equivalence
 
DeterministicEquivalenceTest(UniversalDeterministicAutomaton<?, I, ?, ?, ?>) - Constructor for class net.automatalib.util.automata.equivalence.DeterministicEquivalenceTest
 
DeterministicOutputTS<S,I,T,O> - Interface in net.automatalib.ts.output
 
DeterministicPowersetView<S,I,T> - Class in net.automatalib.ts.powerset
 
DeterministicPowersetView(DeterministicTransitionSystem<S, I, T>) - Constructor for class net.automatalib.ts.powerset.DeterministicPowersetView
 
DeterministicStateOutputTS<S,I,T,O> - Interface in net.automatalib.ts.output
 
DeterministicTransitionOutputTS<S,I,T,O> - Interface in net.automatalib.ts.output
 
DeterministicTransitionSystem<S,I,T> - Interface in net.automatalib.ts
Deterministic transition system.
determinize(NFA<?, I>, Alphabet<I>) - Static method in class net.automatalib.util.automata.fsa.NFAs
 
determinize(NFA<?, I>, Alphabet<I>, boolean, boolean) - Static method in class net.automatalib.util.automata.fsa.NFAs
 
determinize(NFA<?, I>, Collection<? extends I>, MutableDFA<?, I>, boolean, boolean) - Static method in class net.automatalib.util.automata.fsa.NFAs
 
determinize(A) - Static method in class net.automatalib.util.automata.fsa.NFAs
 
determinize(A, boolean, boolean) - Static method in class net.automatalib.util.automata.fsa.NFAs
 
determinize(NFA<?, I>, Collection<? extends I>, MutableDFA<?, I>) - Static method in class net.automatalib.util.automata.fsa.NFAs
 
DetMealyComposition<S1,S2,I,T1,T2,O1,O2,A1 extends MealyTransitionSystem<S1,I,T1,O1>,A2 extends MealyTransitionSystem<S2,I,T2,O2>> - Class in net.automatalib.util.ts.transducers
 
DetMealyComposition(A1, A2) - Constructor for class net.automatalib.util.ts.transducers.DetMealyComposition
 
DetMealyComposition(A1, A2, boolean) - Constructor for class net.automatalib.util.ts.transducers.DetMealyComposition
 
DetOutputAutomaton<S,I,T,D> - Interface in net.automatalib.automata.concepts
An automaton which deterministically produces an output for an input word.
DetSuffixOutputAutomaton<S,I,T,D> - Interface in net.automatalib.automata.concepts
 
DFA<S,I> - Interface in net.automatalib.automata.fsa
Deterministic finite state acceptor.
dfa() - Static method in class net.automatalib.serialization.dot.DOTParsers
Default parser for DFAs serialized by AutomataLib.
dfa(Function<Map<String, String>, Boolean>, Function<Map<String, String>, I>) - Static method in class net.automatalib.serialization.dot.DOTParsers
Parser for DFAs with custom node and edge attributes.
dfa2ETF(DFA<S, I>, Collection<? extends I>, File) - Method in interface net.automatalib.modelcheckers.ltsmin.LTSminDFA
Writes the given dfa to etf, while skipping rejecting states.
DFA2ETFWriter<I> - Class in net.automatalib.serialization.etf.writer
Write a DFA to ETF.
DFA2ETFWriter() - Constructor for class net.automatalib.serialization.etf.writer.DFA2ETFWriter
 
DFABuilder<S,I,A extends MutableDFA<S,? super I>> - Class in net.automatalib.util.automata.builders
 
DFABuilder(A) - Constructor for class net.automatalib.util.automata.builders.DFABuilder
 
DFABuilder.DFABuilder__0 - Class in net.automatalib.util.automata.builders
 
DFABuilder.DFABuilder__1 - Class in net.automatalib.util.automata.builders
 
DFABuilder.DFABuilder__2 - Class in net.automatalib.util.automata.builders
 
DFABuilder.DFABuilder__3 - Class in net.automatalib.util.automata.builders
 
DFABuilder.DFABuilder__4 - Class in net.automatalib.util.automata.builders
 
DFABuilder.DFABuilder__5 - Class in net.automatalib.util.automata.builders
 
DFABuilder.DFABuilder__6 - Class in net.automatalib.util.automata.builders
 
DFABuilder__0() - Constructor for class net.automatalib.util.automata.builders.DFABuilder.DFABuilder__0
 
DFABuilder__1() - Constructor for class net.automatalib.util.automata.builders.DFABuilder.DFABuilder__1
 
DFABuilder__2() - Constructor for class net.automatalib.util.automata.builders.DFABuilder.DFABuilder__2
 
DFABuilder__3() - Constructor for class net.automatalib.util.automata.builders.DFABuilder.DFABuilder__3
 
DFABuilder__4() - Constructor for class net.automatalib.util.automata.builders.DFABuilder.DFABuilder__4
 
DFABuilder__5() - Constructor for class net.automatalib.util.automata.builders.DFABuilder.DFABuilder__5
 
DFABuilder__6() - Constructor for class net.automatalib.util.automata.builders.DFABuilder.DFABuilder__6
 
DFALassoImpl<I> - Class in net.automatalib.modelchecking.lasso
A DFALasso is a lasso for DFAs.
DFALassoImpl(DetOutputAutomaton<?, I, ?, Boolean>, Collection<? extends I>, int) - Constructor for class net.automatalib.modelchecking.lasso.DFALassoImpl
 
DFAs - Class in net.automatalib.util.automata.fsa
Operations on DFAs.
dfaToString(DFA<?, I>, Collection<? extends I>) - Static method in class net.automatalib.serialization.taf.writer.TAFWriter
 
dfIterator(IndefiniteGraph<N, E>, Collection<? extends N>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
DFRecord<S,I,T,D> - Class in net.automatalib.util.ts.traversal
 
DFRecord(S, Collection<? extends I>, D) - Constructor for class net.automatalib.util.ts.traversal.DFRecord
 
DFS - Static variable in interface net.automatalib.util.automata.copy.AutomatonCopyMethod
 
dfs(IndefiniteGraph<N, E>, N, DFSVisitor<? super N, ? super E, D>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
dfs(IndefiniteGraph<N, E>, int, Collection<? extends N>, DFSVisitor<? super N, ? super E, D>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
dfs(IndefiniteGraph<N, E>, Collection<? extends N>, DFSVisitor<? super N, ? super E, D>) - Static method in class net.automatalib.util.graphs.traversal.GraphTraversal
 
DFSVisitor<N,E,D> - Interface in net.automatalib.util.graphs.traversal
 
DIAGONALS - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeStyles
 
DijkstraSSSP<N,E> - Class in net.automatalib.util.graphs.sssp
Implementation of Dijkstras algorithm for the single-source shortest path problem.
DijkstraSSSP(Graph<N, E>, N, EdgeWeights<E>) - Constructor for class net.automatalib.util.graphs.sssp.DijkstraSSSP
Constructor.
DirectPowersetDTS<S,I,T> - Class in net.automatalib.ts.powerset
 
DirectPowersetDTS(TransitionSystem<S, I, T>) - Constructor for class net.automatalib.ts.powerset.DirectPowersetDTS
 
directUnion(int, int) - Method in class net.automatalib.commons.util.combinatorics.DisjointSetForestInt
 
DisjointSetForestInt - Class in net.automatalib.commons.util.combinatorics
 
DisjointSetForestInt(int) - Constructor for class net.automatalib.commons.util.combinatorics.DisjointSetForestInt
 
distinctIntegers(int, int, int) - Method in class net.automatalib.commons.util.random.RandomUtil
Sample a specified number of distinct integers from a specified range.
distinctIntegers(int, int, int, Random) - Static method in class net.automatalib.commons.util.random.RandomUtil
Sample a specified number of distinct integers from a specified range.
distinctIntegers(int, int) - Method in class net.automatalib.commons.util.random.RandomUtil
 
distinctIntegers(int, int, Random) - Static method in class net.automatalib.commons.util.random.RandomUtil
 
doCopy() - Method in class net.automatalib.util.automata.copy.AbstractLowLevelAutomatonCopier
 
doCopy() - Method in interface net.automatalib.util.automata.copy.LowLevelAutomatonCopier
 
doFindSeparatingWord(DFA<S, I>, Collection<? extends I>, boolean) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder
 
doFindSeparatingWord(DFA<S, I>, Collection<? extends I>, boolean) - Method in class net.automatalib.incremental.dfa.tree.IncrementalPCDFATreeBuilder
 
DOT - Class in net.automatalib.visualization.dot
Utility class to simplify operating the GraphVIZ "dot" utility.
DOTComponent - Class in net.automatalib.visualization.dot
 
DOTComponent(Reader) - Constructor for class net.automatalib.visualization.dot.DOTComponent
 
DOTFrame - Class in net.automatalib.visualization.dot
 
DOTFrame() - Constructor for class net.automatalib.visualization.dot.DOTFrame
 
DOTFrame(String) - Constructor for class net.automatalib.visualization.dot.DOTFrame
 
DOTGraphParser<NP,EP,G extends MutableGraph<?,?,NP,EP>> - Class in net.automatalib.serialization.dot
General-purpose DOT parser for MutableGraphs.
DOTGraphParser(Supplier<G>, Function<Map<String, String>, NP>, Function<Map<String, String>, EP>) - Constructor for class net.automatalib.serialization.dot.DOTGraphParser
Parser for (directed) Graphs with a custom graph instance and custom node and edge attributes.
DOTMutableAutomatonParser<I,SP,TP,A extends MutableAutomaton<?,I,?,SP,TP>> - Class in net.automatalib.serialization.dot
General-purpose DOT parser for MutableAutomatons.
DOTMutableAutomatonParser(AutomatonCreator<A, I>, Function<Map<String, String>, SP>, Function<Map<String, String>, Pair<I, TP>>, Collection<String>, boolean) - Constructor for class net.automatalib.serialization.dot.DOTMutableAutomatonParser
Parser for arbitrary MutableAutomatons with a custom automaton instance, custom node and edge attributes and custom labels for the initial nodes.
DOTPanel - Class in net.automatalib.visualization.dot
 
DOTPanel() - Constructor for class net.automatalib.visualization.dot.DOTPanel
 
DOTParsers - Class in net.automatalib.serialization.dot
An aggregation of factory methods for obtaining DOT parsers for several types of automata / graphs.
DOTSerializationProvider<N,E> - Class in net.automatalib.serialization.dot
 
DOTTED - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonStyles
 
DOTVisualizationHelper<N,E> - Interface in net.automatalib.serialization.dot
Extension to the VisualizationHelper interface for DOT specific methods.
DOUBLECIRCLE - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes
 
DOUBLEOCTAGON - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes
 
DOUBLEOVAL - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes
 
doubleValue(Double) - Static method in class net.automatalib.commons.util.WrapperUtil
 
doubleValue(Double, double) - Static method in class net.automatalib.commons.util.WrapperUtil
 
DRAW_COLOR - Static variable in class net.automatalib.visualization.jung.JungGraphVisualizationProvider.EdgeVisualization
 
DRAW_COLOR - Static variable in class net.automatalib.visualization.jung.JungGraphVisualizationProvider.NodeVisualization
 
drawColor - Variable in class net.automatalib.visualization.jung.JungGraphVisualizationProvider.EdgeVisualization
 
DTSComposition<S1,S2,I,T1,T2,TS1 extends DeterministicTransitionSystem<S1,I,T1>,TS2 extends DeterministicTransitionSystem<S2,I,T2>> - Class in net.automatalib.ts.comp
 
DTSComposition(TS1, TS2) - Constructor for class net.automatalib.ts.comp.DTSComposition
 
DTSComposition(TS1, TS2, boolean) - Constructor for class net.automatalib.ts.comp.DTSComposition
 
DummyVP - Class in net.automatalib.visualization
 
DummyVP() - Constructor for class net.automatalib.visualization.DummyVP
 
DynamicIncrementalMealyTreeBuilder<I,O> - Class in net.automatalib.incremental.mealy.tree.dynamic
A variation of the normal IncrementalMealyTreeBuilder, which stores the successor information of each tree-node in a dynamically allocated Map.
DynamicIncrementalMealyTreeBuilder() - Constructor for class net.automatalib.incremental.mealy.tree.dynamic.DynamicIncrementalMealyTreeBuilder
 
DynamicList<T extends MutableNumericID> - Class in net.automatalib.commons.util.nid
 
DynamicList() - Constructor for class net.automatalib.commons.util.nid.DynamicList
 

E

Edge<I> - Class in net.automatalib.incremental.dfa.tree
 
Edge(Node<I>, I) - Constructor for class net.automatalib.incremental.dfa.tree.Edge
 
Edge<N,O> - Class in net.automatalib.incremental.mealy.tree
 
Edge(O, N) - Constructor for class net.automatalib.incremental.mealy.tree.Edge
 
Edge - Class in net.automatalib.serialization.dot
A utility class to aggregate information of an edge of a DOT graph.
Edge(String, String, Map<String, String>) - Constructor for class net.automatalib.serialization.dot.Edge
 
edge(N, D, E, N) - Method in class net.automatalib.util.graphs.traversal.BaseDFSVisitor
Most general edge handler.
EdgeLabels<E,L> - Interface in net.automatalib.graphs.concepts
Edge label context, for Graphs with labeled edges.
edgeList() - Method in class net.automatalib.util.graphs.Path
 
edgeList - Variable in class net.automatalib.util.graphs.Path.PathData
 
edges - Variable in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
EdgeVisualization(String, Color, Stroke) - Constructor for class net.automatalib.visualization.jung.JungGraphVisualizationProvider.EdgeVisualization
 
EdgeWeights<E> - Interface in net.automatalib.graphs.concepts
Edge weights concepts.
element() - Method in class net.automatalib.commons.smartcollections.BinaryHeap
 
ElementReference - Interface in net.automatalib.commons.smartcollections
Marker interface for element reference.
encodeProperty(DataOutput, P) - Method in interface net.automatalib.serialization.saf.BlockPropertyEncoder
 
encodeStackSym(L, I) - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA
 
encodeStackSym(L, int) - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA
 
encodeStackSym(L, I) - Method in interface net.automatalib.automata.vpda.OneSEVPA
 
encodeStackSym(Pair<L1, L2>, I) - Method in class net.automatalib.util.automata.vpda.ProductOneSEVPA
 
endNode() - Method in class net.automatalib.util.graphs.Path
 
enquote(String) - Static method in class net.automatalib.commons.util.strings.StringUtil
 
enquote(String, Appendable) - Static method in class net.automatalib.commons.util.strings.StringUtil
 
enquoteIfNecessary(String) - Static method in class net.automatalib.commons.util.strings.StringUtil
 
enquoteIfNecessary(String, Appendable) - Static method in class net.automatalib.commons.util.strings.StringUtil
 
enquoteIfNecessary(String, Pattern) - Static method in class net.automatalib.commons.util.strings.StringUtil
 
enquoteIfNecessary(String, Appendable, Pattern) - Static method in class net.automatalib.commons.util.strings.StringUtil
 
enquoteIfNecessary(String, Appendable, Pattern, Pattern) - Static method in class net.automatalib.commons.util.strings.StringUtil
 
ensureAdditionalCapacity(int) - Method in class net.automatalib.commons.smartcollections.BinaryHeap
 
ensureAdditionalCapacity(int) - Method in interface net.automatalib.commons.smartcollections.CapacityManagement
Ensures that the internal storage has room for at least the provided number of additional elements.
ensureAdditionalCapacity(int) - Method in class net.automatalib.commons.smartcollections.ResizingArrayStorage
 
ensureAdditionalCapacity(int) - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
ensureAdditionalCapacity(int) - Method in class net.automatalib.words.WordBuilder
Ensures that the internal storage has additionally the given capacity.
ensureCapacity(int) - Method in class net.automatalib.commons.smartcollections.BinaryHeap
 
ensureCapacity(int) - Method in interface net.automatalib.commons.smartcollections.CapacityManagement
Ensures that the internal storage has room for at least the provided number of elements.
ensureCapacity(int) - Method in class net.automatalib.commons.smartcollections.ResizingArrayStorage
 
ensureCapacity(int) - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
ensureCapacity(int) - Method in class net.automatalib.words.WordBuilder
Ensures that the internal storage has in total the given capacity.
ensureInputCapacity(int) - Method in class net.automatalib.automata.base.fast.AbstractFastState
entrySet() - Method in class net.automatalib.commons.util.mappings.MapMapping
Delegates to the underlying Map.
EnumAlphabet<E extends Enum<E>> - Class in net.automatalib.words.impl
 
EnumAlphabet(Class<E>, boolean) - Constructor for class net.automatalib.words.impl.EnumAlphabet
 
eol - Variable in exception net.automatalib.modelcheckers.ltsmin.ParseException
The end of line string for this machine.
eol - Variable in exception net.automatalib.serialization.dot.ParseException
The end of line string for this machine.
eol - Variable in exception net.automatalib.serialization.taf.parser.ParseException
The end of line string for this machine.
epsilon() - Static method in class net.automatalib.words.Word
Retrieves the empty word.
equals(Object) - Method in class net.automatalib.automata.graphs.TransitionEdge
 
equals(Object) - Method in class net.automatalib.automata.graphs.TransitionEdge.Property
 
equals(Object) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealyTransition
 
equals(Object) - Method in class net.automatalib.automata.transducers.probabilistic.ProbabilisticOutput
 
equals(Object) - Method in class net.automatalib.brics.BricsTransitionProperty
 
equals(Object) - Method in class net.automatalib.commons.smartcollections.ArrayStorage
 
equals(Object) - Method in class net.automatalib.commons.util.Pair
 
equals(Object) - Method in class net.automatalib.commons.util.Triple
 
equals(Object) - Method in class net.automatalib.modelcheckers.ltsmin.LTSminVersion
 
equals(Object) - Method in class net.automatalib.ts.powerset.FastPowersetState
 
equals(Object) - Method in class net.automatalib.util.partitionrefinement.StateSignature
 
equals(Object) - Method in class net.automatalib.words.impl.Symbol
 
equals(Object) - Method in class net.automatalib.words.impl.VPDSym
 
equals(Object) - Method in class net.automatalib.words.Word
 
equiv(DFA<?, I>, DFA<?, I>, Alphabet<I>) - Static method in class net.automatalib.util.automata.fsa.DFAs
Calculates the equivalence ("<=>") of two DFA, and returns the result as a new DFA.
equiv(DFA<?, I>, DFA<?, I>, Collection<? extends I>, A) - Static method in class net.automatalib.util.automata.fsa.DFAs
Calculates the equivalence ("<=>") of two DFA, and stores the result in a given mutable DFA.
equiv(OneSEVPA<L1, I>, OneSEVPA<L2, I>, VPDAlphabet<I>) - Static method in class net.automatalib.util.automata.vpda.OneSEVPAs
Calculates the equivalence ("<=>") of two SEVPA, and stores the result in a given mutable SEVPA.
EQUIV - Static variable in interface net.automatalib.util.ts.acceptors.AcceptanceCombiner
 
equiv(TS1, TS2) - Static method in class net.automatalib.util.ts.acceptors.Acceptors
 
equivalent(int, int) - Method in interface net.automatalib.commons.util.IntDisjointSets
Checks if two elements are in the same set.
equivalent(int, int) - Method in class net.automatalib.commons.util.UnionFindRemSP
 
error(int, int, String, Object...) - Method in class net.automatalib.serialization.taf.parser.PrintStreamDiagnosticListener
 
error(int, int, String, Object...) - Method in interface net.automatalib.serialization.taf.parser.TAFParseDiagnosticListener
Called when a non-fatal error is encountered during parsing.
escapeQuotes(String) - Static method in class net.automatalib.commons.util.strings.StringUtil
Escapes double quotes in a string.
escapeQuotes(String, Appendable) - Static method in class net.automatalib.commons.util.strings.StringUtil
 
ETF2LTS_MC - Static variable in class net.automatalib.modelcheckers.ltsmin.LTSminUtil
Path to the "etf2lts-mc" binary.
EXPECT_CHAR - Static variable in class net.automatalib.serialization.fsm.parser.AbstractFSMParser
 
EXPECT_IDENTIFIER - Static variable in class net.automatalib.serialization.fsm.parser.AbstractFSMParser
 
EXPECT_NUMBER - Static variable in class net.automatalib.serialization.fsm.parser.AbstractFSMParser
 
EXPECT_STRING - Static variable in class net.automatalib.serialization.fsm.parser.AbstractFSMParser
 
expectedTokenSequences - Variable in exception net.automatalib.modelcheckers.ltsmin.ParseException
Each entry in this array is an array of integers.
expectedTokenSequences - Variable in exception net.automatalib.serialization.dot.ParseException
Each entry in this array is an array of integers.
expectedTokenSequences - Variable in exception net.automatalib.serialization.taf.parser.ParseException
Each entry in this array is an array of integers.
explore(N, D) - Method in class net.automatalib.util.graphs.traversal.BaseDFSVisitor
 
explore(N, D) - Method in interface net.automatalib.util.graphs.traversal.DFSVisitor
 
extractMin() - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
extractMin() - Method in class net.automatalib.commons.smartcollections.BinaryHeap
 
extractMin() - Method in interface net.automatalib.commons.smartcollections.SmartPriorityQueue
Retrieves and removes the element with the minimum key in the priority queue.
extractMin() - Method in class net.automatalib.util.automata.conformance.StrictPriorityQueue
Retrieves and removes the element at the head of the queue (i.e., the minimum element in the queue).

F

FastAlphabet<I extends MutableNumericID> - Class in net.automatalib.words.impl
A fast alphabet implementation, that assumes identifiers are stored directly in the input symbols.
FastAlphabet() - Constructor for class net.automatalib.words.impl.FastAlphabet
 
FastAlphabet(I...) - Constructor for class net.automatalib.words.impl.FastAlphabet
 
FastAlphabet(List<? extends I>) - Constructor for class net.automatalib.words.impl.FastAlphabet
 
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.transducers.impl
A fast implementation of a Mealy machine.
FastMealy(Alphabet<I>) - Constructor for class net.automatalib.automata.transducers.impl.FastMealy
Constructor.
FastMealyState<O> - Class in net.automatalib.automata.transducers.impl
A state in a FastMealy automaton.
FastMealyState(int) - Constructor for class net.automatalib.automata.transducers.impl.FastMealyState
 
FastMoore<I,O> - Class in net.automatalib.automata.transducers.impl
A fast implementation of a Moore automaton.
FastMoore(Alphabet<I>) - Constructor for class net.automatalib.automata.transducers.impl.FastMoore
 
FastMooreState<O> - Class in net.automatalib.automata.transducers.impl
A state in a FastMoore automaton.
FastMooreState(int, O) - Constructor for class net.automatalib.automata.transducers.impl.FastMooreState
Constructor.
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
 
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.transducers.impl
 
FastProbMealy(Alphabet<I>) - Constructor for class net.automatalib.automata.transducers.impl.FastProbMealy
 
FastProbMealyState<O> - Class in net.automatalib.automata.transducers.impl
 
FastProbMealyState(int) - Constructor for class net.automatalib.automata.transducers.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.visualization.VisualizationHelper.NodeStyles
 
filterByOutput(MealyMachine<?, I, ?, O>, Alphabet<I>, Predicate<? super O>) - Static method in class net.automatalib.util.automata.transducers.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.transducers.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 interface net.automatalib.commons.util.IntDisjointSets
Determines the representative element of the set containing x.
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.
find(int) - Method in class net.automatalib.commons.util.UnionFindRemSP
Finds the set of a given element, and compresses the path to the root node.
findAcceptedWord(OneSEVPA<L, I>, VPDAlphabet<I>) - Static method in class net.automatalib.util.automata.vpda.OneSEVPAUtil
 
findAPSP(Graph<N, E>, EdgeWeights<E>) - Static method in class net.automatalib.util.graphs.apsp.FloydWarshallAPSP
 
findAPSP() - Method in class net.automatalib.util.graphs.apsp.FloydWarshallAPSP
 
findAPSP(Graph<N, E>, EdgeWeights<E>) - Static method in class net.automatalib.util.graphs.Graphs
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>, Collection<? super Word<I>>) - Static method in class net.automatalib.util.automata.equivalence.CharacterizingSets
Computes a characterizing set for the given automaton.
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.
findConstructor(Class<T>, Class<?>...) - Static method in class net.automatalib.commons.util.ReflectUtil
Tries to find a constructor that is able to accept parameters of the given types.
findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>, String) - Method in class net.automatalib.modelcheckers.ltsmin.ltl.AbstractLTSminLTLMealy
 
findCounterExample(DFA<?, I>, Collection<? extends I>, String) - Method in class net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLDFA
Converts the FSM file to a Lasso.DFALasso.
findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>, String) - Method in class net.automatalib.modelcheckers.ltsmin.monitor.AbstractLTSminMonitorMealy
Converts the FSM file to a MealyMachine.
findCounterExample(DFA<?, I>, Collection<? extends I>, String) - Method in class net.automatalib.modelcheckers.ltsmin.monitor.LTSminMonitorDFA
Converts the FSM file to a DFA.
findCounterExample(A, Collection<? extends I>, P) - Method in interface net.automatalib.modelchecking.ModelChecker
Try to find counter examples for the given property and automaton.
findCounterExampleFSM(A, Collection<? extends I>, String) - Method in class net.automatalib.modelcheckers.ltsmin.AbstractLTSmin
Finds a counterexample for the given formula, and given hypothesis in FSM format.
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
Tries to find a method of the given name that is able to accept parameters of the given types.
findMethodRT(Class<?>, String, Class<?>, Class<?>...) - Static method in class net.automatalib.commons.util.ReflectUtil
findReachableLocations(OneSEVPA<L, I>, VPDAlphabet<I>) - Static method in class net.automatalib.util.automata.vpda.OneSEVPAUtil
 
findRejectedWord(OneSEVPA<L, I>, VPDAlphabet<I>) - Static method in class net.automatalib.util.automata.vpda.OneSEVPAUtil
 
findSCCs(Graph<N, E>, SCCListener<N>) - Static method in class net.automatalib.util.graphs.Graphs
Find all strongly-connected components in a graph.
findSCCs(Graph<N, E>, SCCListener<N>) - Static method in class net.automatalib.util.graphs.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.AbstractIncrementalMealyTreeBuilder
 
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(OneSEVPA<?, I>, OneSEVPA<?, I>, VPDAlphabet<I>) - Static method in class net.automatalib.util.automata.Automata
 
findSeparatingWord(UniversalDeterministicAutomaton<?, I, ?, ?, ?>, Collection<? extends I>) - Method in class net.automatalib.util.automata.equivalence.DeterministicEquivalenceTest
 
findSeparatingWord(UniversalDeterministicAutomaton<S, I, T, SP, TP>, UniversalDeterministicAutomaton<S2, I, T2, SP2, TP2>, Collection<? extends I>) - Static method in class net.automatalib.util.automata.equivalence.DeterministicEquivalenceTest
 
findSeparatingWord(UniversalDeterministicAutomaton<S, I, T, ?, ?>, S, S, Collection<? extends I>) - Static method in class net.automatalib.util.automata.equivalence.NearLinearEquivalenceTest
 
findSeparatingWord(UniversalDeterministicAutomaton<S, I, T, ?, ?>, S, S, Collection<? extends I>, boolean) - Static method in class net.automatalib.util.automata.equivalence.NearLinearEquivalenceTest
Find a separating word for two states in a given automaton.
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, SP, TP>, UniversalDeterministicAutomaton<S2, I, T2, SP2, TP2>, Collection<? extends I>, boolean) - Static method in class net.automatalib.util.automata.equivalence.NearLinearEquivalenceTest
 
findSeparatingWord(UniversalDeterministicAutomaton<S, I, T, SP, TP>, UniversalDeterministicAutomaton<S2, I, T2, SP2, TP2>, Alphabet<I>) - Static method in class net.automatalib.util.automata.equivalence.NearLinearEquivalenceTest
 
findSeparatingWord(UniversalDeterministicAutomaton<S, I, T, SP, TP>, UniversalDeterministicAutomaton<S2, I, T2, SP2, TP2>, Alphabet<I>, boolean) - Static method in class net.automatalib.util.automata.equivalence.NearLinearEquivalenceTest
 
findSeparatingWord(OneSEVPA<?, I>, OneSEVPA<?, I>, VPDAlphabet<I>) - Static method in class net.automatalib.util.automata.vpda.OneSEVPAUtil
 
findSeparatingWordLarge(UniversalDeterministicAutomaton<S, I, T, SP, TP>, UniversalDeterministicAutomaton<S2, I, T2, SP2, TP2>, 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.util.graphs.Graphs
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.util.graphs.sssp.DijkstraSSSP
Search for the shortest paths from a single source node in a graph.
findSSSP() - Method in class net.automatalib.util.graphs.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.util.graphs.scc.TarjanSCCVisitor
 
finishExploration(N, D) - Method in class net.automatalib.util.graphs.traversal.DefaultGraphTraversalVisitor
 
finishExploration(N, D) - Method in interface net.automatalib.util.graphs.traversal.GraphTraversalVisitor
Called when the exploration of a node is finished.
FiniteAlphabetAutomaton<S,I,T> - Interface in net.automatalib.automata
 
FiniteKripkeStructure<N,E,AP> - Interface in net.automatalib.graphs
A Kripke structure is a graph which has sets of atomic properties assigned to its nodes.
FiniteKTS<N,E,AP,L> - Interface in net.automatalib.graphs
A finite Kripke Transition System combines the properties of both a labeled transition system and a Kripke structure.
FiniteLTS<N,E,L> - Interface in net.automatalib.graphs
A finite LTS is an IndefiniteLTS with a finite number of nodes.
FiniteStateAcceptor<S,I> - Interface in net.automatalib.automata.fsa
FiniteStateAcceptors accept regular languages.
FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>> - Class in net.automatalib.automata.fsa
 
firstEdge() - Method in class net.automatalib.util.graphs.Path
 
firstNode() - Method in class net.automatalib.util.graphs.Path
 
firstSymbol() - Method in class net.automatalib.words.Word
Retrieves the first symbol of this word.
FIXEDSIZE - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeAttrs
 
flatten() - Method in class net.automatalib.words.Word
Retrieves a "flattened" version of this word, i.e., without any hierarchical structure attached.
flipAcceptance() - Method in 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) - Static method in class net.automatalib.commons.util.WrapperUtil
 
floatValue(Float, float) - Static method in class net.automatalib.commons.util.WrapperUtil
 
FloydWarshallAPSP<N,E> - Class in net.automatalib.util.graphs.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.util.graphs.apsp.FloydWarshallAPSP
 
flush() - Method in class net.automatalib.commons.util.io.NonClosingOutputStream
 
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.
FormatException - Exception in net.automatalib.serialization
 
FormatException() - Constructor for exception net.automatalib.serialization.FormatException
 
FormatException(String, Throwable) - Constructor for exception net.automatalib.serialization.FormatException
 
FormatException(String) - Constructor for exception net.automatalib.serialization.FormatException
 
FormatException(Throwable) - Constructor for exception net.automatalib.serialization.FormatException
 
forMealy(A) - Static method in class net.automatalib.util.automata.builders.AutomatonBuilders
 
forMoore(A) - Static method in class net.automatalib.util.automata.builders.AutomatonBuilders
 
forRandom(Random) - Method in class net.automatalib.commons.util.random.WeightedSupplier
 
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.util.graphs.scc.SCCCollector
 
foundSCC(Collection<? extends N>) - Method in interface net.automatalib.util.graphs.scc.SCCListener
 
from(Object) - Method in class net.automatalib.util.automata.builders.AutomatonBuilder.AutomatonBuilder__2
 
from(Object, Object...) - Method in class net.automatalib.util.automata.builders.AutomatonBuilder.AutomatonBuilder__2
 
from(Object) - Method in class net.automatalib.util.automata.builders.AutomatonBuilder
 
from(Object, Object...) - Method in class net.automatalib.util.automata.builders.AutomatonBuilder
 
from(Object, Object...) - Method in class net.automatalib.util.automata.builders.DFABuilder.DFABuilder__1
 
from(Object) - Method in class net.automatalib.util.automata.builders.DFABuilder.DFABuilder__1
 
from(Object, Object...) - Method in class net.automatalib.util.automata.builders.DFABuilder.DFABuilder__4
 
from(Object) - Method in class net.automatalib.util.automata.builders.DFABuilder.DFABuilder__4
 
from(Object, Object...) - Method in class net.automatalib.util.automata.builders.DFABuilder.DFABuilder__6
 
from(Object) - Method in class net.automatalib.util.automata.builders.DFABuilder.DFABuilder__6
 
from(Object, Object...) - Method in class net.automatalib.util.automata.builders.DFABuilder
 
from(Object) - Method in class net.automatalib.util.automata.builders.DFABuilder
 
from(Object) - Method in class net.automatalib.util.automata.builders.FSABuilder
 
from(Object, Object...) - Method in class net.automatalib.util.automata.builders.FSABuilder
 
from(Object) - Method in class net.automatalib.util.automata.builders.FSABuilder.FSABuilder__2
 
from(Object, Object...) - Method in class net.automatalib.util.automata.builders.FSABuilder.FSABuilder__2
 
from(Object) - Method in class net.automatalib.util.automata.builders.FSABuilder.FSABuilder__3
 
from(Object, Object...) - Method in class net.automatalib.util.automata.builders.FSABuilder.FSABuilder__3
 
from(Object, Object...) - Method in class net.automatalib.util.automata.builders.MealyBuilder
 
from(Object) - Method in class net.automatalib.util.automata.builders.MealyBuilder
 
from(Object, Object...) - Method in class net.automatalib.util.automata.builders.MealyBuilder.MealyBuilder__1
 
from(Object) - Method in class net.automatalib.util.automata.builders.MealyBuilder.MealyBuilder__1
 
from(Object, Object...) - Method in class net.automatalib.util.automata.builders.MealyBuilder.MealyBuilder__4
 
from(Object) - Method in class net.automatalib.util.automata.builders.MealyBuilder.MealyBuilder__4
 
from(Object, Object...) - Method in class net.automatalib.util.automata.builders.MealyBuilder.MealyBuilder__7
 
from(Object) - Method in class net.automatalib.util.automata.builders.MealyBuilder.MealyBuilder__7
 
from(Object, Object...) - Method in class net.automatalib.util.automata.builders.MooreBuilder
 
from(Object) - Method in class net.automatalib.util.automata.builders.MooreBuilder
 
from(Object, Object...) - Method in class net.automatalib.util.automata.builders.MooreBuilder.MooreBuilder__1
 
from(Object) - Method in class net.automatalib.util.automata.builders.MooreBuilder.MooreBuilder__1
 
from(Object, Object...) - Method in class net.automatalib.util.automata.builders.MooreBuilder.MooreBuilder__4
 
from(Object) - Method in class net.automatalib.util.automata.builders.MooreBuilder.MooreBuilder__4
 
from(Object, Object...) - Method in class net.automatalib.util.automata.builders.MooreBuilder.MooreBuilder__6
 
from(Object) - Method in class net.automatalib.util.automata.builders.MooreBuilder.MooreBuilder__6
 
fromArray(T...) - Static method in class net.automatalib.words.impl.Alphabets
 
fromArray(I[], int, int) - Static method in class net.automatalib.words.Word
Creates a word from a subrange of an array of symbols.
fromBoolean(boolean) - Static method in enum net.automatalib.incremental.dfa.Acceptance
Retrieves the corresponding acceptance value (either Acceptance.TRUE or Acceptance.FALSE) for a given boolean value.
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>) - Static method in class net.automatalib.words.impl.Alphabets
 
fromEnum(Class<E>, boolean) - 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
 
fromString(String) - Static method in class net.automatalib.words.Word
 
fromSymbols(I...) - Static method in class net.automatalib.words.Word
Creates a word from an array of symbols.
fromWords(Word<? extends I>...) - Static method in class net.automatalib.words.Word
 
fromWords(Collection<? extends Word<? extends I>>) - Static method in class net.automatalib.words.Word
 
fsa(AutomatonCreator<A, I>, Function<Map<String, String>, Boolean>, Function<Map<String, String>, I>) - Static method in class net.automatalib.serialization.dot.DOTParsers
Parser for FiniteStateAcceptors with a custom automaton instance and custom node and edge attributes.
fsa(AutomatonCreator<A, I>, Function<Map<String, String>, Boolean>, Function<Map<String, String>, I>, Collection<String>) - Static method in class net.automatalib.serialization.dot.DOTParsers
Parser for FiniteStateAcceptors with a custom automaton instance, custom node and edge attributes and custom labels for the initial nodes.
fsa(AutomatonCreator<A, I>, Function<Map<String, String>, Boolean>, Function<Map<String, String>, I>, Collection<String>, boolean) - Static method in class net.automatalib.serialization.dot.DOTParsers
Parser for FiniteStateAcceptors with a custom automaton instance, custom node and edge attributes, custom labels for initial nodes and a flag whether or not the initial nodes are artificial.
FSABuilder<S,I,A extends MutableFSA<S,? super I>> - Class in net.automatalib.util.automata.builders
 
FSABuilder(A) - Constructor for class net.automatalib.util.automata.builders.FSABuilder
 
FSABuilder.FSABuilder__0 - Class in net.automatalib.util.automata.builders
 
FSABuilder.FSABuilder__1 - Class in net.automatalib.util.automata.builders
 
FSABuilder.FSABuilder__2 - Class in net.automatalib.util.automata.builders
 
FSABuilder.FSABuilder__3 - Class in net.automatalib.util.automata.builders
 
FSABuilder__0() - Constructor for class net.automatalib.util.automata.builders.FSABuilder.FSABuilder__0
 
FSABuilder__1() - Constructor for class net.automatalib.util.automata.builders.FSABuilder.FSABuilder__1
 
FSABuilder__2() - Constructor for class net.automatalib.util.automata.builders.FSABuilder.FSABuilder__2
 
FSABuilder__3() - Constructor for class net.automatalib.util.automata.builders.FSABuilder.FSABuilder__3
 
FSAGraphView(A, Collection<? extends I>) - Constructor for class net.automatalib.automata.fsa.FiniteStateAcceptor.FSAGraphView
 
FSAVisualizationHelper<S,I> - Class in net.automatalib.automata.visualization
 
FSAVisualizationHelper(FiniteStateAcceptor<S, I>) - Constructor for class net.automatalib.automata.visualization.FSAVisualizationHelper
 
FSM2DFAParser<I> - Class in net.automatalib.serialization.fsm.parser
Parses an FSM to a DFA.
fsm2Mealy(File, MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in interface net.automatalib.modelcheckers.ltsmin.LTSminAlternating
 
fsm2Mealy(File, MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in interface net.automatalib.modelcheckers.ltsmin.LTSminIO
 
fsm2Mealy(File, MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in interface net.automatalib.modelcheckers.ltsmin.LTSminMealy
Converts the given fsm to a CompactMealy.
FSM2MealyParserAlternating<I,O> - Class in net.automatalib.serialization.fsm.parser
Parses a Mealy machine with alternating edge semantics from an FSM source.
FSM2MealyParserIO<I,O> - Class in net.automatalib.serialization.fsm.parser
Parse a Mealy machine from an FSM source, with straightforward edge semantics.
FSMFormatException - Exception in net.automatalib.serialization.fsm.parser
Exception that may be thrown whenever an FSM is illegal.
FSMFormatException(String) - Constructor for exception net.automatalib.serialization.fsm.parser.FSMFormatException
 
FSMFormatException(String, StreamTokenizer) - Constructor for exception net.automatalib.serialization.fsm.parser.FSMFormatException
 
FSMFormatException(Exception, StreamTokenizer) - Constructor for exception net.automatalib.serialization.fsm.parser.FSMFormatException
 
fullIntAbstraction(Alphabet<I>) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
fullIntAbstraction(Alphabet<I>) - Method in interface net.automatalib.automata.DeterministicAutomaton
 
fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automata.DeterministicAutomaton
 
fullIntAbstraction(Alphabet<I>) - Method in interface net.automatalib.automata.MutableDeterministic
 
fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automata.MutableDeterministic
 
fullIntAbstraction(Alphabet<I>) - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton
Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the mapping induced by the given alphabet as the abstraction for the input symbols.
fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton
Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the given number of (abstract) inputs and the inputs mapping.
fullIntAbstraction(Alphabet<I>) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton
 
fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton
 
FunctionsUtil - Class in net.automatalib.commons.util.functions
This class provides utility methods for Java 8 Function objects (and for the corresponding primitive specializations).

G

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.
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.
get(S) - Method in class net.automatalib.automata.helpers.StateIDGrowingMapping
 
get(S) - Method in class net.automatalib.automata.helpers.StateIDStaticMapping
 
get(ElementReference) - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
 
get(int) - Method in class net.automatalib.commons.smartcollections.ArrayStorage
 
get(ElementReference) - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
get(ElementReference) - Method in class net.automatalib.commons.smartcollections.BinaryHeap
 
get(ElementReference) - Method in interface net.automatalib.commons.smartcollections.SmartCollection
Retrieves an element by its reference.
get(ElementReference) - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
get(int) - Method in class net.automatalib.commons.util.collections.CharRange
 
get(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() - Method in class net.automatalib.util.automata.ads.LYResult
 
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.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.
getActiveCount() - Method in class net.automatalib.commons.util.concurrent.ScalingThreadPoolExecutor
 
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
 
getAdjacentTargets(N) - Method in class net.automatalib.graphs.map.SimpleMapGraph
 
getAlphabet() - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA
 
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.modelchecking.lasso.AbstractLasso
 
getAutomaton() - Method in interface net.automatalib.modelchecking.Lasso
Returns the original automaton from which this lasso is constructed.
getAutomaton() - Method in class net.automatalib.util.automata.random.RandomAutomatonGenerator
 
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.
getCallAlphabet() - Method in class net.automatalib.words.abstractimpl.AbstractVPDAlphabet
 
getCallAlphabet() - Method in interface net.automatalib.words.VPDAlphabet
 
getCallSym(int) - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA
 
getCallSymbol(int) - Method in class net.automatalib.words.abstractimpl.AbstractVPDAlphabet
 
getCallSymbol(int) - Method in interface net.automatalib.words.VPDAlphabet
The Alphabet.getSymbol(int) variant for the call alphabet.
getCallSymbolIndex(I) - Method in class net.automatalib.words.abstractimpl.AbstractVPDAlphabet
 
getCallSymbolIndex(I) - Method in interface net.automatalib.words.VPDAlphabet
The Alphabet.getSymbolIndex(Object) variant for the call alphabet.
getCanonicalSpecVersion() - Static method in class net.automatalib.commons.util.system.JVMUtil
Returns the canonized number of the currently available Java language specification version.
getChild(int) - Method in class net.automatalib.incremental.dfa.tree.Node
Retrieves, for a given index, the respective child of this node.
getChildren() - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSLeafNode
 
getChildren() - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSSymbolNode
 
getChildren() - Method in interface net.automatalib.graphs.ads.RecursiveADSNode
Returns a mapping to the child nodes of this ADS node.
getClearAction() - Method in class net.automatalib.visualization.dot.DOTPanel
 
getColor(Map<String, String>, String, Color) - Static method in class net.automatalib.visualization.jung.JungGraphVisualizationProvider
 
getDescription() - Method in interface net.automatalib.visualization.VisualizationProvider
Returns a description of the provider.
getDot() - Method in class net.automatalib.visualization.dot.DOTComponent
 
getEdge(N, I) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder
 
getEdge() - Method in class net.automatalib.incremental.mealy.tree.AnnotatedEdge
 
getEdge(Node<I, O>, I) - Method in class net.automatalib.incremental.mealy.tree.dynamic.DynamicIncrementalMealyTreeBuilder
 
getEdge(Node<O>, I) - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder
 
getEdgeLabel(E) - Method in interface net.automatalib.graphs.concepts.EdgeLabels
Retrieves the label for an edge.
getEdgeProperties(S, TransitionEdge<I, T>, S, Map<String, String>) - Method in class net.automatalib.automata.visualization.AutomatonVisualizationHelper
 
getEdgeProperties(S, TransitionEdge<I, T>, S, Map<String, String>) - Method in class net.automatalib.automata.visualization.MealyVisualizationHelper
 
getEdgeProperties(N, E, N, Map<String, String>) - Method in class net.automatalib.serialization.dot.DefaultDOTVisualizationHelper
 
getEdgeProperties(N, E, N, Map<String, String>) - Method in class net.automatalib.visualization.DefaultVisualizationHelper
 
getEdgeProperties(N, E, N, Map<String, String>) - Method in class net.automatalib.visualization.helper.AggregateVisualizationHelper
 
getEdgeProperties(N, E, N, Map<String, String>) - Method in class net.automatalib.visualization.helper.DelegateVisualizationHelper
 
getEdgeProperties(N, E, N, Map<String, String>) - Method in class net.automatalib.visualization.helper.PrettyVisualizationHelper
 
getEdgeProperties(N, E, N, Map<String, String>) - Method in interface net.automatalib.visualization.VisualizationHelper
Retrieves the properties for rendering a single edge.
getEdgeProperty(TransitionEdge<I, T>) - Method in class net.automatalib.automata.graphs.UniversalAutomatonGraphView
 
getEdgeProperty(Transition) - Method in class net.automatalib.brics.AbstractBricsAutomaton.GraphView
 
getEdgeProperty(E) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
getEdgeProperty(N) - Method in class net.automatalib.graphs.map.SimpleMapGraph
 
getEdgeProperty(E) - Method in interface net.automatalib.graphs.UniversalIndefiniteGraph
Retrieves the property of a given edge.
getEdgesBetween(N, N) - Method in interface net.automatalib.graphs.IndefiniteGraph
 
getEdgeWeight(E) - Method in interface net.automatalib.graphs.concepts.EdgeWeights
Retrieves the weight of an edge.
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
 
getExtraCommandLineOptions() - Method in class net.automatalib.modelcheckers.ltsmin.AbstractLTSmin
Returns the extra command line options that should be given to the etf2lts-mc binary.
getExtraCommandLineOptions() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.AbstractLTSminLTL
 
getExtraCommandLineOptions() - Method in class net.automatalib.modelcheckers.ltsmin.monitor.AbstractLTSminMonitor
 
getFirst() - Method in class net.automatalib.commons.util.Pair
 
getFirst() - Method in class net.automatalib.commons.util.Triple
 
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.serialization.dot.DefaultDOTVisualizationHelper
 
getGlobalEdgeProperties(Map<String, String>) - Method in class net.automatalib.visualization.helper.AggregateVisualizationHelper
 
getGlobalEdgeProperties(Map<String, String>) - Method in class net.automatalib.visualization.helper.DelegateVisualizationHelper
 
getGlobalEdgeProperties(Map<String, String>) - Method in class net.automatalib.visualization.helper.PrettyVisualizationHelper
 
getGlobalEdgeProperties(Map<String, String>) - Method in interface net.automatalib.visualization.VisualizationHelper
 
getGlobalIndex() - Method in class net.automatalib.words.impl.VPDSym
 
getGlobalNodeProperties(Map<String, String>) - Method in class net.automatalib.serialization.dot.DefaultDOTVisualizationHelper
 
getGlobalNodeProperties(Map<String, String>) - Method in class net.automatalib.visualization.helper.AggregateVisualizationHelper
 
getGlobalNodeProperties(Map<String, String>) - Method in class net.automatalib.visualization.helper.DelegateVisualizationHelper
 
getGlobalNodeProperties(Map<String, String>) - Method in class net.automatalib.visualization.helper.PrettyVisualizationHelper
 
getGlobalNodeProperties(Map<String, String>) - Method in interface net.automatalib.visualization.VisualizationHelper
 
getHypothesisState() - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSLeafNode
 
getHypothesisState() - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSSymbolNode
 
getHypothesisState() - Method in interface net.automatalib.graphs.ads.RecursiveADSNode
Returns the hypothesis state associated with this ADS node.
getId() - Method in class net.automatalib.commons.util.nid.AbstractMutableNumericID
 
getId() - Method in interface net.automatalib.commons.util.nid.NumericID
 
getId() - Method in class net.automatalib.util.minimizer.Block
Retrieves the ID of this block.
getId() - Method in class net.automatalib.visualization.dot.GraphVizBrowserVisualizationProvider
 
getId() - Method in class net.automatalib.visualization.dot.GraphVizSwingVisualizationProvider
 
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
Returns the id of the visualization provider.
getIdentifierPattern() - Static method in class net.automatalib.commons.util.strings.StringUtil
 
getImage() - Method in class net.automatalib.visualization.dot.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.
getIndex() - Method in class net.automatalib.automata.vpda.Location
 
getIndistinguishableStates() - Method in class net.automatalib.util.automata.ads.LYResult
 
getInEdgeList(int) - Method in class net.automatalib.graphs.base.compact.CompactSimpleBidiGraph
 
getInitialLocation() - Method in class net.automatalib.automata.vpda.DefaultOneSEVPA
 
getInitialLocation() - Method in interface net.automatalib.automata.vpda.OneSEVPA
 
getInitialLocation() - Method in class net.automatalib.util.automata.vpda.ProductOneSEVPA
 
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.AbstractIncrementalMealyTreeBuilder.GraphView
 
getInitialNode() - Method in class net.automatalib.util.graphs.sssp.DijkstraSSSP
 
getInitialNode() - Method in interface net.automatalib.util.graphs.sssp.SSSPResult
Retrieves the node the source was started from.
getInitialState() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
getInitialState() - Method in class net.automatalib.automata.base.fast.AbstractFastMutableDet
 
getInitialState() - Method in interface net.automatalib.automata.vpda.OneSEVPA
 
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.AbstractIncrementalMealyTreeBuilder.TransitionSystemView
 
getInitialState() - Method in class net.automatalib.modelchecking.lasso.AbstractLasso
 
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.AbstractFastMutableNondet
 
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.AbstractCompact
 
getInputAlphabet() - Method in class net.automatalib.automata.base.fast.AbstractFastMutable
 
getInputAlphabet() - Method in interface net.automatalib.automata.concepts.InputAlphabetHolder
 
getInputAlphabet() - Method in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder
 
getInputAlphabet() - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder
 
getInputAlphabet() - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder
 
getInputAlphabet() - Method in class net.automatalib.modelchecking.lasso.AbstractLasso
Gets the input alphabet of this automaton.
getInputParser() - Method in class net.automatalib.serialization.fsm.parser.AbstractFSMParser
Gets the function that transforms strings in the FSM file to input.
getInputs() - Method in class net.automatalib.serialization.fsm.parser.AbstractFSMParser
Gets the set that contains all inputs that end up in the input alphabet.
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<O>) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView
 
getInputSymbol(E) - Method in interface net.automatalib.incremental.mealy.IncrementalMealyBuilder.GraphView
 
getInputSymbol(AnnotatedEdge<N, I, O>) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder.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.aut.AUTSerializationProvider
 
getInstance() - Static method in class net.automatalib.serialization.dot.DOTSerializationProvider
 
getInstance() - Static method in class net.automatalib.serialization.etf.writer.DFA2ETFWriter
 
getInstance() - Static method in class net.automatalib.serialization.etf.writer.Mealy2ETFWriterAlternating
 
getInstance() - Static method in class net.automatalib.serialization.etf.writer.Mealy2ETFWriterIO
 
getInstance() - Static method in class net.automatalib.serialization.learnlibv2.LearnLibV2Serialization
 
getInstance() - Static method in class net.automatalib.serialization.saf.SAFSerializationDFA
 
getInstance() - Static method in class net.automatalib.serialization.saf.SAFSerializationNFA
 
getInstance() - Static method in class net.automatalib.serialization.taf.TAFSerializationDFA
 
getInstance() - Static method in class net.automatalib.serialization.taf.TAFSerializationMealy
 
getInstance() - Static method in class net.automatalib.util.automata.random.RandomAutomata
 
getInternalAlphabet() - Method in class net.automatalib.words.abstractimpl.AbstractVPDAlphabet
 
getInternalAlphabet() - Method in interface net.automatalib.words.VPDAlphabet
 
getInternalSuccessor(Location, I) - Method in class net.automatalib.automata.vpda.DefaultOneSEVPA
 
getInternalSuccessor(int) - Method in class net.automatalib.automata.vpda.Location
 
getInternalSuccessor(L, I) - Method in interface net.automatalib.automata.vpda.OneSEVPA
 
getInternalSuccessor(Pair<L1, L2>, I) - Method in class net.automatalib.util.automata.vpda.ProductOneSEVPA
 
getInternalSymbol(int) - Method in class net.automatalib.words.abstractimpl.AbstractVPDAlphabet
 
getInternalSymbol(int) - Method in interface net.automatalib.words.VPDAlphabet
The Alphabet.getSymbol(int) variant for the internal alphabet.
getInternalSymbolIndex(I) - Method in class net.automatalib.words.abstractimpl.AbstractVPDAlphabet
 
getInternalSymbolIndex(I) - Method in interface net.automatalib.words.VPDAlphabet
The Alphabet.getSymbolIndex(Object) variant for the internal alphabet.
getIntInitialState() - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
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.
getIntSource(CompactBidiEdge<EP>) - Method in class net.automatalib.graphs.base.compact.CompactSimpleBidiGraph
 
getIntSuccessor(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic
 
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.transducers.impl.compact.CompactMealy
 
getKeepFiles() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLAlternatingBuilder
 
getKeepFiles() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLDFABuilder
 
getKeepFiles() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLIOBuilder
 
getKeepFiles() - Method in class net.automatalib.modelcheckers.ltsmin.monitor.LTSminMonitorAlternatingBuilder
 
getKeepFiles() - Method in class net.automatalib.modelcheckers.ltsmin.monitor.LTSminMonitorDFABuilder
 
getKeepFiles() - Method in class net.automatalib.modelcheckers.ltsmin.monitor.LTSminMonitorIOBuilder
 
getLabel() - Method in class net.automatalib.util.minimizer.BlockEdge
Retrieves the transition label.
getLocalIndex() - Method in class net.automatalib.words.impl.VPDSym
 
getLocalInputs(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompact
 
getLocalInputs(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
getLocalInputs(S) - Method in class net.automatalib.automata.base.fast.AbstractFastMutableDet
 
getLocalInputs(S) - Method in class net.automatalib.automata.base.fast.AbstractFastMutableNondet
 
getLocalInputs(S) - Method in interface net.automatalib.automata.concepts.StateLocalInput
Returns the collection of input symbols for which a successor state is defined.
getLocalInstance() - Static method in class net.automatalib.util.minimizer.Minimizer
Retrieves the local instance of this minimizer.
getLocation(int) - Method in class net.automatalib.automata.vpda.DefaultOneSEVPA
 
getLocation(int) - Method in interface net.automatalib.automata.vpda.OneSEVPA
 
getLocation() - Method in class net.automatalib.automata.vpda.State
 
getLocation(int) - Method in class net.automatalib.util.automata.vpda.ProductOneSEVPA
 
getLocationId(Location) - Method in class net.automatalib.automata.vpda.DefaultOneSEVPA
 
getLocationId(L) - Method in interface net.automatalib.automata.vpda.OneSEVPA
 
getLocationId(Pair<L1, L2>) - Method in class net.automatalib.util.automata.vpda.ProductOneSEVPA
 
getLocations() - Method in class net.automatalib.automata.vpda.DefaultOneSEVPA
 
getLocations() - Method in interface net.automatalib.automata.vpda.OneSEVPA
 
getLocations() - Method in class net.automatalib.util.automata.vpda.ProductOneSEVPA
 
getLoop() - Method in class net.automatalib.modelchecking.lasso.AbstractLasso
 
getLoop() - Method in interface net.automatalib.modelchecking.Lasso
Gets the loop of the lasso.
getLoopBeginIndices() - Method in class net.automatalib.modelchecking.lasso.AbstractLasso
 
getLoopBeginIndices() - Method in interface net.automatalib.modelchecking.Lasso
The sorted set containing some symbol indices after which the begin state of the loop is visited.
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.
getMinimumRequiredVersion() - Method in class net.automatalib.modelcheckers.ltsmin.AbstractLTSmin
Returns the minimum required version of LTSmin.
getMinimumRequiredVersion() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.AbstractLTSminLTL
 
getMinimumRequiredVersion() - Method in class net.automatalib.modelcheckers.ltsmin.monitor.AbstractLTSminMonitor
 
getMinimumUnfolds() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.AbstractLTSminLTL
 
getMinimumUnfolds() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLAlternatingBuilder
 
getMinimumUnfolds() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLDFABuilder
 
getMinimumUnfolds() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLIOBuilder
 
getMinimumUnfolds() - Method in class net.automatalib.modelchecking.modelchecker.AbstractUnfoldingModelChecker
 
getMinimumUnfolds() - Method in interface net.automatalib.modelchecking.ModelCheckerLasso
Returns the minimum number of times a loop must be unrolled.
getModelChecker() - Method in class net.automatalib.modelchecking.modelchecker.cache.SizeDFAModelCheckerLassoCache
 
getModelChecker() - Method in class net.automatalib.modelchecking.modelchecker.cache.SizeMealyModelCheckerCache
 
getModelChecker() - Method in class net.automatalib.modelchecking.modelchecker.cache.SizeMealyModelCheckerLassoCache
 
getMultiplier() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.AbstractLTSminLTL
 
getMultiplier() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLAlternatingBuilder
 
getMultiplier() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLDFABuilder
 
getMultiplier() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLIOBuilder
 
getMultiplier() - Method in class net.automatalib.modelchecking.modelchecker.AbstractUnfoldingModelChecker
 
getMultiplier() - Method in interface net.automatalib.modelchecking.ModelCheckerLasso
Return the multiplier for the number of times a loop of the lasso must be unrolled, relative to the size of the hypothesis.
getNext() - Method in class net.automatalib.commons.smartcollections.AbstractBasicLinkedListEntry
 
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
Return for a given id the node of the graph identified by it.
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
Returns for a given node of the graph an integer uniquely identifying the node.
getNodeId(N) - Method in class net.automatalib.graphs.helpers.SimpleNodeIDs
 
getNodeProperties(S, Map<String, String>) - Method in class net.automatalib.automata.visualization.FSAVisualizationHelper
 
getNodeProperties(S, Map<String, String>) - Method in class net.automatalib.automata.visualization.MooreVisualizationHelper
 
getNodeProperties(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.serialization.dot.DefaultDOTVisualizationHelper
 
getNodeProperties(N, Map<String, String>) - Method in class net.automatalib.visualization.DefaultVisualizationHelper
 
getNodeProperties(N, Map<String, String>) - Method in class net.automatalib.visualization.helper.AggregateVisualizationHelper
 
getNodeProperties(N, Map<String, String>) - Method in class net.automatalib.visualization.helper.DelegateVisualizationHelper
 
getNodeProperties(N, Map<String, String>) - Method in class net.automatalib.visualization.helper.PrettyVisualizationHelper
 
getNodeProperties(N, Map<String, String>) - Method in interface net.automatalib.visualization.VisualizationHelper
Retrieves the properties for rendering a single node.
getNodeProperty(S) - Method in class net.automatalib.automata.graphs.UniversalAutomatonGraphView
 
getNodeProperty(State) - Method in class net.automatalib.brics.AbstractBricsAutomaton.GraphView
 
getNodeProperty(Integer) - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
getNodeProperty(N) - Method in class net.automatalib.graphs.map.SimpleMapGraph
 
getNodeProperty(N) - Method in interface net.automatalib.graphs.UniversalIndefiniteGraph
Retrieves the property of a given node.
getNodes() - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraphView
 
getNodes() - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA
 
getNodes() - Method in interface net.automatalib.graphs.ads.ADSNode
 
getNodes() - Method in class net.automatalib.graphs.base.compact.AbstractCompactGraph
 
getNodes() - Method in class net.automatalib.graphs.map.SimpleMapGraph
 
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.AbstractIncrementalMealyTreeBuilder.GraphView
 
getNodes() - Method in class net.automatalib.util.tries.SuffixTrie
 
getNodesForRoot(N) - Method in interface net.automatalib.graphs.ads.RecursiveADSNode
A utility method to collect all nodes of a subtree specified by the given root node.
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.
getNumCalls() - Method in class net.automatalib.words.abstractimpl.AbstractVPDAlphabet
 
getNumCalls() - Method in interface net.automatalib.words.VPDAlphabet
 
getNumIncoming() - Method in class net.automatalib.incremental.mealy.dag.State
 
getNumInternals() - Method in class net.automatalib.words.abstractimpl.AbstractVPDAlphabet
 
getNumInternals() - Method in interface net.automatalib.words.VPDAlphabet
 
getNumReturns() - Method in class net.automatalib.words.abstractimpl.AbstractVPDAlphabet
 
getNumReturns() - Method in interface net.automatalib.words.VPDAlphabet
 
getNumStackSymbols() - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA
 
getNumStackSymbols() - Method in interface net.automatalib.automata.vpda.OneSEVPA
 
getNumStackSymbols() - Method in class net.automatalib.util.automata.vpda.ProductOneSEVPA
 
getOriginalStates(S) - Method in class net.automatalib.ts.powerset.DeterministicPowersetView
 
getOriginalStates(Set<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<T>) - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
 
getOriginalTransitions(Set<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(L) - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA
 
getOutgoingEdges(State) - Method in class net.automatalib.brics.AbstractBricsAutomaton.GraphView
 
getOutgoingEdges(N) - Method in interface net.automatalib.graphs.ads.RecursiveADSNode
 
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(N) - Method in class net.automatalib.graphs.map.SimpleMapGraph
 
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<O>) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView
 
getOutgoingEdges(N) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder
 
getOutgoingEdges(N) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder.GraphView
 
getOutgoingEdges(Node<I, O>) - Method in class net.automatalib.incremental.mealy.tree.dynamic.DynamicIncrementalMealyTreeBuilder
 
getOutgoingEdges(Node<O>) - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder
 
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.transducers.impl.compact.CompactMealyTransition
 
getOutput() - Method in class net.automatalib.automata.transducers.impl.FastMooreState
Retrieves the output symbol generated by this state.
getOutput() - Method in class net.automatalib.automata.transducers.impl.MealyTransition
Retrieves the output symbol.
getOutput() - Method in class net.automatalib.automata.transducers.probabilistic.ProbabilisticOutput
 
getOutput(int) - Method in class net.automatalib.incremental.mealy.dag.State
 
getOutput() - Method in class net.automatalib.incremental.mealy.tree.AnnotatedEdge
 
getOutput() - Method in class net.automatalib.incremental.mealy.tree.Edge
 
getOutput() - Method in class net.automatalib.modelchecking.lasso.AbstractLasso
 
getOutput() - Method in interface net.automatalib.modelchecking.Lasso
Gets the finite representation of the output of the lasso.
getOutput(S, I) - Method in interface net.automatalib.ts.output.DeterministicTransitionOutputTS
Retrieves the output for the given input symbol in the given state.
getOutputForSuccessor(ADSNode<S, I, O>, ADSNode<S, I, O>) - Static method in class net.automatalib.util.automata.ads.ADSUtil
 
getOutputParser() - Method in class net.automatalib.serialization.fsm.parser.AbstractFSM2MealyParser
Gets the Function that transforms strings from the FSM source to actual output.
getOutputSymbol(TransitionRecord<O>) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView
 
getOutputSymbol(E) - Method in interface net.automatalib.incremental.mealy.IncrementalMealyBuilder.GraphView
 
getOutputSymbol(AnnotatedEdge<N, I, O>) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder.GraphView
 
getParent() - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSLeafNode
 
getParent() - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSSymbolNode
 
getParent() - Method in interface net.automatalib.graphs.ads.RecursiveADSNode
Returns the parent node of this node.
getParent() - Method in class net.automatalib.util.tries.SuffixTrieNode
 
getParser(Collection<? extends I>, Function<String, I>, String, String) - Static method in class net.automatalib.serialization.fsm.parser.FSM2DFAParser
 
getParser(Function<String, I>, String, String) - Static method in class net.automatalib.serialization.fsm.parser.FSM2DFAParser
 
getParser(Collection<? extends I>, Output<I, Word<O>>, Function<String, I>, Function<String, O>) - Static method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserAlternating
 
getParser(Function<String, I>, Function<String, O>) - Static method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserAlternating
 
getParser(Collection<? extends E>, Output<E, Word<E>>, Function<String, E>) - Static method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserAlternating
 
getParser(Function<String, E>) - Static method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserAlternating
 
getParser(Collection<? extends I>, Function<String, I>, Function<String, O>) - Static method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserIO
 
getParser(Function<String, I>, Function<String, O>) - Static method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserIO
 
getParser(Collection<? extends E>, Function<String, E>) - Static method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserIO
 
getParser(Function<String, E>) - Static method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserIO
 
getPartLineNumber() - Method in class net.automatalib.serialization.fsm.parser.AbstractFSMParser
Returns the line number that is being parsed in the current part.
getPrefix() - Method in class net.automatalib.modelchecking.lasso.AbstractLasso
 
getPrefix() - Method in interface net.automatalib.modelchecking.Lasso
Gets the prefix of the lasso.
getPrev() - Method in class net.automatalib.commons.smartcollections.AbstractBasicLinkedListEntry
 
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.AbstractSystemPropertiesSource
 
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.visualization.dot.GraphVizBrowserVisualizationProvider
 
getPriority() - Method in class net.automatalib.visualization.dot.GraphVizSwingVisualizationProvider
 
getPriority() - Method in class net.automatalib.visualization.DummyVP
 
getPriority() - Method in interface net.automatalib.visualization.VisualizationProvider
Returns the priority of the provider.
getProbability() - Method in class net.automatalib.automata.transducers.probabilistic.ProbabilisticOutput
 
getProperty() - Method in class net.automatalib.automata.graphs.TransitionEdge.Property
 
getProperty(AutomataLibProperty) - Method in class net.automatalib.AutomataLibSettings
 
getProperty(AutomataLibProperty, String) - Method in class net.automatalib.AutomataLibSettings
 
getProperty() - Method in class net.automatalib.graphs.base.compact.CompactEdge
 
getPropertyKey() - Method in enum net.automatalib.AutomataLibProperty
Returns the actual system property key of the property.
getProviderById(String) - Method in class net.automatalib.visualization.VPManager
 
getRandom() - Method in class net.automatalib.commons.util.random.RandomUtil
 
getRenameAction() - Method in class net.automatalib.visualization.dot.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.
getReturnAlphabet() - Method in class net.automatalib.words.abstractimpl.AbstractVPDAlphabet
 
getReturnAlphabet() - Method in interface net.automatalib.words.VPDAlphabet
 
getReturnSuccessor(Location, I, int) - Method in class net.automatalib.automata.vpda.DefaultOneSEVPA
 
getReturnSuccessor(int, int) - Method in class net.automatalib.automata.vpda.Location
 
getReturnSuccessor(L, I, int) - Method in interface net.automatalib.automata.vpda.OneSEVPA
 
getReturnSuccessor(Pair<L1, L2>, I, int) - Method in class net.automatalib.util.automata.vpda.ProductOneSEVPA
 
getReturnSymbol(int) - Method in class net.automatalib.words.abstractimpl.AbstractVPDAlphabet
 
getReturnSymbol(int) - Method in interface net.automatalib.words.VPDAlphabet
The Alphabet.getSymbol(int) variant for the return alphabet.
getReturnSymbolIndex(I) - Method in class net.automatalib.words.abstractimpl.AbstractVPDAlphabet
 
getReturnSymbolIndex(I) - Method in interface net.automatalib.words.VPDAlphabet
The Alphabet.getSymbolIndex(Object) variant for the return alphabet.
getRoot() - Method in class net.automatalib.util.tries.SuffixTrie
Returns the root of this trie.
getSaveDotAction() - Method in class net.automatalib.visualization.dot.DOTComponent
 
getSaveDotAction() - Method in class net.automatalib.visualization.dot.DOTPanel
 
getSavePngAction() - Method in class net.automatalib.visualization.dot.DOTPanel
 
getSavePngAction() - Method in class net.automatalib.visualization.dot.ImageComponent
Retrieves an Action to save the image in a PNG file.
getSCCList() - Method in class net.automatalib.util.graphs.scc.SCCCollector
 
getSecond() - Method in class net.automatalib.commons.util.Pair
 
getSecond() - Method in class net.automatalib.commons.util.Triple
 
getSecondTS() - Method in class net.automatalib.ts.comp.DTSComposition
 
getShortestPath(N, N) - Method in interface net.automatalib.util.graphs.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.util.graphs.apsp.FloydWarshallAPSP
 
getShortestPath(N) - Method in class net.automatalib.util.graphs.sssp.DijkstraSSSP
 
getShortestPath(N) - Method in interface net.automatalib.util.graphs.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.util.graphs.apsp.APSPResult
Retrieves the length of the shortest path between the given nodes.
getShortestPathDistance(N, N) - Method in class net.automatalib.util.graphs.apsp.FloydWarshallAPSP
 
getShortestPathDistance(N) - Method in class net.automatalib.util.graphs.sssp.DijkstraSSSP
 
getShortestPathDistance(N) - Method in interface net.automatalib.util.graphs.sssp.SSSPResult
Retrieves the length of the shortest path from the initial node to the given one.
getShortestPathEdge(N) - Method in class net.automatalib.util.graphs.sssp.DijkstraSSSP
 
getShortestPathEdge(N) - Method in interface net.automatalib.util.graphs.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
 
getSkipOutputs() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.AbstractLTSminLTLMealy
Gets a set of outputs that need to be skipped while writing the Mealy machine to ETF.
getSkipOutputs() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLAlternatingBuilder
 
getSkipOutputs() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLIOBuilder
 
getSkipOutputs() - Method in class net.automatalib.modelcheckers.ltsmin.monitor.AbstractLTSminMonitorMealy
Gets a set of outputs that need to be skipped while writing the Mealy machine to ETF.
getSkipOutputs() - Method in class net.automatalib.modelcheckers.ltsmin.monitor.LTSminMonitorAlternatingBuilder
 
getSkipOutputs() - Method in class net.automatalib.modelcheckers.ltsmin.monitor.LTSminMonitorIOBuilder
 
getSkipOutputs() - Method in interface net.automatalib.modelchecking.ModelChecker.MealyModelChecker
Returns the outputs for which all transitions should be removed.
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.
getStackContents() - Method in class net.automatalib.automata.vpda.State
 
getStackLoc(int) - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA
 
getState(int) - Method in class net.automatalib.automata.base.compact.AbstractCompact
 
getState(Iterable<? extends I>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic
 
getState(int) - Method in class net.automatalib.automata.base.fast.AbstractFastMutable
 
getState(int) - Method in interface net.automatalib.automata.concepts.StateIDs
Return for a given id the state of the automaton identified by it.
getState(int) - Method in class net.automatalib.automata.helpers.SimpleStateIDs
 
getState(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.AbstractCompact
 
getStateId(S) - Method in class net.automatalib.automata.base.fast.AbstractFastMutable
 
getStateId(S) - Method in interface net.automatalib.automata.concepts.StateIDs
Returns for a given state of the automaton an integer uniquely identifying the state.
getStateId(S) - Method in class net.automatalib.automata.helpers.SimpleStateIDs
 
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(Integer) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMoore
 
getStateOutput(FastMooreState<O>) - Method in class net.automatalib.automata.transducers.impl.FastMoore
 
getStateProperty(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
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.transducers.impl.compact.CompactMealy
 
getStateProperty(FastProbMealyState<O>) - Method in class net.automatalib.automata.transducers.impl.FastProbMealy
 
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.output.MealyTransitionSystem
 
getStateProperty(S) - Method in interface net.automatalib.ts.output.MooreTransitionSystem
 
getStateProperty(S) - Method in interface net.automatalib.ts.UniversalTransitionSystem
Retrieves the state property for the given state.
getStates() - Method in class net.automatalib.automata.base.compact.AbstractCompact
 
getStates() - Method in class net.automatalib.automata.base.fast.AbstractFastMutable
 
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() - Method in class net.automatalib.modelchecking.lasso.AbstractLasso
 
getStates() - Method in class net.automatalib.serialization.fsm.parser.AbstractFSM2MealyParser
Gets the sorted set of states for the Mealy machine.
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
 
getStreamTokenizer(Reader) - Method in class net.automatalib.serialization.fsm.parser.AbstractFSMParser
Gets the StreamTokenizer, that tokenizes tokens in the FSM file.
getString2Input() - Method in class net.automatalib.modelcheckers.ltsmin.AbstractLTSmin
 
getString2Input() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLAlternatingBuilder
 
getString2Input() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLDFABuilder
 
getString2Input() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLIOBuilder
 
getString2Input() - Method in interface net.automatalib.modelcheckers.ltsmin.LTSmin
Returns the function that transforms edges in FSM files to actual input.
getString2Input() - Method in class net.automatalib.modelcheckers.ltsmin.monitor.LTSminMonitorAlternatingBuilder
 
getString2Input() - Method in class net.automatalib.modelcheckers.ltsmin.monitor.LTSminMonitorDFABuilder
 
getString2Input() - Method in class net.automatalib.modelcheckers.ltsmin.monitor.LTSminMonitorIOBuilder
 
getString2Output() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.AbstractLTSminLTLMealy
Gets a function that transforms edges in the FSM file to actual output.
getString2Output() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLAlternatingBuilder
 
getString2Output() - Method in class net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLIOBuilder
 
getString2Output() - Method in interface net.automatalib.modelcheckers.ltsmin.LTSminMealy
Gets a function that transforms edges in the FSM file to actual output.
getString2Output() - Method in class net.automatalib.modelcheckers.ltsmin.monitor.AbstractLTSminMonitorMealy
Gets a function that transforms edges in the FSM file to actual output.
getString2Output() - Method in class net.automatalib.modelcheckers.ltsmin.monitor.LTSminMonitorAlternatingBuilder
 
getString2Output() - Method in class net.automatalib.modelcheckers.ltsmin.monitor.LTSminMonitorIOBuilder
 
getSuccessor(T) - Method in class net.automatalib.automata.base.compact.AbstractCompactDeterministic
 
getSuccessor(Integer, Iterable<? extends I>) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic
 
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.transducers.impl.FastMealy
 
getSuccessor(FastMooreState<O>) - Method in class net.automatalib.automata.transducers.impl.FastMoore
 
getSuccessor(MealyTransition<FastProbMealyState<O>, ProbabilisticOutput<O>>) - Method in class net.automatalib.automata.transducers.impl.FastProbMealy
 
getSuccessor() - Method in class net.automatalib.automata.transducers.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<O>) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.AutomatonView
 
getSuccessor(int) - Method in class net.automatalib.incremental.mealy.dag.State
 
getSuccessor(Edge<N, O>) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder.TransitionSystemView
 
getSuccessor(Integer, I) - Method in class net.automatalib.modelchecking.lasso.AbstractLasso
Get the successor state of a given state, or null when no such successor exists.
getSuccessor(Integer) - Method in class net.automatalib.modelchecking.lasso.MealyLassoImpl
 
getSuccessor(S) - Method in interface net.automatalib.ts.acceptors.AcceptorTS
 
getSuccessor(Pair<T1, T2>) - Method in class net.automatalib.ts.comp.DTSComposition
 
getSuccessor(Pair<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<T>) - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
 
getSuccessor(Set<S>, I) - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
 
getSuccessor(Set<T>) - Method in class net.automatalib.ts.powerset.FastPowersetDTS
 
getSuccessor(FastPowersetState<S>, I) - Method in class net.automatalib.ts.powerset.FastPowersetDTS
 
getSuccessor(S, Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleDTS
Retrieves the successor state reachable by the given sequence of input symbols.
getSuccessor(S, I) - Method in interface net.automatalib.ts.simple.SimpleDTS
Retrieves the successor state reachable by the given input symbol.
getSuccessor(T) - Method in interface net.automatalib.ts.TransitionSystem
Retrieves the successor state of a given transition.
getSuccessors(S, I) - Method in interface net.automatalib.ts.DeterministicTransitionSystem
 
getSuccessors(S, Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleDTS
 
getSuccessors(S, I) - Method in interface net.automatalib.ts.simple.SimpleDTS
 
getSuccessors(S, Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleTS
Retrieves the set of successors for the given sequence of input symbols.
getSuccessors(Collection<? extends S>, Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleTS
Retrieves the set of all successors that can be reached from any of the given source states by the specified sequence of input symbols.
getSuccessors(S, I) - Method in interface net.automatalib.ts.simple.SimpleTS
Retrieves the set of successors for the given input symbol.
getSuccessors(S, I) - Method in interface net.automatalib.ts.TransitionSystem
 
getSuccId() - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealyTransition
 
getSuffix() - Method in class net.automatalib.util.tries.SuffixTrieNode
 
getSymbol() - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSLeafNode
 
getSymbol() - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSSymbolNode
 
getSymbol() - Method in interface net.automatalib.graphs.ads.RecursiveADSNode
Returns the input symbol associated with this ADS node.
getSymbol() - Method in class net.automatalib.util.tries.SuffixTrieNode
 
getSymbol(int) - Method in class net.automatalib.util.tries.SuffixTrieNode
 
getSymbol(SuffixTrieNode<I>, int) - Static method in class net.automatalib.util.tries.SuffixTrieNode
 
getSymbol(int) - Method in class net.automatalib.words.abstractimpl.AbstractVPDAlphabet
 
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.DefaultVPDAlphabet
 
getSymbol(int) - Method in class net.automatalib.words.impl.FastAlphabet
 
getSymbol(int) - Method in class net.automatalib.words.impl.GrowingVPDAlphabet
 
getSymbol(int) - Method in class net.automatalib.words.impl.ListAlphabet
 
getSymbol(int) - Method in class net.automatalib.words.impl.MapAlphabet
 
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 class net.automatalib.automata.base.compact.AbstractCompact
 
getSymbolIndex(I) - Method in class net.automatalib.words.abstractimpl.AbstractVPDAlphabet
 
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(VPDSym<I>) - Method in class net.automatalib.words.impl.GrowingVPDAlphabet
 
getSymbolIndex(I) - Method in class net.automatalib.words.impl.ListAlphabet
 
getSymbolIndex(I) - Method in class net.automatalib.words.impl.MapAlphabet
 
getSymbolType(I) - Method in class net.automatalib.words.abstractimpl.AbstractVPDAlphabet
 
getSymbolType(VPDSym<I>) - Method in class net.automatalib.words.impl.GrowingVPDAlphabet
 
getSymbolType(I) - Method in interface net.automatalib.words.VPDAlphabet
Returns the symbol type of the given alphabet symbol.
getTarget(TransitionEdge<I, T>) - Method in class net.automatalib.automata.graphs.AutomatonGraphView
 
getTarget(AbstractOneSEVPA.SevpaViewEdge<L, I>) - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA
 
getTarget(Transition) - Method in class net.automatalib.brics.AbstractBricsAutomaton.GraphView
 
getTarget(N) - Method in interface net.automatalib.graphs.ads.RecursiveADSNode
 
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(N) - Method in class net.automatalib.graphs.map.SimpleMapGraph
 
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<O>) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView
 
getTarget(AnnotatedEdge<N, I, O>) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder.GraphView
 
getTarget() - Method in class net.automatalib.incremental.mealy.tree.AnnotatedEdge
 
getTarget() - Method in class net.automatalib.incremental.mealy.tree.Edge
 
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
 
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(int, int) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic
 
getTransition(S, I) - Method in class net.automatalib.automata.base.fast.AbstractFastMutableDet
 
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(int, int) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealy
 
getTransition(State<L>, I) - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA
 
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<O>, I) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.AutomatonView
 
getTransition(N, I) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder.TransitionSystemView
 
getTransition(Integer, I) - Method in class net.automatalib.modelchecking.lasso.AbstractLasso
 
getTransition(Pair<S1, S2>, I) - Method in class net.automatalib.ts.comp.DTSComposition
 
getTransition(S, I) - Method in interface net.automatalib.ts.DeterministicTransitionSystem
Retrieves the transition triggered by the given input symbol.
getTransition(S, I) - Method in class net.automatalib.ts.powerset.DeterministicPowersetView
 
getTransition(Set<S>, I) - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
 
getTransition(FastPowersetState<S>, I) - Method in class net.automatalib.ts.powerset.FastPowersetDTS
 
getTransitionObject(int) - Method in class net.automatalib.automata.base.fast.AbstractFastState
 
getTransitionOutput(T) - Method in interface net.automatalib.automata.concepts.TransitionOutput
 
getTransitionOutput(CompactMealyTransition<O>) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealy
 
getTransitionOutput(MealyTransition<FastMealyState<O>, O>) - Method in class net.automatalib.automata.transducers.impl.FastMealy
 
getTransitionOutput(MealyTransition<FastProbMealyState<O>, ProbabilisticOutput<O>>) - Method in class net.automatalib.automata.transducers.impl.FastProbMealy
 
getTransitionOutput(TransitionRecord<O>) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.AutomatonView
 
getTransitionOutput(Edge<N, O>) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder.TransitionSystemView
 
getTransitionOutput(Integer) - Method in class net.automatalib.modelchecking.lasso.MealyLassoImpl
 
getTransitionOutput(Pair<T1, T2>) - Method in class net.automatalib.util.ts.transducers.DetMealyComposition
 
getTransitionProbability(T) - Method in interface net.automatalib.automata.concepts.Probabilistic
 
getTransitionProbability(MealyTransition<FastProbMealyState<O>, ProbabilisticOutput<O>>) - Method in class net.automatalib.automata.transducers.impl.FastProbMealy
 
getTransitionProperty(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleDeterministic
 
getTransitionProperty(Integer) - Method in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
getTransitionProperty(CompactMealyTransition<O>) - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealy
 
getTransitionProperty(MealyTransition<FastProbMealyState<O>, ProbabilisticOutput<O>>) - Method in class net.automatalib.automata.transducers.impl.FastProbMealy
 
getTransitionProperty(T) - Method in interface net.automatalib.automata.transducers.probabilistic.ProbabilisticMealyMachine
 
getTransitionProperty(T) - Method in class net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
 
getTransitionProperty(int, int) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction
 
getTransitionProperty(T) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton.IntAbstraction
Retrieves the transition property of a given transition.
getTransitionProperty(T) - Method in class net.automatalib.automata.UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction
 
getTransitionProperty(int, I) - Method in interface net.automatalib.automata.UniversalDeterministicAutomaton.StateIntAbstraction
 
getTransitionProperty(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.output.MealyTransitionSystem
 
getTransitionProperty(S, I) - Method in interface net.automatalib.ts.output.MooreTransitionSystem
 
getTransitionProperty(T) - Method in interface net.automatalib.ts.output.MooreTransitionSystem
 
getTransitionProperty(S, I) - Method in interface net.automatalib.ts.UniversalDTS
Retrieves the transition property of the outgoing transition corresponding to the given state and input, if it exists.
getTransitionProperty(T) - Method in interface net.automatalib.ts.UniversalTransitionSystem
Retrieves the transition property for the given state.
getTransitions(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.AbstractFastMutableNondet
 
getTransitions(State, Character) - Method in class net.automatalib.brics.AbstractBricsAutomaton
 
getTransitions() - Method in class net.automatalib.serialization.fsm.parser.AbstractFSM2MealyParser
Gets the map of transitions for the Mealy machine.
getTransitions(Pair<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.
getType() - Method in class net.automatalib.words.impl.VPDSym
 
getUnfolds() - Method in class net.automatalib.modelchecking.lasso.AbstractLasso
 
getUnfolds() - Method in interface net.automatalib.modelchecking.Lasso
Returns the number of times the loop is unfolded.
getUserObject() - Method in class net.automatalib.words.impl.Symbol
 
getUserObject() - Method in class net.automatalib.words.impl.VPDSym
 
getVersion() - Static method in class net.automatalib.modelcheckers.ltsmin.LTSminUtil
Returns the detected version of the LTSmin installation.
getVisualizationHelper() - Method in class net.automatalib.automata.fsa.FiniteStateAcceptor.FSAGraphView
 
getVisualizationHelper() - Method in class net.automatalib.automata.graphs.AutomatonGraphView
 
getVisualizationHelper() - Method in class net.automatalib.automata.transducers.MealyMachine.MealyGraphView
 
getVisualizationHelper() - Method in class net.automatalib.automata.transducers.MooreMachine.MooreGraphView
 
getVisualizationHelper() - Method in class net.automatalib.automata.vpda.AbstractOneSEVPA
 
getVisualizationHelper() - Method in class net.automatalib.brics.AbstractBricsAutomaton.GraphView
 
getVisualizationHelper() - Method in interface net.automatalib.graphs.ads.RecursiveADSNode
 
getVisualizationHelper() - Method in interface net.automatalib.graphs.Graph
 
getVisualizationHelper() - Method in interface net.automatalib.graphs.SimpleGraph
 
getVisualizationHelper() - Method in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder.AbstractGraphView
 
getVisualizationHelper() - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.GraphView
 
getVisualizationHelper() - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.GraphView
 
getVisualizationHelper() - Method in class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder.AbstractGraphView
 
getVisualizationHelper() - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView
 
getVisualizationHelper() - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder.GraphView
 
getVisualizationHelper() - Method in class net.automatalib.util.tries.SuffixTrie
 
getWord() - Method in class net.automatalib.modelchecking.lasso.AbstractLasso
 
getWord() - Method in interface net.automatalib.modelchecking.Lasso
Gets the finite representation of the lasso.
Graph<N,E> - Interface in net.automatalib.graphs
Graph interface.
graph() - Static method in class net.automatalib.serialization.dot.DOTParsers
Default parser for (directed) Graphs serialized by AutomataLib.
graph(Function<Map<String, String>, NP>, Function<Map<String, String>, EP>) - Static method in class net.automatalib.serialization.dot.DOTParsers
Parser for (directed) Graphs with custom node and edge attributes.
graph(Supplier<G>, Function<Map<String, String>, NP>, Function<Map<String, String>, EP>) - Static method in class net.automatalib.serialization.dot.DOTParsers
Parser for (directed) Graphs with a custom graph instance and custom node and edge attributes.
GraphCopy - Class in net.automatalib.util.graphs.copy
 
GraphDOT - Class in net.automatalib.serialization.dot
Methods for rendering a Graph or Automaton in the GraphVIZ DOT format.
Graphs - Class in net.automatalib.util.graphs
 
GraphTraversal - Class in net.automatalib.util.graphs.traversal
 
GraphTraversalAction - Enum in net.automatalib.util.graphs.traversal
The type of a GraphTraversalAction to be performed.
GraphTraversalVisitor<N,E,D> - Interface in net.automatalib.util.graphs.traversal
Visitor interface for graph traversals.
graphView() - 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.AbstractIncrementalMealyTreeBuilder.GraphView
 
GraphViewable - Interface in net.automatalib.graphs.concepts
 
GraphVizBrowserVisualizationProvider - Class in net.automatalib.visualization.dot
 
GraphVizBrowserVisualizationProvider() - Constructor for class net.automatalib.visualization.dot.GraphVizBrowserVisualizationProvider
 
GraphVizSwingVisualizationProvider - Class in net.automatalib.visualization.dot
 
GraphVizSwingVisualizationProvider() - Constructor for class net.automatalib.visualization.dot.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.
GrowingAlphabetNotSupportedException - Exception in net.automatalib.exception
An exception to be thrown when functionality revolving around GrowingAlphabet.addSymbol(Object) is accessed (e.g. by trying to add an alphabet symbol to an automaton) but the given data structure was not properly set up (e.g.
GrowingAlphabetNotSupportedException(Alphabet<I>) - Constructor for exception net.automatalib.exception.GrowingAlphabetNotSupportedException
 
GrowingMapAlphabet<I> - Class in net.automatalib.words.impl
An extension of the MapAlphabet that also allows adding new symbol after construction.
GrowingMapAlphabet() - Constructor for class net.automatalib.words.impl.GrowingMapAlphabet
 
GrowingMapAlphabet(Collection<? extends I>) - Constructor for class net.automatalib.words.impl.GrowingMapAlphabet
 
GrowingVPDAlphabet<I> - Class in net.automatalib.words.impl
A VPDAlphabet implementation that allows to add new symbols after its construction.
GrowingVPDAlphabet() - Constructor for class net.automatalib.words.impl.GrowingVPDAlphabet
 

H

hasDefinitiveInformation(Word<? extends I>) - Method in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder
 
hasDefinitiveInformation(Word<? extends I>) - Method in interface net.automatalib.incremental.IncrementalConstruction
Checks whether this class has definitive information about a given word.
hasDefinitiveInformation(Word<? extends I>) - Method in class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder
 
hasDefinitiveInformation(Word<? extends I>) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder
 
hashCode() - Method in class net.automatalib.automata.graphs.TransitionEdge
 
hashCode() - Method in class net.automatalib.automata.graphs.TransitionEdge.Property
 
hashCode() - Method in class net.automatalib.automata.transducers.impl.compact.CompactMealyTransition
 
hashCode() - Method in class net.automatalib.automata.transducers.probabilistic.ProbabilisticOutput
 
hashCode() - Method in class net.automatalib.brics.BricsTransitionProperty
 
hashCode() - Method in class net.automatalib.commons.smartcollections.ArrayStorage
 
hashCode() - Method in class net.automatalib.commons.util.Pair
 
hashCode() - Method in class net.automatalib.commons.util.Triple
 
hashCode() - Method in class net.automatalib.modelcheckers.ltsmin.LTSminVersion
 
hashCode() - Method in class net.automatalib.ts.powerset.FastPowersetState
 
hashCode() - Method in class net.automatalib.util.partitionrefinement.StateSignature
 
hashCode() - Method in class net.automatalib.words.impl.Symbol
 
hashCode() - Method in class net.automatalib.words.impl.VPDSym
 
hashCode() - Method in class net.automatalib.words.Word
 
hasNext() - Method in class net.automatalib.commons.util.BitSetIterator
 
hasNext() - Method in class net.automatalib.commons.util.collections.AbstractThreeLevelIterator
 
hasNext() - Method in class net.automatalib.commons.util.collections.AbstractTwoLevelIterator
 
hasNext() - Method in class net.automatalib.commons.util.collections.CharRangeIterator
 
hasNext() - Method in class net.automatalib.commons.util.collections.CharStringRangeIterator
 
hasNext() - Method in class net.automatalib.commons.util.collections.IntRangeIterator
 
hasNext() - Method in class net.automatalib.util.automata.conformance.IncrementalWMethodTestsIterator
 
hasNext() - Method in class net.automatalib.util.ts.traversal.BFSOrderIterator
 
hasPrevious() - Method in class net.automatalib.commons.util.collections.CharRangeIterator
 
hasPrevious() - Method in class net.automatalib.commons.util.collections.CharStringRangeIterator
 
hasPrevious() - Method in class net.automatalib.commons.util.collections.IntRangeIterator
 
hasUndefinedInput(Automaton<?, I, ?>, Iterable<? extends I>) - Static method in class net.automatalib.util.automata.Automata
 
hasVisited(N) - Method in class net.automatalib.util.graphs.scc.TarjanSCCVisitor
 
HEIGHT - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeAttrs
 
hiddenClone(State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder
 
hide(State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder
 
high - Variable in class net.automatalib.util.partitionrefinement.Block
The index of the last element in this block in the PaigeTarjan.blockData array, plus one.
hintNextCapacity(int) - Method in class net.automatalib.commons.smartcollections.BinaryHeap
 
hintNextCapacity(int) - Method in interface net.automatalib.commons.smartcollections.CapacityManagement
Gives a hint regarding the capacity that should be reserved when resizing the internal storage for the next time.
hintNextCapacity(int) - Method in class net.automatalib.commons.smartcollections.ResizingArrayStorage
 
hintNextCapacity(int) - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
Holder<T> - Class in net.automatalib.commons.util
 
Holder() - Constructor for class net.automatalib.commons.util.Holder
 
HopcroftMinimization - Class in net.automatalib.util.automata.minimizer.hopcroft
Versions of Hopcroft's minimization algorithm for deterministic finite automata.
HopcroftMinimization.PruningMode - Enum in net.automatalib.util.automata.minimizer.hopcroft
Allows for controlling how automata are pruned during minimization.

I

id - Variable in class net.automatalib.commons.util.nid.AbstractMutableNumericID
 
id - Variable in class net.automatalib.serialization.dot.Node
 
id - Variable in class net.automatalib.util.partitionrefinement.Block
 
ID - Static variable in class net.automatalib.visualization.dot.GraphVizBrowserVisualizationProvider
ID - Static variable in class net.automatalib.visualization.dot.GraphVizSwingVisualizationProvider
ID - Static variable in class net.automatalib.visualization.DummyVP
ID - Static variable in class net.automatalib.visualization.jung.JungGraphVisualizationProvider
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.visualization.dot
Component that displays a BufferedImage.
ImageComponent() - Constructor for class net.automatalib.visualization.dot.ImageComponent
Default constructor.
ImageComponent(BufferedImage) - Constructor for class net.automatalib.visualization.dot.ImageComponent
Constructor.
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(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(OneSEVPA<L1, I>, OneSEVPA<L2, I>, VPDAlphabet<I>) - Static method in class net.automatalib.util.automata.vpda.OneSEVPAs
Calculates the implication ("=>") of two SEVPA, and stores the result in a given mutable SEVPA.
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
 
incrementalCharacterizingSetIterator(UniversalDeterministicAutomaton<S, I, T, ?, ?>, Collection<? extends I>, Collection<? extends Word<I>>) - Static method in class net.automatalib.util.automata.equivalence.CharacterizingSets
 
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.cover.Covers
Utility method that allows to compute an incremental state and transition cover simultaneously.
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.
IncrementalDFATreeBuilder<I> - Class in net.automatalib.incremental.dfa.tree
Incrementally builds a tree, from a set of positive and negative words.
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
 
IncrementalMealyTreeBuilder<I,O> - Class in net.automatalib.incremental.mealy.tree
 
IncrementalMealyTreeBuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder
 
IncrementalPCDFADAGBuilder<I> - Class in net.automatalib.incremental.dfa.dag
The prefix-closed version of IncrementalDFADAGBuilder.
IncrementalPCDFADAGBuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.dfa.dag.IncrementalPCDFADAGBuilder
 
IncrementalPCDFATreeBuilder<I> - Class in net.automatalib.incremental.dfa.tree
The prefix-closed version of IncrementalDFATreeBuilder.
IncrementalPCDFATreeBuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.dfa.tree.IncrementalPCDFATreeBuilder
 
IncrementalPCDFATreeBuilder.TransitionSystemView - Class in net.automatalib.incremental.dfa.tree
 
incrementalStateCover(DeterministicAutomaton<S, I, ?>, Collection<? extends I>, Collection<? extends Word<I>>, Collection<? super Word<I>>) - Static method in class net.automatalib.util.automata.cover.Covers
Computes an incremental state cover for a given automaton, i.e. a cover that only contains the missing sequences for obtaining a complete state cover.
incrementalStateCoverIterator(DeterministicAutomaton<?, I, ?>, Collection<? extends I>, Collection<? extends Word<I>>) - Static method in class net.automatalib.util.automata.cover.Covers
Returns an iterator for the remaining sequences of a state cover.
incrementalStructuralCover(DeterministicAutomaton<?, I, ?>, Collection<? extends I>, Collection<? extends Word<I>>, Collection<? super Word<I>>) - Static method in class net.automatalib.util.automata.cover.Covers
Computes an incremental structural cover for a given automaton, i.e. a cover that only contains the missing sequences for obtaining a complete structural cover.
incrementalTransitionCover(DeterministicAutomaton<?, I, ?>, Collection<? extends I>, Collection<? extends Word<I>>, Collection<? super Word<I>>) - Static method in class net.automatalib.util.automata.cover.Covers
Computes an incremental transition cover for a given automaton, i.e. a cover that only contains the missing sequences for obtaining a complete transition cover.
incrementalTransitionCoverIterator(DeterministicAutomaton<?, I, ?>, Collection<? extends I>, Collection<? extends Word<I>>) - Static method in class net.automatalib.util.automata.cover.Covers
Returns an iterator for the remaining sequences of a transition cover.
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
 
indexMap - Variable in class net.automatalib.words.impl.MapAlphabet
 
indexOf(Object) - Method in class net.automatalib.commons.util.collections.CharRange
 
indexOf(char) - Method in class net.automatalib.commons.util.collections.CharRange
 
indexOf(Object) - Method in class net.automatalib.commons.util.collections.CharStringRange
 
indexOf(String) - Method in class net.automatalib.commons.util.collections.CharStringRange
 
indexToString() - Static method in class net.automatalib.commons.util.mappings.Mappings
 
indexToString(long) - Static method in class net.automatalib.commons.util.mappings.StringIndexMapping
 
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
Automatically creates a PaigeTarjan.blockForState mapping, and sets it as the current one.
initCompleteDeterministic(PaigeTarjan, UniversalDeterministicAutomaton.FullIntAbstraction<?, ?, ?>, 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.FullIntAbstraction, IntFunction<?>, 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.
initial - Variable in class net.automatalib.automata.base.compact.AbstractCompactSimpleNondet
 
INITIAL - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeAttrs
 
initialClassifier(UniversalDeterministicAutomaton.FullIntAbstraction<?, ?, ?>) - Method in enum net.automatalib.util.partitionrefinement.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.visualization.AutomatonVisualizationHelper
 
initialNodes() - Method in class net.automatalib.visualization.DefaultVisualizationHelper
 
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
 
INPUT_HAS_NO_OUTPUT - Static variable in class net.automatalib.serialization.fsm.parser.FSM2MealyParserAlternating
 
inputAlphabet - Variable in class net.automatalib.automata.base.fast.AbstractFastMutable
 
inputAlphabet - Variable in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder
 
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
 
InputModelData<I,M extends SimpleTS<?,I>> - Class in net.automatalib.serialization
A utility data class, that allows to pair a model that can react to input symbols with a corresponding alphabet.
InputModelData(M, Alphabet<I>) - Constructor for class net.automatalib.serialization.InputModelData
 
InputModelDeserializer<I,M extends SimpleTS<?,I>> - Interface in net.automatalib.serialization
A refinement of the ModelDeserializer interface for arbitrary models that can react to inputs.
InputModelSerializationProvider<I,OUT extends SimpleTS<?,I>,IN extends SimpleTS<?,I>> - Interface in net.automatalib.serialization
A utility interface that unions InputModelSerializer and InputModelDeserializer and extends SerializationProvider.
InputModelSerializer<I,M extends SimpleTS<?,I>> - Interface in net.automatalib.serialization
A refinement of the ModelSerializer interface for arbitrary models that can react to inputs.
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.RandomAutomatonGenerator
 
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
 
insert(Word<? extends I>, Word<? extends O>) - Method in interface net.automatalib.incremental.mealy.IncrementalMealyBuilder
Incorporates a pair of input/output words into the stored information.
insert(Word<? extends I>, Word<? extends O>) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder
 
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.
insertNode(N, I, O) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder
 
insertNode(Node<I, O>, I, O) - Method in class net.automatalib.incremental.mealy.tree.dynamic.DynamicIncrementalMealyTreeBuilder
 
insertNode(Node<O>, I, O) - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder
 
IntDisjointSets - Interface in net.automatalib.commons.util
Interface for disjoint-set forest implementations that operate on a universe of contiguous integers.
integers(int, int) - Static method in class net.automatalib.words.impl.Alphabets
 
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(Integer) - Static method in class net.automatalib.commons.util.WrapperUtil
 
intValue(Integer, int) - Static method in class net.automatalib.commons.util.WrapperUtil
 
INVALID_DISTANCE - Static variable in class net.automatalib.util.graphs.Graphs
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 class net.automatalib.automata.base.compact.AbstractCompact
 
INVALID_STATE - Static variable in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction
Representative for an invalid state.
InvalidReferenceException - Exception in net.automatalib.commons.smartcollections
Exception that is thrown if an invalid ElementReference is used.
InvalidReferenceException() - Constructor for exception net.automatalib.commons.smartcollections.InvalidReferenceException
Default constructor.
InvalidReferenceException(String) - Constructor for exception net.automatalib.commons.smartcollections.InvalidReferenceException
Constructor.
invasiveMinimize(A, Collection<? extends I>) - Static method in class net.automatalib.util.automata.Automata
 
INVISIBLE - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeStyles
 
invokeProcess(String[]) - Static method in class net.automatalib.commons.util.process.ProcessUtil
Runs the given set of command line arguments as a system process and returns the exit value of the spawned process.
invokeProcess(List<String>) - Static method in class net.automatalib.commons.util.process.ProcessUtil
Runs the given set of command line arguments as a system process and returns the exit value of the spawned process.
invokeProcess(String[], Reader) - Static method in class net.automatalib.commons.util.process.ProcessUtil
Runs the given set of command line arguments as a system process and returns the exit value of the spawned process.
invokeProcess(List<String>, Reader) - Static method in class net.automatalib.commons.util.process.ProcessUtil
Runs the given set of command line arguments as a system process and returns the exit value of the spawned process.
invokeProcess(String[], Consumer<String>) - Static method in class net.automatalib.commons.util.process.ProcessUtil
Runs the given set of command line arguments as a system process and returns the exit value of the spawned process.
invokeProcess(List<String>, Consumer<String>) - Static method in class net.automatalib.commons.util.process.ProcessUtil
Runs the given set of command line arguments as a system process and returns the exit value of the spawned process.
invokeProcess(String[], Reader, Consumer<String>) - Static method in class net.automatalib.commons.util.process.ProcessUtil
Runs the given set of command line arguments as a system process and returns the exit value of the spawned process.
invokeProcess(List<String>, Reader, Consumer<String>) - Static method in class net.automatalib.commons.util.process.ProcessUtil
Runs the given set of command line arguments as a system process and returns the exit value of the spawned process.
IOUtil - Class in net.automatalib.commons.util
Utility methods for operating with java.io.* classes.
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() - Method in class net.automatalib.automata.vpda.Location
 
isAccepting(State<L>) - Method in interface net.automatalib.automata.vpda.OneSEVPA
 
isAccepting(State) - Method in class net.automatalib.brics.AbstractBricsAutomaton
 
isAccepting(Integer) - Method in class net.automatalib.modelchecking.lasso.DFALassoImpl
Returns whether the given state is accepting.
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(Pair<S1, S2>) - Method in class net.automatalib.util.ts.acceptors.DetAcceptorComposition
 
isAcceptingLocation(Location) - Method in class net.automatalib.automata.vpda.DefaultOneSEVPA
 
isAcceptingLocation(L) - Method in interface net.automatalib.automata.vpda.OneSEVPA
 
isAcceptingLocation(Pair<L1, L2>) - Method in class net.automatalib.util.automata.vpda.ProductOneSEVPA
 
isAcceptingNode(N) - Method in interface net.automatalib.graphs.concepts.NodeAcceptance
Checks whether a node is an accepting node.
isCallMatched(Word<I>) - Method in interface net.automatalib.words.VPDAlphabet
 
isCallSymbol(I) - Method in interface net.automatalib.words.VPDAlphabet
 
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
 
isEmpty() - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
 
isEmpty() - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
isEmpty() - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
isEmpty() - Method in class net.automatalib.commons.util.nid.DynamicList
 
isEmpty() - Method in class net.automatalib.util.automata.conformance.StrictPriorityQueue
 
isEmpty() - Method in class net.automatalib.util.graphs.Path
 
isEmpty() - Method in class net.automatalib.util.minimizer.Block
Checks whether or not this block is empty, i.e., contains no states.
isEmpty() - Method in class net.automatalib.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.
isInstalled() - Static method in class net.automatalib.modelcheckers.ltsmin.LTSminUtil
Returns whether or not an LTSmin installation was detected.
isInternalSymbol(I) - Method in interface net.automatalib.words.VPDAlphabet
 
isKeepFiles() - Method in class net.automatalib.modelcheckers.ltsmin.AbstractLTSmin
 
isKeepFiles() - Method in interface net.automatalib.modelcheckers.ltsmin.LTSmin
Returns whether intermediate files should be kept, e.g. etfs, gcfs, etc.
isLeaf() - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSLeafNode
 
isLeaf() - Method in class net.automatalib.graphs.ads.impl.AbstractRecursiveADSSymbolNode
 
isLeaf() - Method in interface net.automatalib.graphs.ads.RecursiveADSNode
A utility method indicating whether this node represents a leaf of an ADS (and therefore referencing a hypothesis state) or an inner node (and therefore referencing an input symbol).
isPrefixClosed(DFA<S, I>, Alphabet<I>) - Static method in class net.automatalib.util.automata.fsa.DFAs
Computes whether the language of the given DFA is prefix-closed.
isPrefixOf(Word<?>) - Method in class net.automatalib.words.Word
Checks if this word is a prefix of another word.
isPresent() - Method in class net.automatalib.util.automata.ads.LYResult
 
isReturnMatched(Word<I>) - Method in interface net.automatalib.words.VPDAlphabet
 
isReturnSymbol(I) - Method in interface net.automatalib.words.VPDAlphabet
 
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.
isValidIOFormula(String) - Static method in class net.automatalib.modelcheckers.ltsmin.LTSminLTLParser
Checks if the given formula adheres to LTSmin's expected format ('io' flavor).
isValidLetterFormula(String) - Static method in class net.automatalib.modelcheckers.ltsmin.LTSminLTLParser
Checks if the given formula adheres to LTSmin's expected format ('letter' flavor).
isVerbose() - Static method in class net.automatalib.modelcheckers.ltsmin.LTSminUtil
Returns whether to make LTSmin's output more verbose.
isWellMatched(Word<I>) - Method in interface net.automatalib.words.VPDAlphabet
 
iterator() - Method in class net.automatalib.automata.graphs.AbstractAutomatonGraphView
 
iterator() - Method in interface net.automatalib.automata.simple.SimpleAutomaton
 
iterator() - Method in class net.automatalib.commons.smartcollections.AbstractLinkedList
 
iterator() - Method in class net.automatalib.commons.smartcollections.AbstractSmartCollection
 
iterator() - Method in class net.automatalib.commons.smartcollections.BackedGeneralPriorityQueue
 
iterator() - Method in class net.automatalib.commons.smartcollections.UnorderedCollection
 
iterator() - Method in class net.automatalib.commons.util.collections.CharRange
 
iterator() - Method in class net.automatalib.commons.util.collections.CharStringRange
 
iterator() - Method in class net.automatalib.commons.util.collections.ReusableIterator
 
iterator() - Method in class net.automatalib.commons.util.nid.