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

A

ABORT_INPUT - net.automatalib.util.ts.traversal.TSTraversalAction
Abort the exploration of the current input symbol.
ABORT_NODE - net.automatalib.util.graph.traversal.GraphTraversalAction
Abort the exploration of the current node.
ABORT_STATE - net.automatalib.util.ts.traversal.TSTraversalAction
Abort the exploration of the current state.
ABORT_TRAVERSAL - net.automatalib.util.graph.traversal.GraphTraversalAction
Abort the traversal of the whole graph.
ABORT_TRAVERSAL - net.automatalib.util.ts.traversal.TSTraversalAction
Abort the traversal of the whole graph.
AbstractAlphabet<I> - Class in net.automatalib.alphabet
 
AbstractAlphabet() - Constructor for class net.automatalib.alphabet.AbstractAlphabet
 
AbstractAutomatonGraphView<S,​A extends Automaton<S,​?,​?>,​E> - Class in net.automatalib.automaton.graph
 
AbstractAutomatonGraphView(A) - Constructor for class net.automatalib.automaton.graph.AbstractAutomatonGraphView
 
AbstractBasicLinkedListEntry<E,​T extends AbstractBasicLinkedListEntry<E,​T>> - Class in net.automatalib.common.smartcollection
Abstract base class for entries in a linked list.
AbstractBasicLinkedListEntry() - Constructor for class net.automatalib.common.smartcollection.AbstractBasicLinkedListEntry
 
AbstractBinaryFormulaNode<L,​AP> - Class in net.automatalib.modelchecker.m3c.formula
Abstract super-class for binary (sub-) formulas.
AbstractBinaryFormulaNode(FormulaNode<L, AP>, FormulaNode<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.formula.AbstractBinaryFormulaNode
 
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.common.util.setting
 
AbstractClassPathFileSource(String) - Constructor for class net.automatalib.common.util.setting.AbstractClassPathFileSource
 
AbstractCompact<I,​T,​SP,​TP> - Class in net.automatalib.automaton.base
Abstract super class for compact automata representations.
AbstractCompact(Alphabet<I>, int, float) - Constructor for class net.automatalib.automaton.base.AbstractCompact
 
AbstractCompact(Alphabet<I>, AbstractCompact<?, ?, ?, ?>) - Constructor for class net.automatalib.automaton.base.AbstractCompact
 
AbstractCompact.Payload - Class in net.automatalib.automaton.base
A utility class that encapsulates necessary information for performing an update of the stored automata data.
AbstractCompactBidiGraph<NP,​EP> - Class in net.automatalib.graph.base
 
AbstractCompactBidiGraph() - Constructor for class net.automatalib.graph.base.AbstractCompactBidiGraph
 
AbstractCompactBidiGraph(int) - Constructor for class net.automatalib.graph.base.AbstractCompactBidiGraph
 
AbstractCompactDeterministic<I,​T,​SP,​TP> - Class in net.automatalib.automaton.base
Abstract super class that refines AbstractCompact for deterministic automata.
AbstractCompactDeterministic(Alphabet<I>, int, float) - Constructor for class net.automatalib.automaton.base.AbstractCompactDeterministic
 
AbstractCompactDeterministic(Alphabet<I>, AbstractCompactDeterministic<?, ?, ?, ?>) - Constructor for class net.automatalib.automaton.base.AbstractCompactDeterministic
 
AbstractCompactGraph<E extends CompactEdge<EP>,​NP,​EP> - Class in net.automatalib.graph.base
 
AbstractCompactGraph() - Constructor for class net.automatalib.graph.base.AbstractCompactGraph
 
AbstractCompactGraph(int) - Constructor for class net.automatalib.graph.base.AbstractCompactGraph
 
AbstractCompactMTS<I,​T,​TP extends MutableModalEdgeProperty> - Class in net.automatalib.ts.modal
An abstract base-implementation for MutableModalTransitionSystems.
AbstractCompactMTS(Alphabet<I>) - Constructor for class net.automatalib.ts.modal.AbstractCompactMTS
 
AbstractCompactMTS(Alphabet<I>, int, float) - Constructor for class net.automatalib.ts.modal.AbstractCompactMTS
 
AbstractCompactSimpleDeterministic<I,​SP> - Class in net.automatalib.automaton.base
Abstract super class that refines AbstractCompactDeterministic for transition-property-less automata.
AbstractCompactSimpleDeterministic(Alphabet<I>, int, float) - Constructor for class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
 
AbstractCompactSimpleDeterministic(Alphabet<I>, AbstractCompactSimpleDeterministic<?, SP>) - Constructor for class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
 
AbstractCompactSimpleNondet<I,​SP> - Class in net.automatalib.automaton.base
Abstract super class that refines AbstractCompact for transition-property-less automata.
AbstractCompactSimpleNondet(Alphabet<I>, int, float) - Constructor for class net.automatalib.automaton.base.AbstractCompactSimpleNondet
 
AbstractCompactSimpleNondet(Alphabet<I>, AbstractCompactSimpleNondet<?, ?>) - Constructor for class net.automatalib.automaton.base.AbstractCompactSimpleNondet
 
AbstractDefaultSEVPA<I> - Class in net.automatalib.automaton.vpa
Basic functionality for Location-based SEVPA implementations.
AbstractDefaultSEVPA(VPAlphabet<I>, int) - Constructor for class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
 
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.automaton.base
Shared functionality for (non-) deterministic mutable automata.
AbstractFastMutable(Alphabet<I>) - Constructor for class net.automatalib.automaton.base.AbstractFastMutable
 
AbstractFastMutableDet<S extends AbstractFastState<T>,​I,​T,​SP,​TP> - Class in net.automatalib.automaton.base
 
AbstractFastMutableDet(Alphabet<I>) - Constructor for class net.automatalib.automaton.base.AbstractFastMutableDet
 
AbstractFastMutableNondet<S extends AbstractFastState<Collection<T>>,​I,​T,​SP,​TP> - Class in net.automatalib.automaton.base
 
AbstractFastMutableNondet(Alphabet<I>) - Constructor for class net.automatalib.automaton.base.AbstractFastMutableNondet
 
AbstractFastState<T> - Class in net.automatalib.automaton.base
 
AbstractFastState(int) - Constructor for class net.automatalib.automaton.base.AbstractFastState
 
AbstractFixedPointFormulaNode<L,​AP> - Class in net.automatalib.modelchecker.m3c.formula.modalmu
Abstract super-class for fix-point (sub-) formulas.
AbstractFixedPointFormulaNode(String, FormulaNode<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.formula.modalmu.AbstractFixedPointFormulaNode
 
AbstractFormulaNode<L,​AP> - Class in net.automatalib.modelchecker.m3c.formula
Abstract super-class for (sub-) formulas.
AbstractFormulaNode() - Constructor for class net.automatalib.modelchecker.m3c.formula.AbstractFormulaNode
 
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.
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.
AbstractLasso<I,​D> - Class in net.automatalib.modelchecking
 
AbstractLasso(DetOutputAutomaton<S, I, ?, D>, Collection<? extends I>, int) - Constructor for class net.automatalib.modelchecking.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.common.smartcollection
Abstract base class for linked lists.
AbstractLinkedList() - Constructor for class net.automatalib.common.smartcollection.AbstractLinkedList
 
AbstractLowLevelAutomatonCopier<S1,​I1,​T1,​S2,​I2,​T2,​SP2,​TP2,​TS1 extends TransitionSystem<S1,​? super I1,​T1>> - Class in net.automatalib.util.automaton.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.automaton.copy.AbstractLowLevelAutomatonCopier
 
AbstractLTSmin<I,​A,​R> - Class in net.automatalib.modelchecker.ltsmin
An LTL model checker using LTSmin.
AbstractLTSmin(boolean, Function<String, I>) - Constructor for class net.automatalib.modelchecker.ltsmin.AbstractLTSmin
Constructs a new AbstractLTSmin.
AbstractLTSminLTL<I,​A,​L extends Lasso<I,​?>> - Class in net.automatalib.modelchecker.ltsmin.ltl
An LTSmin model checker for full LTL.
AbstractLTSminLTL(boolean, Function<String, I>, int, double) - Constructor for class net.automatalib.modelchecker.ltsmin.ltl.AbstractLTSminLTL
Constructs a new AbstractLTSminLTL.
AbstractLTSminLTLMealy<I,​O> - Class in net.automatalib.modelchecker.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.modelchecker.ltsmin.ltl.AbstractLTSminLTLMealy
Constructs a new AbstractLTSminLTLMealy.
AbstractLTSminMonitor<I,​A,​R> - Class in net.automatalib.modelchecker.ltsmin.monitor
An LTSmin model checker for monitors.
AbstractLTSminMonitor(boolean, Function<String, I>) - Constructor for class net.automatalib.modelchecker.ltsmin.monitor.AbstractLTSminMonitor
Constructs a new AbstractLTSminMonitor.
AbstractLTSminMonitorMealy<I,​O> - Class in net.automatalib.modelchecker.ltsmin.monitor
A monitor model checker using LTSmin for Mealy machines.
AbstractLTSminMonitorMealy(boolean, Function<String, I>, Function<String, O>, Collection<? super O>) - Constructor for class net.automatalib.modelchecker.ltsmin.monitor.AbstractLTSminMonitorMealy
Constructs a new AbstractLTSminLTLMealy.
AbstractModalFormulaNode<L,​AP> - Class in net.automatalib.modelchecker.m3c.formula
Abstract super-class for modal (sub-) formulas.
AbstractModalFormulaNode(L, FormulaNode<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.formula.AbstractModalFormulaNode
 
AbstractMutableNumericID - Class in net.automatalib.common.util.nid
 
AbstractMutableNumericID() - Constructor for class net.automatalib.common.util.nid.AbstractMutableNumericID
 
AbstractPrintable - Class in net.automatalib.common.util.string
Abstract base class for printables.
AbstractPrintable() - Constructor for class net.automatalib.common.util.string.AbstractPrintable
 
AbstractPropertyTransformer<T extends AbstractPropertyTransformer<T,​L,​AP>,​L,​AP> - Class in net.automatalib.modelchecker.m3c.transformer
Base class used to represent a property transformer, i.e., a function which maps a subset of formulas to a subset of formulas.
AbstractRecursiveADSLeafNode<S,​I,​O,​N extends RecursiveADSNode<S,​I,​O,​N>> - Class in net.automatalib.graph.ads
An abstract implementation of a leaf node, that may be used by other ADS-extending classes.
AbstractRecursiveADSLeafNode(N, S) - Constructor for class net.automatalib.graph.ads.AbstractRecursiveADSLeafNode
 
AbstractRecursiveADSSymbolNode<S,​I,​O,​N extends RecursiveADSNode<S,​I,​O,​N>> - Class in net.automatalib.graph.ads
An abstract implementation of a symbol node, that may be used by other ADS-extending classes.
AbstractRecursiveADSSymbolNode(N, I) - Constructor for class net.automatalib.graph.ads.AbstractRecursiveADSSymbolNode
 
AbstractSEVPA<L,​I> - Class in net.automatalib.automaton.vpa
Abstract class for k-SEVPAs that implements functionality shared across different subtypes.
AbstractSEVPA(VPAlphabet<I>) - Constructor for class net.automatalib.automaton.vpa.AbstractSEVPA
 
AbstractSmartCollection<E> - Class in net.automatalib.common.smartcollection
This class eases the implementation of the SmartCollection interface.
AbstractSmartCollection() - Constructor for class net.automatalib.common.smartcollection.AbstractSmartCollection
 
AbstractSymbol<S extends AbstractSymbol<S>> - Class in net.automatalib.alphabet
 
AbstractSymbol() - Constructor for class net.automatalib.alphabet.AbstractSymbol
 
AbstractSystemPropertiesSource - Class in net.automatalib.common.util.setting
 
AbstractSystemPropertiesSource() - Constructor for class net.automatalib.common.util.setting.AbstractSystemPropertiesSource
 
AbstractThreeLevelIterator<L1,​L2,​L3,​O> - Class in net.automatalib.common.util.collection
 
AbstractThreeLevelIterator(Iterator<L1>) - Constructor for class net.automatalib.common.util.collection.AbstractThreeLevelIterator
 
AbstractTwoLevelIterator<L1,​L2,​O> - Class in net.automatalib.common.util.collection
 
AbstractTwoLevelIterator(Iterator<? extends L1>) - Constructor for class net.automatalib.common.util.collection.AbstractTwoLevelIterator
 
AbstractUnaryFormulaNode<L,​AP> - Class in net.automatalib.modelchecker.m3c.formula
Abstract super-class for unary (sub-) formulas.
AbstractUnaryFormulaNode(FormulaNode<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.formula.AbstractUnaryFormulaNode
 
AbstractUnfoldingModelChecker<I,​A,​P,​L extends Lasso<I,​?>> - Class in net.automatalib.modelchecking
An ModelCheckerLasso that can unfold loops of lassos.
AbstractUnfoldingModelChecker(int, double) - Constructor for class net.automatalib.modelchecking.AbstractUnfoldingModelChecker
Constructs a new AbstractUnfoldingModelChecker.
AbstractVisualizationHelper<S,​I,​T,​A extends Automaton<S,​I,​T>> - Class in net.automatalib.incremental.dfa
Abstract visualization helper for IncrementalDFABuilders.
AbstractVisualizationHelper(A) - Constructor for class net.automatalib.incremental.dfa.AbstractVisualizationHelper
 
AbstractVPAlphabet<I> - Class in net.automatalib.alphabet
Abstract utility class that implements functionality shared across different subtypes.
AbstractVPAlphabet(Alphabet<I>, Alphabet<I>, Alphabet<I>) - Constructor for class net.automatalib.alphabet.AbstractVPAlphabet
 
accept(FormulaNodeVisitor<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.formula.AndNode
 
accept(FormulaNodeVisitor<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.formula.AtomicNode
 
accept(FormulaNodeVisitor<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.formula.BoxNode
 
accept(FormulaNodeVisitor<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.formula.ctl.AFNode
 
accept(FormulaNodeVisitor<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.formula.ctl.AGNode
 
accept(FormulaNodeVisitor<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.formula.ctl.AUNode
 
accept(FormulaNodeVisitor<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.formula.ctl.AWUNode
 
accept(FormulaNodeVisitor<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.formula.ctl.EFNode
 
accept(FormulaNodeVisitor<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.formula.ctl.EGNode
 
accept(FormulaNodeVisitor<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.formula.ctl.EUNode
 
accept(FormulaNodeVisitor<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.formula.ctl.EWUNode
 
accept(FormulaNodeVisitor<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.formula.DiamondNode
 
accept(FormulaNodeVisitor<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.formula.FalseNode
 
accept(FormulaNodeVisitor<T, L, AP>) - Method in interface net.automatalib.modelchecker.m3c.formula.FormulaNode
 
accept(FormulaNodeVisitor<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.formula.modalmu.GfpNode
 
accept(FormulaNodeVisitor<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.formula.modalmu.LfpNode
 
accept(FormulaNodeVisitor<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.formula.modalmu.VariableNode
 
accept(FormulaNodeVisitor<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.formula.NotNode
 
accept(FormulaNodeVisitor<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.formula.OrNode
 
accept(FormulaNodeVisitor<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.formula.TrueNode
 
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(AcceptorTS<S, ?>) - Static method in class net.automatalib.util.ts.acceptor.Acceptors
 
Acceptance - Enum in net.automatalib.incremental.dfa
Tri-state acceptance value.
AcceptanceCombiner - Interface in net.automatalib.util.ts.acceptor
 
AcceptanceGraph<N,​E> - Interface in net.automatalib.graph
Interface for finite graphs that embody the concept of node acceptance.
Acceptors - Class in net.automatalib.util.ts.acceptor
 
AcceptorTS<S,​I> - Interface in net.automatalib.ts.acceptor
A transition system whose semantics are defined by whether a state is "accepting" or not.
accepts(Iterable<? extends I>) - Method in interface net.automatalib.automaton.fsa.DFA
 
accepts(Iterable<? extends I>) - Method in interface net.automatalib.ts.acceptor.AcceptorTS
Determines whether the given input word is accepted by this acceptor.
accepts(Iterable<? extends I>) - Method in interface net.automatalib.ts.acceptor.DeterministicAcceptorTS
 
acceptsEmptyLanguage(DFA<S, ?>) - Static method in class net.automatalib.util.automaton.fsa.DFAs
Computes whether the given DFA accepts the empty language.
accessSequences - Variable in class net.automatalib.util.automaton.procedural.ATRSequences
 
accessSequences - Variable in class net.automatalib.util.automaton.procedural.ATSequences
 
AdaptiveMealyBuilder<I,​O> - Interface in net.automatalib.incremental.mealy
A variation of the IncrementalMealyBuilder interface that allows one to override previously inserted traces.
AdaptiveMealyTreeBuilder<I,​O> - Class in net.automatalib.incremental.mealy.tree
 
AdaptiveMealyTreeBuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.mealy.tree.AdaptiveMealyTreeBuilder
 
add(E) - Method in class net.automatalib.common.smartcollection.AbstractSmartCollection
 
add(E, K) - Method in class net.automatalib.common.smartcollection.BackedGeneralPriorityQueue
 
add(E, K) - Method in interface net.automatalib.common.smartcollection.SmartGeneralPriorityQueue
Inserts an element with the specified key.
add(I) - Method in class net.automatalib.alphabet.GrowingMapAlphabet
 
add(I) - Method in class net.automatalib.word.WordBuilder
 
add(Character) - Method in class net.automatalib.common.util.collection.CharRangeIterator
 
add(Integer) - Method in class net.automatalib.common.util.collection.IntRangeIterator
 
add(Integer) - Method in class net.automatalib.common.util.collection.PositiveIntSet
 
add(String) - Method in class net.automatalib.common.util.collection.CharStringRangeIterator
 
add(Supplier<? extends T>, int) - Method in class net.automatalib.common.util.random.WeightedSupplier
Adds a sub-supplier with a given weight.
add(S, int) - Method in class net.automatalib.ts.powerset.FastPowersetState
 
add(T) - Method in class net.automatalib.common.util.collection.UnmodifiableListIterator
 
add(T) - Method in class net.automatalib.common.util.nid.DynamicList
 
add(T, int) - Method in class net.automatalib.common.util.random.WeightedSupplier
Adds an object to be supplied with a given weight.
addAll(Iterable<? extends E>) - Method in class net.automatalib.common.smartcollection.AbstractSmartCollection
 
addAll(Iterable<? extends E>) - Method in interface net.automatalib.common.smartcollection.SmartCollection
Adds all elements from a given iterable.
addAll(Collection<? extends E>) - Method in class net.automatalib.common.smartcollection.UnorderedCollection
 
addAll(T[]) - Method in class net.automatalib.common.smartcollection.AbstractSmartCollection
 
addAll(T[]) - Method in interface net.automatalib.common.smartcollection.SmartCollection
Adds all elements from the specified array.
addAll(T[]) - Method in class net.automatalib.common.smartcollection.UnorderedCollection
 
addAlphabetSymbol(I) - Method in interface net.automatalib.alphabet.SupportsGrowingAlphabet
Notifies the data structure that a new symbol should be added to the alphabet.
addAlphabetSymbol(I) - Method in class net.automatalib.automaton.base.AbstractCompact
 
addAlphabetSymbol(I) - Method in class net.automatalib.automaton.base.AbstractFastMutable
 
addAlphabetSymbol(I) - Method in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder
 
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.DynamicIncrementalMealyTreeBuilder
 
addAlphabetSymbol(I) - Method in class net.automatalib.incremental.moore.dag.IncrementalMooreDAGBuilder
 
addAlphabetSymbol(I) - Method in class net.automatalib.incremental.moore.tree.IncrementalMooreTreeBuilder
 
addInitialLocation(boolean) - Method in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
 
addInitialState() - Method in interface net.automatalib.automaton.fsa.MutableFSA
 
addInitialState() - Method in interface net.automatalib.automaton.MutableAutomaton
 
addInitialState(boolean) - Method in interface net.automatalib.automaton.fsa.MutableFSA
 
addInitialState(Boolean) - Method in interface net.automatalib.automaton.fsa.MutableFSA
 
addInitialState(SP) - Method in interface net.automatalib.automaton.MutableAutomaton
 
addInt(int) - Method in class net.automatalib.common.util.collection.PositiveIntSet
 
addIntInitialState() - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.FullIntAbstraction
 
addIntInitialState() - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.StateIntAbstraction
 
addIntInitialState() - Method in interface net.automatalib.automaton.MutableDeterministic.IntAbstraction
 
addIntInitialState(SP) - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.FullIntAbstraction
 
addIntInitialState(SP) - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.StateIntAbstraction
 
addIntInitialState(SP) - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
 
addIntInitialState(SP) - Method in interface net.automatalib.automaton.MutableDeterministic.IntAbstraction
 
addIntNode() - Method in interface net.automatalib.graph.MutableGraph.IntAbstraction
Int-abstracted version of MutableGraph.addNode().
addIntNode(NP) - Method in class net.automatalib.graph.base.AbstractCompactBidiGraph
 
addIntNode(NP) - Method in class net.automatalib.graph.base.AbstractCompactGraph
 
addIntNode(NP) - Method in interface net.automatalib.graph.MutableGraph.IntAbstraction
Int-abstracted version of MutableGraph.addNode(Object).
addIntState() - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.FullIntAbstraction
 
addIntState() - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.StateIntAbstraction
 
addIntState() - Method in interface net.automatalib.automaton.MutableDeterministic.IntAbstraction
 
addIntState(SP) - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.FullIntAbstraction
 
addIntState(SP) - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.StateIntAbstraction
 
addIntState(SP) - Method in class net.automatalib.automaton.base.AbstractCompact
 
addIntState(SP) - Method in interface net.automatalib.automaton.MutableDeterministic.IntAbstraction
 
addListener(IDChangeListener<T>, boolean) - Method in class net.automatalib.common.util.nid.IDChangeNotifier
 
addLocation(boolean) - Method in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
 
addLocation(boolean) - Method in class net.automatalib.automaton.vpa.DefaultNSEVPA
 
addLocation(I, boolean) - Method in class net.automatalib.automaton.vpa.DefaultNSEVPA
 
addModalTransition(Integer, I, Integer, ModalEdgeProperty.ModalType) - Method in class net.automatalib.ts.modal.AbstractCompactMTS
 
addModalTransition(S, I, S, ModalEdgeProperty.ModalType) - Method in interface net.automatalib.ts.modal.MutableModalTransitionSystem
 
addModuleEntryLocation(I, boolean) - Method in class net.automatalib.automaton.vpa.DefaultNSEVPA
 
addNewSymbol(I, VPAlphabet.SymbolType) - Method in class net.automatalib.alphabet.GrowingVPAlphabet
 
addNode() - Method in interface net.automatalib.graph.MutableGraph
Adds a new node with default properties to the graph.
addNode() - Method in interface net.automatalib.graph.MutableProceduralModalProcessGraph
 
addNode(N) - Method in class net.automatalib.graph.SimpleMapGraph
 
addNode(NP) - Method in class net.automatalib.graph.base.AbstractCompactGraph
 
addNode(NP) - Method in interface net.automatalib.graph.MutableGraph
Adds a new node to the graph.
addNode(FormulaNode<L, AP>) - Method in class net.automatalib.modelchecker.m3c.formula.EquationalBlock
 
addSolver(ContextFreeModalProcessSystem<String, String>) - Static method in class net.automatalib.modelchecker.m3c.solver.M3CSolvers
Returns an ADD-backed M3CSolver solver for string-based modal context-free process systems.
ADDSolver<L,​AP> - Class in net.automatalib.modelchecker.m3c.solver
Implementation based on property transformers being represented by ADDs (Algebraic Decision Diagrams).
ADDSolver(ContextFreeModalProcessSystem<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.solver.ADDSolver
 
addState() - Method in interface net.automatalib.automaton.fsa.MutableFSA
 
addState() - Method in interface net.automatalib.automaton.MutableAutomaton
 
addState(boolean) - Method in class net.automatalib.automaton.fsa.CompactDFA
 
addState(boolean) - Method in class net.automatalib.automaton.fsa.CompactNFA
 
addState(boolean) - Method in class net.automatalib.automaton.fsa.FastDFA
 
addState(boolean) - Method in class net.automatalib.automaton.fsa.FastNFA
 
addState(boolean) - Method in interface net.automatalib.automaton.fsa.MutableFSA
 
addState(Boolean) - Method in interface net.automatalib.automaton.fsa.MutableFSA
 
addState(SP) - Method in class net.automatalib.automaton.base.AbstractCompact
 
addState(SP) - Method in class net.automatalib.automaton.base.AbstractFastMutable
 
addState(SP) - Method in interface net.automatalib.automaton.MutableAutomaton
Adds a state to the automaton.
addStates(int) - Method in class net.automatalib.util.automaton.random.RandomAutomatonGenerator
 
addSymbol(I) - Method in class net.automatalib.alphabet.FastAlphabet
 
addSymbol(I) - Method in interface net.automatalib.alphabet.GrowingAlphabet
Adds a new symbol to the alphabet.
addSymbol(I) - Method in class net.automatalib.alphabet.GrowingMapAlphabet
 
ADDTransformer<L,​AP> - Class in net.automatalib.modelchecker.m3c.transformer
An ADDTransformer represents a property transformer for a single ADD (Algebraic Decision Diagram).
ADDTransformer(XDDManager<BooleanVector>) - Constructor for class net.automatalib.modelchecker.m3c.transformer.ADDTransformer
Creates the identity function.
ADDTransformer(XDDManager<BooleanVector>, L, TP, DependencyGraph<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.transformer.ADDTransformer
Constructor used to create the property transformer for an edge.
ADDTransformer(XDDManager<BooleanVector>, DependencyGraph<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.transformer.ADDTransformer
Constructor used to initialize the property transformer of a node.
ADDTransformerSerializer<L,​AP> - Class in net.automatalib.modelchecker.m3c.transformer
This class can be used to serialize and deserialize ADDTransformers.
ADDTransformerSerializer(XDDManager<BooleanVector>) - Constructor for class net.automatalib.modelchecker.m3c.transformer.ADDTransformerSerializer
 
addTransition(int, int, int) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
 
addTransition(int, I, int) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
 
addTransition(Integer, I, Integer) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
 
addTransition(S, I, S, TP) - Method in interface net.automatalib.automaton.MutableAutomaton
 
addTransition(S, I, T) - Method in interface net.automatalib.automaton.MutableAutomaton
 
addTransition(S, I, T) - Method in interface net.automatalib.automaton.MutableDeterministic
 
addTransitions() - Method in class net.automatalib.util.automaton.random.RandomDeterministicAutomatonGenerator
 
addTransitions(S, I, Collection<? extends T>) - Method in interface net.automatalib.automaton.MutableAutomaton
 
ADS - Class in net.automatalib.util.automaton.ads
General purpose facade for computing adaptive distinguishing sequences.
ADSLeafNode<S,​I,​O> - Class in net.automatalib.graph.ads
An ADS-specific implementation of a leaf node.
ADSLeafNode(ADSNode<S, I, O>, S) - Constructor for class net.automatalib.graph.ads.ADSLeafNode
 
ADSNode<S,​I,​O> - Interface in net.automatalib.graph.ads
A (simplified) node in an adaptive distinguishing sequence.
ADSSymbolNode<S,​I,​O> - Class in net.automatalib.graph.ads
An ADS-specific implementation of a symbol node.
ADSSymbolNode(ADSNode<S, I, O>, I) - Constructor for class net.automatalib.graph.ads.ADSSymbolNode
 
ADSUtil - Class in net.automatalib.util.automaton.ads
Utility class, that offers some operations revolving around adaptive distinguishing sequences.
AFNode<L,​AP> - Class in net.automatalib.modelchecker.m3c.formula.ctl
Java representation of a "AF" (sub-)formula.
AFNode(FormulaNode<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.formula.ctl.AFNode
 
afterExecute(Runnable, Throwable) - Method in class net.automatalib.common.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(List<? extends VisualizationHelper<N, ? super E>>) - Constructor for class net.automatalib.visualization.helper.AggregateVisualizationHelper
 
AggregateVisualizationHelper(VisualizationHelper<N, ? super E>, List<? extends VisualizationHelper<N, ? super E>>) - Constructor for class net.automatalib.visualization.helper.AggregateVisualizationHelper
 
AGNode<L,​AP> - Class in net.automatalib.modelchecker.m3c.formula.ctl
Java representation of a "AG" (sub-)formula.
AGNode(FormulaNode<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.formula.ctl.AGNode
 
allDefinedInputs(Automaton<S, I, ?>, Iterable<? extends I>) - Static method in class net.automatalib.util.automaton.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.automaton.Automata
 
allDefinedInputsIterator(TransitionSystem<S, I, ?>, Iterator<? extends S>, Iterable<? extends I>) - Static method in class net.automatalib.util.ts.TS
 
AllDefinedInputsIterator<S,​I> - Class in net.automatalib.util.ts.iterator
 
AllDefinedInputsIterator(Iterator<? extends S>, TransitionSystem<S, I, ?>, Iterable<? extends I>) - Constructor for class net.automatalib.util.ts.iterator.AllDefinedInputsIterator
 
allowPartial - Variable in class net.automatalib.util.ts.comp.DTSComposition
 
allTuples(Iterable<? extends T>, int) - Static method in class net.automatalib.common.util.collection.CollectionsUtil
 
allTuples(Iterable<? extends T>, int, int) - Static method in class net.automatalib.common.util.collection.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.automaton.Automata
 
allUndefinedInputsIterator(Automaton<S, I, ?>, Iterable<? extends I>) - Static method in class net.automatalib.util.automaton.Automata
 
AllUndefinedInputsIterator<S,​I> - Class in net.automatalib.util.ts.iterator
 
AllUndefinedInputsIterator(Iterator<? extends S>, TransitionSystem<S, I, ?>, Iterable<? extends I>) - Constructor for class net.automatalib.util.ts.iterator.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.automaton.vpa.AbstractSEVPA
 
alphabet - Variable in class net.automatalib.serialization.InputModelData
 
Alphabet<I> - Interface in net.automatalib.alphabet
Class implementing an (indexed) alphabet.
Alphabets - Class in net.automatalib.alphabet
Utility methods concerning alphabets.
alphabetSize - Variable in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder
 
alwaysFalse() - Static method in class net.automatalib.util.automaton.predicate.TransitionPredicates
 
alwaysTrue() - Static method in class net.automatalib.util.automaton.predicate.TransitionPredicates
 
and(DFA<?, I>, DFA<?, I>, Collection<? extends I>, A) - Static method in class net.automatalib.util.automaton.fsa.DFAs
Calculates the conjunction ("and") of two DFA, and stores the result in a given mutable DFA.
and(DFA<?, I>, DFA<?, I>, Alphabet<I>) - Static method in class net.automatalib.util.automaton.fsa.DFAs
Calculates the conjunction ("and") of two DFA, and returns the result as a new DFA.
and(NFA<?, I>, NFA<?, I>, Collection<? extends I>, A) - Static method in class net.automatalib.util.automaton.fsa.NFAs
Calculates the conjunction ("and") of two NFAs, and stores the result in a given mutable NFA.
and(NFA<?, I>, NFA<?, I>, Alphabet<I>) - Static method in class net.automatalib.util.automaton.fsa.NFAs
Calculates the conjunction ("and") of two NFAs, and returns the result as a new NFA.
and(OneSEVPA<L1, I>, OneSEVPA<L2, I>, VPAlphabet<I>) - Static method in class net.automatalib.util.automaton.vpa.OneSEVPAs
Returns a view on the conjunction ("and") of two OneSEVPAs.
AND - Static variable in interface net.automatalib.util.ts.acceptor.AcceptanceCombiner
 
AndNode<L,​AP> - Class in net.automatalib.modelchecker.m3c.formula
Java representation of a "&&" (sub-)formula.
AndNode(FormulaNode<L, AP>, FormulaNode<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.formula.AndNode
 
append(I) - Method in class net.automatalib.word.Word
Appends a symbol to this word and returns the result as a new word.
append(I) - Method in class net.automatalib.word.WordBuilder
Appends a symbol to the contents of the internal storage.
append(I...) - Method in class net.automatalib.word.WordBuilder
Appends several symbols to the contents of the internal storage.
append(List<? extends I>) - Method in class net.automatalib.word.WordBuilder
 
append(Word<? extends I>) - Method in class net.automatalib.word.WordBuilder
Appends a word to the contents of the internal storage.
append(Word<? extends I>...) - Method in class net.automatalib.word.WordBuilder
Appends several words to the contents of the internal storage.
appendArray(Appendable, Object[], String) - Static method in class net.automatalib.common.util.string.StringUtil
 
appendArrayEnquoted(Appendable, Object[], String) - Static method in class net.automatalib.common.util.string.StringUtil
 
appendIterable(Appendable, Iterable<?>, String) - Static method in class net.automatalib.common.util.string.StringUtil
 
appendIterableEnquoted(Appendable, Iterable<?>, String) - Static method in class net.automatalib.common.util.string.StringUtil
 
appendObject(Appendable, Object) - Static method in class net.automatalib.common.util.string.StringUtil
 
apply(int) - Method in interface net.automatalib.alphabet.Alphabet
 
apply(int, int) - Method in interface net.automatalib.common.util.function.BiIntFunction
Applies this function to the given arguments.
apply(D) - Method in interface net.automatalib.common.util.mapping.Mapping
 
apply(BooleanVector) - Method in class net.automatalib.modelchecker.m3c.transformer.DiamondOperationDeadlock
 
apply(BooleanVector, BooleanVector) - Method in class net.automatalib.modelchecker.m3c.transformer.DiamondOperation
 
apply(Random) - Method in class net.automatalib.common.util.random.WeightedSupplier
 
apply(Mapping<? super D, R>, Iterable<? extends D>) - Static method in class net.automatalib.common.util.mapping.Mappings
Applies a mapping to an iterable.
apply(Mapping<? super D, R>, Collection<? extends D>) - Static method in class net.automatalib.common.util.mapping.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.common.util.mapping.Mappings
Applies a mapping to an iterator.
apply(Mapping<? super D, R>, List<? extends D>) - Static method in class net.automatalib.common.util.mapping.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(S, I, T) - Method in interface net.automatalib.ts.TransitionPredicate
 
applyAsInt(I) - Method in interface net.automatalib.alphabet.Alphabet
 
APSPResult<N,​E> - Interface in net.automatalib.util.graph.apsp
Result interface for the all pairs shortest paths problem.
array - Variable in class net.automatalib.common.smartcollection.ResizingArrayStorage
 
ArrayAlphabet<I> - Class in net.automatalib.alphabet
 
ArrayAlphabet(I...) - Constructor for class net.automatalib.alphabet.ArrayAlphabet
 
ArrayMapping<K extends NumericID,​V> - Class in net.automatalib.common.util.mapping
 
ArrayMapping() - Constructor for class net.automatalib.common.util.mapping.ArrayMapping
 
ArrayMapping(int) - Constructor for class net.automatalib.common.util.mapping.ArrayMapping
 
ArrayStorage<T> - Class in net.automatalib.common.smartcollection
A thin wrapper around a simple Object[] array.
ArrayStorage(int) - Constructor for class net.automatalib.common.smartcollection.ArrayStorage
 
ArrayStorage(int, Supplier<T>) - Constructor for class net.automatalib.common.smartcollection.ArrayStorage
 
ArrayStorage(Collection<? extends T>) - Constructor for class net.automatalib.common.smartcollection.ArrayStorage
 
ArrayUtil - Class in net.automatalib.common.smartcollection
Utility methods for arrays.
ArrayWritable<T> - Interface in net.automatalib.common.smartcollection
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(File) - Static method in class net.automatalib.common.util.IOUtil
Returns an input stream that reads the contents of the given file.
asBufferedInputStream(InputStream) - Static method in class net.automatalib.common.util.IOUtil
Ensures that the returned stream is a buffered version of the supplied input stream.
asBufferedNonClosingOutputStream(OutputStream) - Static method in class net.automatalib.common.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.common.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(File) - Static method in class net.automatalib.common.util.IOUtil
Returns an output stream that writes the contents to the given file.
asBufferedOutputStream(OutputStream) - Static method in class net.automatalib.common.util.IOUtil
Ensures that the returned stream is a buffered version of the supplied output stream.
asBufferedUTF8Reader(File) - Static method in class net.automatalib.common.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.common.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.common.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.common.util.IOUtil
Returns a writer that writes contents to the given output stream with StandardCharsets.UTF_8 encoding.
asGraph() - Method in interface net.automatalib.incremental.dfa.IncrementalDFABuilder
 
asGraph() - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder
 
asGraph() - Method in class net.automatalib.incremental.dfa.tree.IncrementalPCDFATreeBuilder
 
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 class net.automatalib.incremental.mealy.tree.DynamicIncrementalMealyTreeBuilder
 
asGraph() - Method in class net.automatalib.incremental.moore.dag.IncrementalMooreDAGBuilder
 
asGraph() - Method in class net.automatalib.incremental.moore.tree.IncrementalMooreTreeBuilder
 
asGraph(Automaton<S, I, T>, Collection<? extends I>) - Static method in class net.automatalib.util.automaton.Automata
 
asIntSeq(ToIntFunction<I>) - Method in class net.automatalib.word.Word
Retrieves a IntSeq view on the contents of this word for a given indexing function (e.g. an Alphabet).
asList() - Method in class net.automatalib.word.Word
Retrieves a List view on the contents of this word.
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.MealyBuilder
 
asTransitionSystem() - Method in class net.automatalib.incremental.moore.dag.IncrementalMooreDAGBuilder
 
asTransitionSystem() - Method in interface net.automatalib.incremental.moore.IncrementalMooreBuilder
 
asTransitionSystem() - Method in class net.automatalib.incremental.moore.tree.IncrementalMooreTreeBuilder
 
asUncompressedBufferedNonClosingInputStream(InputStream) - Static method in class net.automatalib.common.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.common.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.common.util.IOUtil
Ensures that the returned stream is an uncompressed version of the supplied input stream.
asUTF8Reader(InputStream) - Static method in class net.automatalib.common.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.common.util.IOUtil
Returns a writer that writes contents to the given output stream with StandardCharsets.UTF_8 encoding.
AtomicNode<L,​AP> - Class in net.automatalib.modelchecker.m3c.formula
Java representation of an "atomic proposition" (sub-)formula.
AtomicNode(AP) - Constructor for class net.automatalib.modelchecker.m3c.formula.AtomicNode
 
ATRSequences<I> - Class in net.automatalib.util.automaton.procedural
A data class for aggregating access sequences, terminating sequences, and return sequences.
ATRSequences(Map<I, Word<I>>, Map<I, Word<I>>, Map<I, Word<I>>) - Constructor for class net.automatalib.util.automaton.procedural.ATRSequences
 
ATSequences<I> - Class in net.automatalib.util.automaton.procedural
A data class for aggregating access sequences and terminating sequences.
ATSequences(Map<I, Word<I>>, Map<I, Word<I>>) - Constructor for class net.automatalib.util.automaton.procedural.ATSequences
 
attributes - Variable in class net.automatalib.serialization.dot.Edge
 
attributes - Variable in class net.automatalib.serialization.dot.Node
 
AUNode<L,​AP> - Class in net.automatalib.modelchecker.m3c.formula.ctl
Java representation of a "AU" (sub-)formula.
AUNode(FormulaNode<L, AP>, FormulaNode<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.formula.ctl.AUNode
 
Automata - Class in net.automatalib.util.automaton
 
AutomataLibLocalPropertiesSource - Class in net.automatalib
 
AutomataLibLocalPropertiesSource() - Constructor for class net.automatalib.AutomataLibLocalPropertiesSource
 
AutomataLibPropertiesSource - Class in net.automatalib
 
AutomataLibPropertiesSource() - Constructor for class net.automatalib.AutomataLibPropertiesSource
 
AutomataLibProperty - Enum in net.automatalib
An enum of all the system properties currently used by AutomataLib.
AutomataLibSettings - Class in net.automatalib
 
AutomataLibSettingsSource - Interface in net.automatalib
 
AutomataLibSystemPropertiesSource - Class in net.automatalib
 
AutomataLibSystemPropertiesSource() - Constructor for class net.automatalib.AutomataLibSystemPropertiesSource
 
automaton - Variable in class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.IntAbstraction
 
automaton - Variable in class net.automatalib.automaton.graph.AbstractAutomatonGraphView
 
automaton - Variable in class net.automatalib.automaton.visualization.AutomatonVisualizationHelper
 
automaton - Variable in class net.automatalib.brics.AbstractBricsAutomaton
 
automaton - Variable in class net.automatalib.util.automaton.random.RandomAutomatonGenerator
 
Automaton<S,​I,​T> - Interface in net.automatalib.automaton
Basic interface for an automaton.
automaton2ETF(A, Collection<? extends I>, File) - Method in interface net.automatalib.modelchecker.ltsmin.LTSmin
Writes the given automaton to the given etf file.
automaton2ETF(DFA<?, I>, Collection<? extends I>, File) - Method in interface net.automatalib.modelchecker.ltsmin.LTSminDFA
 
automaton2ETF(MealyMachine<?, I, ?, O>, Collection<? extends I>, File) - Method in interface net.automatalib.modelchecker.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.automaton.builder
 
AutomatonBuilder(A) - Constructor for class net.automatalib.util.automaton.builder.AutomatonBuilder
 
AutomatonBuilder__0() - Constructor for class net.automatalib.util.automaton.builder.AutomatonBuilder.AutomatonBuilder__0
 
AutomatonBuilder__1() - Constructor for class net.automatalib.util.automaton.builder.AutomatonBuilder.AutomatonBuilder__1
 
AutomatonBuilder__2() - Constructor for class net.automatalib.util.automaton.builder.AutomatonBuilder.AutomatonBuilder__2
 
AutomatonBuilder__3() - Constructor for class net.automatalib.util.automaton.builder.AutomatonBuilder.AutomatonBuilder__3
 
AutomatonBuilder.AutomatonBuilder__0 - Class in net.automatalib.util.automaton.builder
 
AutomatonBuilder.AutomatonBuilder__1 - Class in net.automatalib.util.automaton.builder
 
AutomatonBuilder.AutomatonBuilder__2 - Class in net.automatalib.util.automaton.builder
 
AutomatonBuilder.AutomatonBuilder__3 - Class in net.automatalib.util.automaton.builder
 
AutomatonBuilders - Class in net.automatalib.util.automaton.builder
Fluent interface automaton builders.
AutomatonCopyMethod - Interface in net.automatalib.util.automaton.copy
 
AutomatonCreator<A,​I> - Interface in net.automatalib.automaton
 
AutomatonGraphView<S,​I,​T,​A extends Automaton<S,​I,​T>> - Class in net.automatalib.automaton.graph
 
AutomatonGraphView(A, Collection<? extends I>) - Constructor for class net.automatalib.automaton.graph.AutomatonGraphView
 
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.automaton.copy
 
AutomatonType - Enum in net.automatalib.serialization.saf
 
AutomatonVisualizationHelper<S,​I,​T,​A extends Automaton<S,​I,​T>> - Class in net.automatalib.automaton.visualization
 
AutomatonVisualizationHelper(A) - Constructor for class net.automatalib.automaton.visualization.AutomatonVisualizationHelper
 
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.common.util.io.NonClosingInputStream
 
AWUNode<L,​AP> - Class in net.automatalib.modelchecker.m3c.formula.ctl
Java representation of an "AWU" (sub-)formula.
AWUNode(FormulaNode<L, AP>, FormulaNode<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.formula.ctl.AWUNode
 
AWUtil - Class in net.automatalib.common.util.array
Utility class for writing containers to arrays.

B

BackedGeneralPriorityQueue<E,​K extends Comparable<K>> - Class in net.automatalib.common.smartcollection
A SmartGeneralPriorityQueue implementation that is backed by a SmartDynamicPriorityQueue.
BackedGeneralPriorityQueue() - Constructor for class net.automatalib.common.smartcollection.BackedGeneralPriorityQueue
 
BackedGeneralPriorityQueue(int) - Constructor for class net.automatalib.common.smartcollection.BackedGeneralPriorityQueue
 
BackedGeneralPriorityQueue(Supplier<? extends SmartDynamicPriorityQueue<BackedGeneralPriorityQueue.Entry<E, K>>>) - Constructor for class net.automatalib.common.smartcollection.BackedGeneralPriorityQueue
 
BackedGeneralPriorityQueue(List<? extends E>, List<K>) - Constructor for class net.automatalib.common.smartcollection.BackedGeneralPriorityQueue
 
BackedGeneralPriorityQueue(SmartDynamicPriorityQueue<BackedGeneralPriorityQueue.Entry<E, K>>) - Constructor for class net.automatalib.common.smartcollection.BackedGeneralPriorityQueue
Constructor.
BackedGeneralPriorityQueue.Entry<E,​K extends Comparable<K>> - Class in net.automatalib.common.smartcollection
Note: this class has a natural ordering that is inconsistent with equals.
backtrackEdge(N, D, E, N, D) - Method in interface net.automatalib.util.graph.traversal.GraphTraversalVisitor
Called when an edge is backtracked.
backtrackEdge(N, TarjanSCCRecord, E, N, TarjanSCCRecord) - Method in class net.automatalib.util.graph.scc.TarjanSCCVisitor
 
BacktrackingSearch - Class in net.automatalib.util.automaton.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.automaton.ads
Utility enum, that allows to specify the optimization criterion when performing and optimal ADS search.
backtrackTransition(S, D, I, T, S, D) - Method in interface net.automatalib.util.ts.traversal.TSTraversalVisitor
Called when an edge is backtracked.
bddSolver(ContextFreeModalProcessSystem<String, String>) - Static method in class net.automatalib.modelchecker.m3c.solver.M3CSolvers
Returns a BDD-backed M3CSolver solver for string-based ContextFreeModalProcessSystem.
BDDSolver<L,​AP> - Class in net.automatalib.modelchecker.m3c.solver
Implementation based on property transformers being represented by BDDs (Binary Decision Diagrams).
BDDSolver(ContextFreeModalProcessSystem<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.solver.BDDSolver
 
BDDTransformer<L,​AP> - Class in net.automatalib.modelchecker.m3c.transformer
A BDDTransformer represents a property transformer for a list of BDDs (Binary Decision Diagrams), one per subformula.
BDDTransformer(BDDManager, int) - Constructor for class net.automatalib.modelchecker.m3c.transformer.BDDTransformer
The Property Transformer representing the identity function.
BDDTransformer(BDDManager, L, TP, DependencyGraph<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.transformer.BDDTransformer
Constructor used to create the property transformer for an edge.
BDDTransformer(BDDManager, DependencyGraph<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.transformer.BDDTransformer
Constructor used to initialize the property transformer of a node.
BDDTransformerSerializer<L,​AP> - Class in net.automatalib.modelchecker.m3c.transformer
This class can be used to serialize and deserialize BDDTransformers.
BDDTransformerSerializer(BDDManager) - Constructor for class net.automatalib.modelchecker.m3c.transformer.BDDTransformerSerializer
 
beforeExecute(Thread, Runnable) - Method in class net.automatalib.common.util.concurrent.ScalingThreadPoolExecutor
 
BFS - Static variable in interface net.automatalib.util.automaton.copy.AutomatonCopyMethod
 
BidirectionalGraph<N,​E> - Interface in net.automatalib.graph
Interface for bidirectional graph.
BidirectionalGraph.IntAbstraction<E> - Interface in net.automatalib.graph
BiIntFunction<R> - Interface in net.automatalib.common.util.function
An int-primitive version of the BiFunction.
BinaryHeap<E> - Class in net.automatalib.common.smartcollection
A PriorityQueue implementation using a binary heap.
BinaryHeap(int, Collection<? extends E>, Comparator<? super E>) - Constructor for class net.automatalib.common.smartcollection.BinaryHeap
 
BinaryHeap(int, Comparator<? super E>) - Constructor for class net.automatalib.common.smartcollection.BinaryHeap
 
Bisimulation - Class in net.automatalib.util.automaton.equivalence
 
bisimulationEquivalenceRelation(A, B, Collection<I>) - Static method in class net.automatalib.util.automaton.equivalence.Bisimulation
 
BitSetIterator - Class in net.automatalib.common.util.collection
Iterator for iterating over a BitSet like over a normal collection.
BitSetIterator(BitSet) - Constructor for class net.automatalib.common.util.collection.BitSetIterator
Default constructor for an immutable iterator.
BitSetIterator(BitSet, boolean) - Constructor for class net.automatalib.common.util.collection.BitSetIterator
Constructor.
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.common.util.WrapperUtil
 
booleanValue(Boolean, boolean) - Static method in class net.automatalib.common.util.WrapperUtil
 
BOX - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes
 
BoxNode<L,​AP> - Class in net.automatalib.modelchecker.m3c.formula
Java representation of a "[]" (sub-)formula.
BoxNode(L, FormulaNode<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.formula.BoxNode
 
BoxNode(FormulaNode<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.formula.BoxNode
 
BREADTH_FIRST - net.automatalib.util.traversal.TraversalOrder
 
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.graph.traversal.GraphTraversal
Traverses the given graph in a breadth-first fashion.
breadthFirst(IndefiniteGraph<N, E>, int, N, GraphTraversalVisitor<N, E, D>) - Static method in class net.automatalib.util.graph.traversal.GraphTraversal
Traverses the given graph in a breadth-first fashion.
breadthFirst(IndefiniteGraph<N, E>, Collection<? extends N>, GraphTraversalVisitor<N, E, D>) - Static method in class net.automatalib.util.graph.traversal.GraphTraversal
Traverses the given graph in a breadth-first fashion.
breadthFirst(IndefiniteGraph<N, E>, N, GraphTraversalVisitor<N, E, D>) - Static method in class net.automatalib.util.graph.traversal.GraphTraversal
Traverses the given graph in a breadth-first fashion.
breadthFirst(TransitionSystem<S, ? super I, T>, int, Collection<? extends I>, TSTraversalVisitor<S, I, T, D>) - Static method in class net.automatalib.util.ts.traversal.TSTraversal
Traverses the given transition system in a breadth-first fashion.
breadthFirst(TransitionSystem<S, ? super I, T>, Collection<? extends I>, TSTraversalVisitor<S, I, T, D>) - Static method in class net.automatalib.util.ts.traversal.TSTraversal
Traverses the given transition system in a breadth-first fashion.
breadthFirstIterator(IndefiniteGraph<N, E>, Collection<? extends N>) - Static method in class net.automatalib.util.graph.traversal.GraphTraversal
Returns an Iterator for the (reachable) nodes of the given graph in breadth-first order.
breadthFirstIterator(TransitionSystem<S, I, ?>, Collection<? extends I>) - Static method in class net.automatalib.util.ts.traversal.TSTraversal
Returns an Iterator for the (reachable) states of the given transition system in breadth-first order.
breadthFirstOrder(IndefiniteGraph<N, E>, Collection<? extends N>) - Static method in class net.automatalib.util.graph.traversal.GraphTraversal
Returns an Iterable for the (reachable) nodes of the given graph in breadth-first order.
breadthFirstOrder(TransitionSystem<S, I, ?>, Collection<? extends I>) - Static method in class net.automatalib.util.ts.traversal.TSTraversal
Returns an Iterable for the (reachable) states of the given transition system in breadth-first order.
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(char, char) - Constructor for class net.automatalib.brics.BricsTransitionProperty
Constructor.
BricsTransitionProperty(Transition) - Constructor for class net.automatalib.brics.BricsTransitionProperty
Constructor.
buildFromTrace(MealyMachine<S, I, T, O>, Word<I>, S) - Static method in class net.automatalib.util.automaton.ads.ADSUtil
 
buildModalProperty(ModalEdgeProperty.ModalType) - Method in class net.automatalib.ts.modal.AbstractCompactMTS
 
buildModalProperty(ModalEdgeProperty.ModalType) - Method in class net.automatalib.ts.modal.CompactMTS
 
buildProcess(String[], Reader, Consumer<String>, Consumer<String>) - Static method in class net.automatalib.common.util.process.ProcessUtil
Builds and starts a system process for the given set of command line arguments.
buildTraceForNode(ADSNode<S, I, O>) - Static method in class net.automatalib.util.automaton.ads.ADSUtil
 
BY_FULL_SIGNATURE - net.automatalib.util.partitionrefinement.AutomatonInitialPartitioning
States are initially partitioned by both their state properties and their transition properties.
BY_STATE_PROPERTY - net.automatalib.util.partitionrefinement.AutomatonInitialPartitioning
States are initially partitioned by their state property, i.e., states with the same state property are initially placed in the same partition class.
BY_TRANSITION_PROPERTIES - net.automatalib.util.partitionrefinement.AutomatonInitialPartitioning
States are initially partitioned by all of their transition properties, i.e., states with the same input symbol/transition property combinations are initially placed in the same partition class.
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
 
byFullSignature(SP, 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
 
byTransitionProperties(TP...) - Static method in class net.automatalib.util.partitionrefinement.StateSignature
 

C

CALL - net.automatalib.alphabet.VPAlphabet.SymbolType
 
callLocId - Variable in class net.automatalib.automaton.vpa.SEVPAGraphView.SevpaViewEdge
 
callReturnBalance(Word<I>) - Method in interface net.automatalib.alphabet.VPAlphabet
Returns the call-return balance of the given word relative to this alphabet.
callSymbol - Variable in class net.automatalib.automaton.vpa.SEVPAGraphView.SevpaViewEdge
 
canonicalComparator() - Static method in class net.automatalib.common.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.word.Word
 
canonicalComparator(Comparator<? super U>) - Static method in class net.automatalib.common.util.comparison.CmpUtil
Retrieves a canonical comparator for the given list type.
canonicalCompare(int[], int[]) - Static method in class net.automatalib.common.util.comparison.CmpUtil
 
canonicalCompare(List<? extends U>, List<? extends U>) - Static method in class net.automatalib.common.util.comparison.CmpUtil
Compares two Lists of Comparable elements with respect to canonical ordering.
canonicalCompare(List<? extends U>, List<? extends U>, Comparator<? super U>) - Static method in class net.automatalib.common.util.comparison.CmpUtil
Compares two Lists with respect to canonical ordering.
canonicalNext(Alphabet<I>) - Method in class net.automatalib.word.Word
Retrieves the next word after this in canonical order.
canonizeBlocks() - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
Iterates over the current block list and sets every block's low and high pointer to the accumulated sum of its own high pointer and its preceding blocks' high pointers, effectively reducing each block to a single representative padded by its previous range.
CapacityManagement - Interface in net.automatalib.common.smartcollection
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.common.util.collection.CollectionsUtil
Returns an iterator that iterates over the cartesian product of its given source domains.
castRef(ElementReference) - Method in class net.automatalib.common.smartcollection.AbstractLinkedList
Helper function for casting a general ElementReference to the specific linked list entry type.
CFMPSGraphView<N,​L,​E,​AP> - Class in net.automatalib.graph
Graph representation of a ContextFreeModalProcessSystem that displays all nodes of its sub-procedures once, i.e., without incorporating execution semantics such as expansion.
CFMPSGraphView(Map<L, ? extends ProceduralModalProcessGraph<? extends N, L, ? extends E, AP, ?>>) - Constructor for class net.automatalib.graph.CFMPSGraphView
 
CFMPSVisualizationHelper<N,​L,​E> - Class in net.automatalib.graph.visualization
 
CFMPSVisualizationHelper(Map<L, ? extends ProceduralModalProcessGraph<? extends N, L, ? extends E, ?, ?>>) - Constructor for class net.automatalib.graph.visualization.CFMPSVisualizationHelper
 
changeKey(ElementReference, K) - Method in class net.automatalib.common.smartcollection.BackedGeneralPriorityQueue
 
changeKey(ElementReference, K) - Method in interface net.automatalib.common.smartcollection.SmartGeneralPriorityQueue
Changes the key of an element in the priority key.
characterizingSet(UniversalDeterministicAutomaton<?, I, ?, ?, ?>, Collection<? extends I>) - Static method in class net.automatalib.util.automaton.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.automaton.Automata
Computes a characterizing set for the given automaton.
characterizingSetIterator(UniversalDeterministicAutomaton<?, I, ?, ?, ?>, Collection<? extends I>) - Static method in class net.automatalib.util.automaton.equivalence.CharacterizingSets
 
CharacterizingSets - Class in net.automatalib.util.automaton.equivalence
Operations for calculating characterizing sets.
characters(char, char) - Static method in class net.automatalib.alphabet.Alphabets
 
charGet(int) - Method in class net.automatalib.common.util.collection.CharRange
 
charGet(int) - Method in class net.automatalib.common.util.collection.CharStringRange
 
charRange(char, char) - Static method in class net.automatalib.common.util.collection.CollectionsUtil
 
CharRange - Class in net.automatalib.common.util.collection
 
CharRange(char, char) - Constructor for class net.automatalib.common.util.collection.CharRange
 
CharRange(char, char, int) - Constructor for class net.automatalib.common.util.collection.CharRange
 
CharRange(IntRange) - Constructor for class net.automatalib.common.util.collection.CharRange
 
CharRangeIterator - Class in net.automatalib.common.util.collection
 
CharRangeIterator(char, int, int) - Constructor for class net.automatalib.common.util.collection.CharRangeIterator
 
CharRangeIterator(char, int, int, int) - Constructor for class net.automatalib.common.util.collection.CharRangeIterator
 
CharRangeIterator(IntRangeIterator) - Constructor for class net.automatalib.common.util.collection.CharRangeIterator
 
charStringRange(char, char) - Static method in class net.automatalib.common.util.collection.CollectionsUtil
 
CharStringRange - Class in net.automatalib.common.util.collection
 
CharStringRange(char, char) - Constructor for class net.automatalib.common.util.collection.CharStringRange
 
CharStringRange(char, char, int) - Constructor for class net.automatalib.common.util.collection.CharStringRange
 
CharStringRange(IntRange) - Constructor for class net.automatalib.common.util.collection.CharStringRange
 
CharStringRangeIterator - Class in net.automatalib.common.util.collection
 
CharStringRangeIterator(char, int, int) - Constructor for class net.automatalib.common.util.collection.CharStringRangeIterator
 
CharStringRangeIterator(char, int, int, int) - Constructor for class net.automatalib.common.util.collection.CharStringRangeIterator
 
CharStringRangeIterator(IntRangeIterator) - Constructor for class net.automatalib.common.util.collection.CharStringRangeIterator
 
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
Checks whether the DOT utility can be successfully invoked.
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.common.smartcollection.AbstractLinkedList
 
choose() - Method in class net.automatalib.common.smartcollection.AbstractSmartCollection
 
choose() - Method in class net.automatalib.common.smartcollection.BackedGeneralPriorityQueue
 
choose() - Method in interface net.automatalib.common.smartcollection.SmartCollection
Retrieves an arbitrary element from the collection.
choose() - Method in class net.automatalib.common.smartcollection.UnorderedCollection
 
choose(Random, List<? extends T>) - Static method in class net.automatalib.common.util.random.RandomUtil
 
choose(Random, T[]) - Static method in class net.automatalib.common.util.random.RandomUtil
 
chooseInitial() - Method in class net.automatalib.util.automaton.random.RandomAutomatonGenerator
 
chooseInitials(int) - Method in class net.automatalib.util.automaton.random.RandomAutomatonGenerator
 
chooseRef() - Method in class net.automatalib.common.smartcollection.AbstractLinkedList
 
chooseRef() - Method in class net.automatalib.common.smartcollection.AbstractSmartCollection
 
chooseRef() - Method in class net.automatalib.common.smartcollection.BackedGeneralPriorityQueue
 
chooseRef() - Method in interface net.automatalib.common.smartcollection.SmartCollection
Retrieves the reference to an arbitrary element from the collection.
chooseRef() - Method in class net.automatalib.common.smartcollection.UnorderedCollection
 
CIRCLE - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeShapes
 
clear() - Method in class net.automatalib.automaton.base.AbstractCompact
 
clear() - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
 
clear() - Method in class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
 
clear() - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
 
clear() - Method in class net.automatalib.automaton.base.AbstractFastMutable
 
clear() - Method in class net.automatalib.automaton.base.AbstractFastMutableDet
 
clear() - Method in class net.automatalib.automaton.base.AbstractFastMutableNondet
 
clear() - Method in class net.automatalib.automaton.fsa.CompactDFA
 
clear() - Method in class net.automatalib.automaton.fsa.CompactNFA
 
clear() - Method in interface net.automatalib.automaton.MutableAutomaton
Removes all states and transitions.
clear() - Method in class net.automatalib.automaton.transducer.CompactMealy
 
clear() - Method in class net.automatalib.automaton.UniversalCompactDet
 
clear() - Method in class net.automatalib.automaton.UniversalCompactSimpleDet
 
clear() - Method in class net.automatalib.common.smartcollection.AbstractLinkedList
 
clear() - Method in class net.automatalib.common.smartcollection.BackedGeneralPriorityQueue
 
clear() - Method in class net.automatalib.common.smartcollection.UnorderedCollection
 
clear() - Method in class net.automatalib.common.util.collection.PositiveIntSet
 
clear() - Method in class net.automatalib.common.util.nid.DynamicList
 
clear() - Method in interface net.automatalib.modelchecking.ModelCheckerCache
Clears the cache.
clear() - Method in class net.automatalib.ts.modal.AbstractCompactMTS
 
clear() - Method in class net.automatalib.word.WordBuilder
 
clearTransitionObject(T) - Method in class net.automatalib.automaton.base.AbstractFastState
 
clearTransitionObjects() - Method in class net.automatalib.automaton.base.AbstractFastState
 
clone() - Method in class net.automatalib.common.smartcollection.ArrayStorage
 
close() - Method in class net.automatalib.common.util.io.NonClosingInputStream
 
close() - Method in class net.automatalib.common.util.io.NonClosingOutputStream
 
close() - Method in class net.automatalib.common.util.io.UnclosableInputStream
 
close() - Method in class net.automatalib.common.util.io.UnclosableOutputStream
 
closedCharStringRange(char, char) - Static method in class net.automatalib.alphabet.Alphabets
 
CmpUtil - Class in net.automatalib.common.util.comparison
Various methods for dealing with the comparison of objects.
CollectionsUtil - Class in net.automatalib.common.util.collection
Various methods for operating on collections.
collectLeaves(ADSNode<S, I, O>) - Static method in class net.automatalib.util.automaton.ads.ADSUtil
 
collector() - Static method in class net.automatalib.alphabet.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.word.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.graph.Graphs
Collects all strongly-connected components in a graph.
collectSCCs(Graph<N, E>) - Static method in class net.automatalib.util.graph.scc.SCCs
Collects all strongly-connected components in a graph.
color - Variable in class net.automatalib.visualization.jung.JungGraphVisualizationProvider.NodeVisualization
 
COLOR - Static variable in class net.automatalib.visualization.VisualizationHelper.CommonAttrs
 
ColorVisualizationHelper - Class in net.automatalib.modelchecker.m3c.visualization
A VisualizationHelper for WitnessTrees that emphasizes nodes and edges of the witness and de-emphasizes the remaining ones.
ColorVisualizationHelper(WitnessTree<?, ?>) - Constructor for class net.automatalib.modelchecker.m3c.visualization.ColorVisualizationHelper
 
combine(boolean, boolean) - Method in interface net.automatalib.util.ts.acceptor.AcceptanceCombiner
Combine two acceptance values.
combine(I, Word<I>) - Method in class net.automatalib.util.automaton.conformance.SPATestsIterator
 
combine(L1, L2) - Method in class net.automatalib.common.util.collection.AbstractTwoLevelIterator
 
combine(L1, L2, L3) - Method in class net.automatalib.common.util.collection.AbstractThreeLevelIterator
 
combine(DFA<?, I>, DFA<?, I>, Collection<? extends I>, A, AcceptanceCombiner) - Static method in class net.automatalib.util.automaton.fsa.DFAs
Most general way of combining two DFAs.
combine(DFA<?, I>, DFA<?, I>, Alphabet<I>, AcceptanceCombiner) - Static method in class net.automatalib.util.automaton.fsa.DFAs
Most general way of combining two DFAs.
combine(NFA<?, I>, NFA<?, I>, Collection<? extends I>, A, AcceptanceCombiner) - Static method in class net.automatalib.util.automaton.fsa.NFAs
Most general way of combining two NFAs.
combine(NFA<?, I>, NFA<?, I>, Alphabet<I>, AcceptanceCombiner) - Static method in class net.automatalib.util.automaton.fsa.NFAs
Most general way of combining two NFAs.
combine(MealyMachine<?, I, ?, O1>, MealyMachine<?, I, ?, O2>, Collection<? extends I>, A) - Static method in class net.automatalib.util.automaton.transducer.MealyMachines
Constructs the product automaton for two Mealy Machines.
combine(MealyMachine<?, I, ?, O1>, MealyMachine<?, I, ?, O2>, Alphabet<I>) - Static method in class net.automatalib.util.automaton.transducer.MealyMachines
Constructs the product automaton for two Mealy Machines.
combine(OneSEVPA<L1, I>, OneSEVPA<L2, I>, VPAlphabet<I>, AcceptanceCombiner) - Static method in class net.automatalib.util.automaton.vpa.OneSEVPAs
Most general way of combining two OneSEVPAs.
combine(Word<I>, List<I>, Word<I>) - Method in class net.automatalib.util.automaton.conformance.WMethodTestsIterator
 
combine(S, I) - Method in class net.automatalib.util.ts.iterator.AllDefinedInputsIterator
 
combine(S, I) - Method in class net.automatalib.util.ts.iterator.AllUndefinedInputsIterator
 
combine(TS1, TS2) - Static method in class net.automatalib.util.ts.transducer.Transducers
 
combine(TS1, TS2, AcceptanceCombiner) - Static method in class net.automatalib.util.ts.acceptor.Acceptors
 
CompactBidiEdge<EP> - Class in net.automatalib.graph.base
 
CompactBidiEdge(int, int, EP) - Constructor for class net.automatalib.graph.base.CompactBidiEdge
 
CompactBidiGraph<NP,​EP> - Class in net.automatalib.graph
 
CompactBidiGraph() - Constructor for class net.automatalib.graph.CompactBidiGraph
 
CompactBidiGraph(int) - Constructor for class net.automatalib.graph.CompactBidiGraph
 
CompactDFA<I> - Class in net.automatalib.automaton.fsa
 
CompactDFA(Alphabet<I>) - Constructor for class net.automatalib.automaton.fsa.CompactDFA
 
CompactDFA(Alphabet<I>, float) - Constructor for class net.automatalib.automaton.fsa.CompactDFA
 
CompactDFA(Alphabet<I>, int) - Constructor for class net.automatalib.automaton.fsa.CompactDFA
 
CompactDFA(Alphabet<I>, int, float) - Constructor for class net.automatalib.automaton.fsa.CompactDFA
 
CompactDFA(Alphabet<I>, CompactDFA<?>) - Constructor for class net.automatalib.automaton.fsa.CompactDFA
 
CompactDFA(CompactDFA<I>) - Constructor for class net.automatalib.automaton.fsa.CompactDFA
 
CompactDFA.Creator<I> - Class in net.automatalib.automaton.fsa
 
CompactEdge<EP> - Class in net.automatalib.graph.base
An edge in a CompactSimpleGraph.
CompactEdge(int, EP) - Constructor for class net.automatalib.graph.base.CompactEdge
 
CompactGraph<NP,​EP> - Class in net.automatalib.graph
 
CompactGraph() - Constructor for class net.automatalib.graph.CompactGraph
 
CompactGraph(int) - Constructor for class net.automatalib.graph.CompactGraph
 
CompactMealy<I,​O> - Class in net.automatalib.automaton.transducer
 
CompactMealy(Alphabet<I>) - Constructor for class net.automatalib.automaton.transducer.CompactMealy
 
CompactMealy(Alphabet<I>, int) - Constructor for class net.automatalib.automaton.transducer.CompactMealy
 
CompactMealy(Alphabet<I>, int, float) - Constructor for class net.automatalib.automaton.transducer.CompactMealy
 
CompactMealy(Alphabet<I>, CompactMealy<?, O>) - Constructor for class net.automatalib.automaton.transducer.CompactMealy
 
CompactMealy(CompactMealy<I, O>) - Constructor for class net.automatalib.automaton.transducer.CompactMealy
 
CompactMealy.Creator<I,​O> - Class in net.automatalib.automaton.transducer
 
CompactMoore<I,​O> - Class in net.automatalib.automaton.transducer
 
CompactMoore(Alphabet<I>) - Constructor for class net.automatalib.automaton.transducer.CompactMoore
 
CompactMoore(Alphabet<I>, int, float) - Constructor for class net.automatalib.automaton.transducer.CompactMoore
 
CompactMoore(Alphabet<I>, CompactMoore<?, O>) - Constructor for class net.automatalib.automaton.transducer.CompactMoore
 
CompactMoore(CompactMoore<I, O>) - Constructor for class net.automatalib.automaton.transducer.CompactMoore
 
CompactMoore.Creator<I,​O> - Class in net.automatalib.automaton.transducer
 
CompactMTS<I> - Class in net.automatalib.ts.modal
 
CompactMTS(Alphabet<I>) - Constructor for class net.automatalib.ts.modal.CompactMTS
 
CompactMTS(Alphabet<I>, int, float) - Constructor for class net.automatalib.ts.modal.CompactMTS
 
CompactNFA<I> - Class in net.automatalib.automaton.fsa
 
CompactNFA(Alphabet<I>) - Constructor for class net.automatalib.automaton.fsa.CompactNFA
 
CompactNFA(Alphabet<I>, int) - Constructor for class net.automatalib.automaton.fsa.CompactNFA
 
CompactNFA(Alphabet<I>, CompactNFA<?>) - Constructor for class net.automatalib.automaton.fsa.CompactNFA
 
CompactNFA(CompactNFA<I>) - Constructor for class net.automatalib.automaton.fsa.CompactNFA
 
CompactNFA.Creator<I> - Class in net.automatalib.automaton.fsa
 
CompactPMPG<L,​AP> - Class in net.automatalib.graph
 
CompactPMPG(L) - Constructor for class net.automatalib.graph.CompactPMPG
 
CompactPMPGEdge<L,​EP> - Class in net.automatalib.graph
 
CompactPMPGEdge(int, EP, L) - Constructor for class net.automatalib.graph.CompactPMPGEdge
 
CompactSimpleBidiGraph<EP> - Class in net.automatalib.graph
 
CompactSimpleBidiGraph() - Constructor for class net.automatalib.graph.CompactSimpleBidiGraph
 
CompactSimpleBidiGraph(int) - Constructor for class net.automatalib.graph.CompactSimpleBidiGraph
 
CompactSimpleGraph<EP> - Class in net.automatalib.graph
 
CompactSimpleGraph() - Constructor for class net.automatalib.graph.CompactSimpleGraph
 
CompactSimpleGraph(int) - Constructor for class net.automatalib.graph.CompactSimpleGraph
 
CompactSST<I,​O> - Class in net.automatalib.automaton.transducer
 
CompactSST(Alphabet<I>) - Constructor for class net.automatalib.automaton.transducer.CompactSST
 
CompactSST(CompactSST<I, O>) - Constructor for class net.automatalib.automaton.transducer.CompactSST
 
CompactTransition<TP> - Class in net.automatalib.automaton
 
CompactTransition(int, int, TP) - Constructor for class net.automatalib.automaton.CompactTransition
 
CompactTransition(int, TP) - Constructor for class net.automatalib.automaton.CompactTransition
 
compare(E, E) - Method in class net.automatalib.alphabet.EnumAlphabet
 
compare(I, I) - Method in interface net.automatalib.alphabet.Alphabet
 
compare(I, I) - Method in class net.automatalib.alphabet.FastAlphabet
 
compareTo(BackedGeneralPriorityQueue.Entry<E, K>) - Method in class net.automatalib.common.smartcollection.BackedGeneralPriorityQueue.Entry
 
compareTo(S) - Method in class net.automatalib.alphabet.AbstractSymbol
 
complement(DFA<?, I>, Collection<? extends I>, A) - Static method in class net.automatalib.util.automaton.fsa.DFAs
Calculates the complement (negation) of a DFA, and stores the result in a given mutable DFA.
complement(DFA<?, I>, Alphabet<I>) - Static method in class net.automatalib.util.automaton.fsa.DFAs
Calculates the complement (negation) of a DFA, and returns the result as a new DFA.
complement(MutableDFA<?, I>, Collection<? extends I>) - Static method in class net.automatalib.util.automaton.fsa.MutableDFAs
 
complete(DFA<?, I>, Collection<? extends I>, A) - Static method in class net.automatalib.util.automaton.fsa.DFAs
 
complete(DFA<?, I>, Alphabet<I>) - Static method in class net.automatalib.util.automaton.fsa.DFAs
 
complete(MutableDFA<?, I>, Collection<? extends I>) - Static method in class net.automatalib.util.automaton.fsa.MutableDFAs
 
complete(MutableDFA<?, I>, Collection<? extends I>, boolean) - Static method in class net.automatalib.util.automaton.fsa.MutableDFAs
 
complete(MutableDFA<S, I>, Collection<? extends I>, boolean, boolean) - Static method in class net.automatalib.util.automaton.fsa.MutableDFAs
 
complete(MealyMachine<?, I, ?, O>, Collection<? extends I>, O, A) - Static method in class net.automatalib.util.automaton.transducer.MealyMachines
Constructs a copy of the given Mealy machine in which every transition (in regard to the specified alphabet) is guaranteed to be defined.
complete(MealyMachine<?, I, ?, O>, Alphabet<I>, O) - Static method in class net.automatalib.util.automaton.transducer.MealyMachines
Constructs a copy of the given Mealy machine in which every transition (in regard to the specified alphabet) is guaranteed to be defined.
complete(MutableMealyMachine<?, I, ?, O>, Collection<? extends I>, O) - Static method in class net.automatalib.util.automaton.transducer.MutableMealyMachines
 
complete(MutableMealyMachine<S, I, ?, O>, Collection<? extends I>, O, boolean) - Static method in class net.automatalib.util.automaton.transducer.MutableMealyMachines
 
compose(Predicate<? super S>, Predicate<? super I>, Predicate<? super T>) - Static method in class net.automatalib.util.automaton.predicate.TransitionPredicates
 
compose(Mapping<D, ? extends I>, Mapping<? super I, R>) - Static method in class net.automatalib.common.util.mapping.Mappings
Retrieves the composition of two mappings, i.e., that mapping that results from applying the Mapping.get(Object) method consecutively.
compose(ADDTransformer<L, AP>) - Method in class net.automatalib.modelchecker.m3c.transformer.ADDTransformer
 
compose(BDDTransformer<L, AP>) - Method in class net.automatalib.modelchecker.m3c.transformer.BDDTransformer
 
compose(ModalTransitionSystem<S0, I, ?, ?>, ModalTransitionSystem<S1, I, ?, ?>) - Static method in class net.automatalib.util.ts.modal.MTSs
 
compose(ModalTransitionSystem<S0, I, ?, ?>, ModalTransitionSystem<S1, I, ?, ?>, AutomatonCreator<A, I>) - Static method in class net.automatalib.util.ts.modal.MTSs
 
compose(T) - Method in class net.automatalib.modelchecker.m3c.transformer.AbstractPropertyTransformer
Returns the composition h of this and other such that h(x) = this(other(x)).
compose(TS1, TS2) - Static method in class net.automatalib.util.ts.comp.TSCompositions
 
composeWithMapping(ModalTransitionSystem<S0, I, ?, ?>, ModalTransitionSystem<S1, I, ?, ?>, AutomatonCreator<A, I>) - Static method in class net.automatalib.util.ts.modal.MTSs
 
compute(MealyMachine<S, I, ?, O>, Alphabet<I>) - Static method in class net.automatalib.util.automaton.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.automaton.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.automaton.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>, Set<S>) - Static method in class net.automatalib.util.automaton.ads.StateEquivalence
computeAccessAndReturnSequences(SPA<?, I>, ProceduralInputAlphabet<I>, Map<I, Word<I>>) - Static method in class net.automatalib.util.automaton.procedural.SPAs
Computes for a given SPA a set of access sequences and return sequences using the given alphabet.
computeAccessSequence(OneSEVPA<L, I>, VPAlphabet<I>, Predicate<? super L>) - Static method in class net.automatalib.util.automaton.vpa.OneSEVPAs
Computes an access sequence over the given alphabet (if existent) such that it reaches a location of the given SEVPA that satisfies the given predicate.
computeAccessSequences(SBA<?, I>, ProceduralInputAlphabet<I>, Map<I, Word<I>>) - Static method in class net.automatalib.util.automaton.procedural.SBAs
Computes for a given SBA a set of access sequences using the given alphabet.
computeAccessSequences(SPMM<?, I, ?, O>, ProceduralInputAlphabet<I>, Map<I, Word<I>>) - Static method in class net.automatalib.util.automaton.procedural.SPMMs
Computes for a given SPMM a set of access sequences using the SPMM alphabet.
computeAccessSequences(OneSEVPA<L, I>, VPAlphabet<I>) - Static method in class net.automatalib.util.automaton.vpa.OneSEVPAs
Computes all access sequences over the given alphabet (if existent) to the locations of the given SEVPA.
computeATRSequences(SPA<?, I>) - Static method in class net.automatalib.util.automaton.procedural.SPAs
Computes a set of access sequences, terminating sequences, and return sequences for a given SPA.
computeATRSequences(SPA<?, I>, ProceduralInputAlphabet<I>) - Static method in class net.automatalib.util.automaton.procedural.SPAs
Computes a set of access sequences, terminating sequences, and return sequences for a given SPA limited to the symbols of the given ProceduralInputAlphabet.
computeATSequences(SBA<?, I>) - Static method in class net.automatalib.util.automaton.procedural.SBAs
Computes a set of access sequences and terminating sequences for a given SBA.
computeATSequences(SBA<?, I>, ProceduralInputAlphabet<I>) - Static method in class net.automatalib.util.automaton.procedural.SBAs
Computes a set of access sequences and terminating sequences for a given SBA limited to the symbols of the given ProceduralInputAlphabet.
computeATSequences(SPMM<?, I, ?, O>) - Static method in class net.automatalib.util.automaton.procedural.SPMMs
Computes a set of access sequences and terminating sequences for a given SPMM.
computeATSequences(SPMM<?, I, ?, O>, ProceduralInputAlphabet<I>) - Static method in class net.automatalib.util.automaton.procedural.SPMMs
Computes a set of access sequences and return sequences for a given SPMM limited to the symbols of the given ProceduralInputAlphabet.
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.automaton.ads.ADSUtil
 
computeMaximumSplittingWordLength(int, int, int) - Static method in class net.automatalib.util.automaton.ads.ADSUtil
Computes an upper bound for the length of a splitting word.
computeNewCapacity(int, int) - Static method in class net.automatalib.common.smartcollection.ArrayUtil
A convenient method for calling computeNewCapacity(length, requiredCapacity, 0).
computeNewCapacity(int, int, int) - Static method in class net.automatalib.common.smartcollection.ArrayUtil
Computes the size of an array that is required to hold requiredCapacity number of elements.
computeNext() - Method in class net.automatalib.util.ts.iterator.DefinedInputsIterator
 
computeNext() - Method in class net.automatalib.util.ts.iterator.UndefinedInputsIterator
 
computeOptimal(MealyMachine<S, I, ?, O>, Alphabet<I>, Set<S>, BacktrackingSearch.CostAggregator) - Static method in class net.automatalib.util.automaton.ads.BacktrackingSearch
Computes an ADS by iterating over the successor tree in a breadth-first manner, yielding an optimal (dependent on the passed optimization function) ADS.
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automaton.concept.DetSuffixOutputAutomaton
 
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automaton.concept.Output
 
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automaton.concept.SuffixOutput
 
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automaton.fsa.DFA
 
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automaton.fsa.FiniteStateAcceptor
 
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automaton.procedural.SBA
 
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automaton.procedural.SPA
 
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.automaton.vpa.SEVPA
 
computeOutput(Iterable<? extends I>) - Method in class net.automatalib.modelchecking.MealyLassoImpl
 
computeOutput(Iterable<? extends I>) - Method in interface net.automatalib.ts.acceptor.DeterministicAcceptorTS
 
computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automaton.concept.DetSuffixOutputAutomaton
 
computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automaton.fsa.DFA
 
computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automaton.transducer.StateOutputAutomaton
 
computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automaton.transducer.SubsequentialTransducer
 
computeStateOutput(S, Iterable<? extends I>) - Method in interface net.automatalib.automaton.transducer.TransitionOutputAutomaton
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automaton.concept.DetSuffixOutputAutomaton
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automaton.concept.SuffixOutput
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automaton.fsa.DFA
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automaton.fsa.FiniteStateAcceptor
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in class net.automatalib.automaton.procedural.EmptySPMM
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automaton.procedural.SPMM
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.automaton.vpa.SEVPA
 
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in interface net.automatalib.ts.acceptor.DeterministicAcceptorTS
 
computeTerminatingSequences(SBA<?, I>, ProceduralInputAlphabet<I>) - Static method in class net.automatalib.util.automaton.procedural.SBAs
Computes for a given SBA a set of terminating sequences using the given alphabet.
computeTerminatingSequences(SPA<?, I>, ProceduralInputAlphabet<I>) - Static method in class net.automatalib.util.automaton.procedural.SPAs
Computes for a given SPA a set of terminating sequences using the given alphabet.
computeTerminatingSequences(SPMM<?, I, ?, O>, ProceduralInputAlphabet<I>) - Static method in class net.automatalib.util.automaton.procedural.SPMMs
Computes for a given SPMM the set of terminating sequences using the given alphabet.
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.common.smartcollection.AbstractLinkedList
Concatenates two linked lists.
concat(Word<? extends I>...) - Method in class net.automatalib.word.Word
Concatenates this word with several other words and returns the result as a new word.
concatInternal(Word<? extends I>...) - Method in class net.automatalib.word.Word
Realizes the concatenation of this word with several other words.
ConflictException - Exception in net.automatalib.incremental
Conflict exception.
ConflictException() - Constructor for exception net.automatalib.incremental.ConflictException
Default constructor.
ConflictException(String) - Constructor for exception net.automatalib.incremental.ConflictException
Constructor.
ConflictException(String, Throwable) - 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
 
conjunction(ModalTransitionSystem<S0, I, ?, ?>, ModalTransitionSystem<S1, I, ?, ?>) - Static method in class net.automatalib.util.ts.modal.MTSs
 
conjunction(ModalTransitionSystem<S0, I, ?, ?>, ModalTransitionSystem<S1, I, ?, ?>, AutomatonCreator<A, I>) - Static method in class net.automatalib.util.ts.modal.MTSs
 
conjunctionWithMapping(ModalTransitionSystem<S0, I, ?, ?>, ModalTransitionSystem<S1, I, ?, ?>, AutomatonCreator<A, I>) - Static method in class net.automatalib.util.ts.modal.MTSs
 
connect(int, int) - Method in interface net.automatalib.graph.MutableGraph.IntAbstraction
Int-abstracted version of MutableGraph.connect(Object, Object).
connect(int, int, EP) - Method in class net.automatalib.graph.base.AbstractCompactBidiGraph
 
connect(int, int, EP) - Method in class net.automatalib.graph.base.AbstractCompactGraph
 
connect(int, int, EP) - Method in interface net.automatalib.graph.MutableGraph.IntAbstraction
connect(Integer, Integer, EP) - Method in class net.automatalib.graph.base.AbstractCompactGraph
 
connect(N, N) - Method in interface net.automatalib.graph.MutableGraph
Inserts an edge in the graph, with the default property.
connect(N, N, EP) - Method in interface net.automatalib.graph.MutableGraph
Inserts an edge in the graph.
connect(N, N, Void) - Method in class net.automatalib.graph.SimpleMapGraph
 
constantValue(boolean) - Static method in class net.automatalib.util.automaton.predicate.TransitionPredicates
 
contains(Object) - Method in class net.automatalib.common.util.collection.CharRange
 
contains(Object) - Method in class net.automatalib.common.util.collection.CharStringRange
 
contains(Object) - Method in class net.automatalib.common.util.collection.IntRange
 
contains(Object) - Method in class net.automatalib.common.util.collection.PositiveIntSet
 
containsInt(int) - Method in class net.automatalib.common.util.collection.PositiveIntSet
 
containsKey(Object) - Method in class net.automatalib.common.smartcollection.ReflexiveMapView
 
containsSymbol(E) - Method in class net.automatalib.alphabet.EnumAlphabet
 
containsSymbol(I) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
 
containsSymbol(I) - Method in interface net.automatalib.alphabet.Alphabet
Checks whether the given symbol is part of the alphabet.
containsSymbol(I) - Method in class net.automatalib.alphabet.ArrayAlphabet
 
containsSymbol(I) - Method in class net.automatalib.alphabet.FastAlphabet
 
containsSymbol(I) - Method in class net.automatalib.alphabet.ListAlphabet
 
containsSymbol(I) - Method in class net.automatalib.alphabet.MapAlphabet
 
containsSymbol(I) - Method in class net.automatalib.alphabet.SingletonAlphabet
 
containsSymbol(VPSym<I>) - Method in class net.automatalib.alphabet.GrowingVPAlphabet
 
containsValue(Object) - Method in class net.automatalib.common.smartcollection.ReflexiveMapView
 
context - Variable in class net.automatalib.modelchecker.m3c.solver.WitnessTreeState
 
ContextFreeModalProcessSystem<L,​AP> - Interface in net.automatalib.graph
Represents a Context-Free Modal Transition System as defined in the paper M3C: Modal Meta Model Checking.
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.automaton.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.automaton.copy.AutomatonLowLevelCopy
Copies a UniversalAutomaton with compatible input alphabets and 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.automaton.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.automaton.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.automaton.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.automaton.copy.AutomatonLowLevelCopy
Copies a UniversalAutomaton with possibly heterogeneous input alphabets, but compatible properties.
copy(AutomatonCopyMethod, UniversalAutomaton<S1, ? super I1, T1, ? extends SP1, ? extends TP1>, Collection<? extends I1>, MutableAutomaton<S2, I2, T2, ? super SP2, ? super TP2>, Function<? super I1, ? extends I2>, Function<? super SP1, ? extends SP2>, Function<? super TP1, ? extends TP2>) - Static method in class net.automatalib.util.automaton.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.automaton.copy.AutomatonLowLevelCopy
Copies a UniversalAutomaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition 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.
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 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.
copyInitialState(S1) - Method in class net.automatalib.util.automaton.copy.AbstractLowLevelAutomatonCopier
 
copyPlain(Graph<N1, E1>, MutableGraph<N2, E2, NP2, EP2>, Mapping<? super N1, ? extends NP2>, Mapping<? super E1, ? extends EP2>) - Static method in class net.automatalib.util.graph.copy.GraphCopy
 
copyPlain(UniversalGraph<N1, E1, ? extends NP2, ? extends EP2>, MutableGraph<N2, E2, NP2, EP2>) - Static method in class net.automatalib.util.graph.copy.GraphCopy
 
copyState(S1) - Method in class net.automatalib.util.automaton.copy.AbstractLowLevelAutomatonCopier
 
copyTransition(Integer, Integer) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
 
copyTransition(S2, I2, T1, S1) - Method in class net.automatalib.util.automaton.copy.AbstractLowLevelAutomatonCopier
 
copyTransition(S, S) - Method in interface net.automatalib.automaton.fsa.MutableFSA
 
copyTransition(T, S) - Method in interface net.automatalib.automaton.MutableAutomaton
 
copyTransitionChecked(S2, I2, T1, S1) - Method in class net.automatalib.util.automaton.copy.AbstractLowLevelAutomatonCopier
 
copyTransitions(S2, I2, Iterator<? extends T1>) - Method in class net.automatalib.util.automaton.copy.AbstractLowLevelAutomatonCopier
 
copyTraversal(IndefiniteGraph<N1, E1>, MutableGraph<N2, E2, NP2, EP2>, TraversalOrder, int, Collection<? extends N1>, Mapping<? super N1, ? extends NP2>, Mapping<? super E1, ? extends EP2>) - Static method in class net.automatalib.util.graph.copy.GraphCopy
 
copyTraversal(UniversalIndefiniteGraph<N1, E1, ? extends NP2, ? extends EP2>, MutableGraph<N2, E2, NP2, EP2>, TraversalOrder, int, Collection<? extends N1>) - Static method in class net.automatalib.util.graph.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.graph.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.graph.copy.GraphCopy
 
countSymbolNodes(ADSNode<S, I, O>) - Static method in class net.automatalib.util.automaton.ads.ADSUtil
 
cover(DeterministicAutomaton<?, I, ?>, Collection<? extends I>, Collection<? super Word<I>>, Collection<? super Word<I>>) - Static method in class net.automatalib.util.automaton.cover.Covers
Utility method that allows to compute a state and transition cover simultaneously.
Covers - Class in net.automatalib.util.automaton.cover
 
create() - Static method in class net.automatalib.common.smartcollection.BinaryHeap
 
create() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
 
create() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFABuilder
 
create() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
 
create() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorAlternatingBuilder
 
create() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorDFABuilder
 
create() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIOBuilder
 
create() - Method in class net.automatalib.util.automaton.builder.AutomatonBuilder.AutomatonBuilder__2
 
create() - Method in class net.automatalib.util.automaton.builder.AutomatonBuilder
 
create() - Method in class net.automatalib.util.automaton.builder.DFABuilder.DFABuilder__1
 
create() - Method in class net.automatalib.util.automaton.builder.DFABuilder.DFABuilder__6
 
create() - Method in class net.automatalib.util.automaton.builder.FSABuilder
 
create() - Method in class net.automatalib.util.automaton.builder.FSABuilder.FSABuilder__2
 
create() - Method in class net.automatalib.util.automaton.builder.FSABuilder.FSABuilder__3
 
create() - Method in class net.automatalib.util.automaton.builder.MealyBuilder.MealyBuilder__1
 
create() - Method in class net.automatalib.util.automaton.builder.MealyBuilder.MealyBuilder__7
 
create() - Method in class net.automatalib.util.automaton.builder.MooreBuilder.MooreBuilder__1
 
create() - Method in class net.automatalib.util.automaton.builder.MooreBuilder.MooreBuilder__6
 
create(int) - Static method in class net.automatalib.common.smartcollection.BinaryHeap
 
create(int, Collection<? extends E>) - Static method in class net.automatalib.common.smartcollection.BinaryHeap
 
create(Collection<? extends E>) - Static method in class net.automatalib.common.smartcollection.BinaryHeap
 
create(Map<D, R>) - Static method in class net.automatalib.common.util.mapping.MapMapping
 
createAutomaton(Alphabet<I>) - Method in interface net.automatalib.automaton.AutomatonCreator
 
createAutomaton(Alphabet<I>) - Method in class net.automatalib.automaton.fsa.CompactDFA.Creator
 
createAutomaton(Alphabet<I>) - Method in class net.automatalib.automaton.fsa.CompactNFA.Creator
 
createAutomaton(Alphabet<I>) - Method in class net.automatalib.automaton.transducer.CompactMealy.Creator
 
createAutomaton(Alphabet<I>) - Method in class net.automatalib.automaton.transducer.CompactMoore.Creator
 
createAutomaton(Alphabet<I>, int) - Method in interface net.automatalib.automaton.AutomatonCreator
 
createAutomaton(Alphabet<I>, int) - Method in class net.automatalib.automaton.fsa.CompactDFA.Creator
 
createAutomaton(Alphabet<I>, int) - Method in class net.automatalib.automaton.fsa.CompactNFA.Creator
 
createAutomaton(Alphabet<I>, int) - Method in class net.automatalib.automaton.transducer.CompactMealy.Creator
 
createAutomaton(Alphabet<I>, int) - Method in class net.automatalib.automaton.transducer.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.common.smartcollection.BinaryHeap
 
createCmp(Comparator<? super E>, int) - Static method in class net.automatalib.common.smartcollection.BinaryHeap
 
createCmp(Comparator<? super E>, int, Collection<? extends E>) - Static method in class net.automatalib.common.smartcollection.BinaryHeap
 
createCmp(Comparator<? super E>, Collection<? extends E>) - Static method in class net.automatalib.common.smartcollection.BinaryHeap
 
createDynamicNodeMapping() - Method in class net.automatalib.automaton.graph.AbstractAutomatonGraphView
 
createDynamicNodeMapping() - Method in interface net.automatalib.graph.IndefiniteSimpleGraph
Creates a MutableMapping allowing to associate arbitrary data with this graph's nodes.
createDynamicStateMapping() - Method in class net.automatalib.automaton.base.AbstractFastMutable
 
createDynamicStateMapping() - Method in interface net.automatalib.automaton.simple.SimpleAutomaton
 
createDynamicStateMapping() - Method in interface net.automatalib.ts.simple.SimpleTS
Creates a MutableMapping allowing to associate arbitrary data with this transition system's states.
createEdge(int, int, EP) - Method in class net.automatalib.graph.base.AbstractCompactBidiGraph
 
createEdge(int, int, EP) - Method in class net.automatalib.graph.base.AbstractCompactGraph
 
createEdge(int, int, EP) - Method in class net.automatalib.graph.CompactGraph
 
createEdge(int, int, EP) - Method in class net.automatalib.graph.CompactSimpleGraph
 
createEdge(int, int, MutableProceduralModalEdgeProperty) - Method in class net.automatalib.graph.CompactPMPG
 
createEdgeVisualization(Map<String, String>) - Static method in class net.automatalib.visualization.jung.JungGraphVisualizationProvider
 
createInitTransformerEdge(DependencyGraph<L, AP>, L, TP) - Method in class net.automatalib.modelchecker.m3c.solver.ADDSolver
 
createInitTransformerEdge(DependencyGraph<L, AP>, L, TP) - Method in class net.automatalib.modelchecker.m3c.solver.BDDSolver
 
createInitTransformerEndNode(DependencyGraph<L, AP>) - Method in class net.automatalib.modelchecker.m3c.solver.ADDSolver
 
createInitTransformerEndNode(DependencyGraph<L, AP>) - Method in class net.automatalib.modelchecker.m3c.solver.BDDSolver
 
createInitTransformerNode(DependencyGraph<L, AP>) - Method in class net.automatalib.modelchecker.m3c.solver.ADDSolver
 
createInitTransformerNode(DependencyGraph<L, AP>) - Method in class net.automatalib.modelchecker.m3c.solver.BDDSolver
 
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.automaton.copy.AutomatonCopyMethod
 
createNodeVisualization(Map<String, String>, int) - Static method in class net.automatalib.visualization.jung.JungGraphVisualizationProvider
 
createState(Boolean) - Method in class net.automatalib.automaton.fsa.FastDFA
 
createState(Boolean) - Method in class net.automatalib.automaton.fsa.FastNFA
 
createState(O) - Method in class net.automatalib.automaton.transducer.FastMoore
 
createState(SP) - Method in class net.automatalib.automaton.base.AbstractFastMutable
 
createState(Void) - Method in class net.automatalib.automaton.transducer.FastMealy
 
createState(Void) - Method in class net.automatalib.automaton.transducer.probabilistic.FastProbMealy
 
createStaticNodeMapping() - Method in class net.automatalib.automaton.graph.AbstractAutomatonGraphView
 
createStaticNodeMapping() - Method in interface net.automatalib.graph.IndefiniteSimpleGraph
Creates a MutableMapping allowing to associate arbitrary data with this graph's nodes.
createStaticStateMapping() - Method in interface net.automatalib.automaton.simple.SimpleAutomaton
 
createStaticStateMapping() - Method in interface net.automatalib.ts.simple.SimpleTS
Creates a MutableMapping allowing to associate arbitrary data with this transition system's states.
createTransition(int, Void) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
 
createTransition(int, O) - Method in class net.automatalib.automaton.transducer.CompactMealy
 
createTransition(int, TP) - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.FullIntAbstraction
 
createTransition(int, TP) - Method in class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.StateIntAbstraction
 
createTransition(int, TP) - Method in interface net.automatalib.automaton.MutableDeterministic.IntAbstraction
 
createTransition(int, TP) - Method in class net.automatalib.automaton.UniversalCompactDet
 
createTransition(Integer) - Method in class net.automatalib.ts.modal.CompactMTS
 
createTransition(Integer, MutableModalEdgeProperty) - Method in class net.automatalib.ts.modal.CompactMTS
 
createTransition(Integer, Void) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
 
createTransition(Integer, TP) - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
 
createTransition(FastMealyState<O>, O) - Method in class net.automatalib.automaton.transducer.FastMealy
 
createTransition(FastMooreState<O>, Void) - Method in class net.automatalib.automaton.transducer.FastMoore
 
createTransition(FastProbMealyState<O>, ProbabilisticOutput<O>) - Method in class net.automatalib.automaton.transducer.probabilistic.FastProbMealy
 
createTransition(S) - Method in interface net.automatalib.ts.modal.MutableModalTransitionSystem
Create a new transition with a default (non-null) MutableModalEdgeProperty.
createTransition(S, Void) - Method in interface net.automatalib.automaton.fsa.MutableFSA
 
createTransition(S, TP) - Method in interface net.automatalib.automaton.MutableAutomaton
 
createTransitionEdges(Automaton<S, I, T>, Collection<? extends I>, S) - Static method in class net.automatalib.automaton.graph.AutomatonGraphView
 
createUpdate(Set<AP>, List<ADDTransformer<L, AP>>, EquationalBlock<L, AP>) - Method in class net.automatalib.modelchecker.m3c.transformer.ADDTransformer
 
createUpdate(Set<AP>, List<BDDTransformer<L, AP>>, EquationalBlock<L, AP>) - Method in class net.automatalib.modelchecker.m3c.transformer.BDDTransformer
 
createUpdate(Set<AP>, List<T>, EquationalBlock<L, AP>) - Method in class net.automatalib.modelchecker.m3c.transformer.AbstractPropertyTransformer
Returns the updated property transformer of a node.
createVisualizationGraph(Graph<N, E>, List<VisualizationHelper<N, ? super E>>) - Static method in class net.automatalib.visualization.jung.JungGraphVisualizationProvider
 
Creator() - Constructor for class net.automatalib.automaton.fsa.CompactDFA.Creator
 
Creator() - Constructor for class net.automatalib.automaton.fsa.CompactNFA.Creator
 
Creator() - Constructor for class net.automatalib.automaton.transducer.CompactMealy.Creator
 
Creator() - Constructor for class net.automatalib.automaton.transducer.CompactMoore.Creator
 
CTLToMuCalc<L,​AP> - Class in net.automatalib.modelchecker.m3c.formula.visitor
A visitor that transforms a given CTL formula to an equivalent mu-calculus formula.
CTLToMuCalc() - Constructor for class net.automatalib.modelchecker.m3c.formula.visitor.CTLToMuCalc
 
currentToken - Variable in exception net.automatalib.modelchecker.ltsmin.ParseException
This is the last token that has been consumed successfully.
currentToken - Variable in exception net.automatalib.modelchecker.m3c.formula.parser.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
 
data - Variable in class net.automatalib.util.ts.traversal.DFRecord.LastTransition
 
DATA_DEFINITION - net.automatalib.serialization.fsm.parser.AbstractFSMParser.Part
 
deepClear() - Method in class net.automatalib.common.smartcollection.AbstractSmartCollection
 
deepClear() - Method in class net.automatalib.common.smartcollection.BackedGeneralPriorityQueue
 
deepClear() - Method in class net.automatalib.common.smartcollection.BinaryHeap
 
deepClear() - Method in interface net.automatalib.common.smartcollection.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.common.smartcollection.UnorderedCollection
 
DEFAULT_EDGE_PARSER - Static variable in class net.automatalib.serialization.dot.DOTParsers
Edge input parser that parses an edge'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_INIT_CAPACITY - Static variable in class net.automatalib.automaton.base.AbstractCompact
 
DEFAULT_INITIAL_CAPACITY - Static variable in class net.automatalib.common.smartcollection.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_MTS_EDGE_PARSER - Static variable in class net.automatalib.serialization.dot.DOTParsers
Edge input parser that parses an edge's modality attribute and constructs a corresponding MutableModalEdgeProperty.
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.automaton.base.AbstractCompact
 
DEFAULT_SIZE - Static variable in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
 
DefaultCFMPS<L,​AP> - Class in net.automatalib.graph
 
DefaultCFMPS(L, Map<L, ? extends ProceduralModalProcessGraph<?, L, ?, AP, ?>>) - Constructor for class net.automatalib.graph.DefaultCFMPS
 
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
 
DefaultLinkedList<E> - Class in net.automatalib.common.smartcollection
A simple linked list implementation that allows storing arbitrary elements.
DefaultLinkedList() - Constructor for class net.automatalib.common.smartcollection.DefaultLinkedList
 
DefaultLinkedListEntry<E> - Class in net.automatalib.common.smartcollection
The default linked list entry.
DefaultLinkedListEntry(E) - Constructor for class net.automatalib.common.smartcollection.DefaultLinkedListEntry
Constructor.
DefaultNSEVPA<I> - Class in net.automatalib.automaton.vpa
Default implementation for n-SEVPAs.
DefaultNSEVPA(VPAlphabet<I>) - Constructor for class net.automatalib.automaton.vpa.DefaultNSEVPA
 
DefaultNSEVPA(VPAlphabet<I>, int) - Constructor for class net.automatalib.automaton.vpa.DefaultNSEVPA
 
DefaultOneSEVPA<I> - Class in net.automatalib.automaton.vpa
Default implementation for 1-SEVPAs.
DefaultOneSEVPA(VPAlphabet<I>) - Constructor for class net.automatalib.automaton.vpa.DefaultOneSEVPA
 
DefaultOneSEVPA(VPAlphabet<I>, int) - Constructor for class net.automatalib.automaton.vpa.DefaultOneSEVPA
 
DefaultProceduralInputAlphabet<I> - Class in net.automatalib.alphabet
Default implementation of a ProceduralInputAlphabet.
DefaultProceduralInputAlphabet(Alphabet<I>, Alphabet<I>, I) - Constructor for class net.automatalib.alphabet.DefaultProceduralInputAlphabet
 
DefaultProceduralOutputAlphabet<O> - Class in net.automatalib.alphabet
Default implementation of a ProceduralOutputAlphabet.
DefaultProceduralOutputAlphabet(Alphabet<O>, O) - Constructor for class net.automatalib.alphabet.DefaultProceduralOutputAlphabet
 
DefaultVisualizationHelper<N,​E> - Class in net.automatalib.visualization
 
DefaultVisualizationHelper() - Constructor for class net.automatalib.visualization.DefaultVisualizationHelper
 
DefaultVPAlphabet<I> - Class in net.automatalib.alphabet
An alphabet-based, fixed size implementation of a VPAlphabet.
DefaultVPAlphabet(Collection<I>, Collection<I>, Collection<I>) - Constructor for class net.automatalib.alphabet.DefaultVPAlphabet
 
DefaultVPAlphabet(Alphabet<I>, Alphabet<I>, Alphabet<I>) - Constructor for class net.automatalib.alphabet.DefaultVPAlphabet
 
definedInputs(DeterministicTransitionSystem<S, I, ?>, S, Iterable<? extends I>) - Static method in class net.automatalib.util.ts.TS
 
definedInputsIterator(TransitionSystem<S, I, ?>, S, Iterator<? extends I>) - Static method in class net.automatalib.util.ts.TS
 
DefinedInputsIterator<S,​I> - Class in net.automatalib.util.ts.iterator
 
DefinedInputsIterator(TransitionSystem<S, I, ?>, S, Iterator<? extends I>) - Constructor for class net.automatalib.util.ts.iterator.DefinedInputsIterator
 
delegate() - Method in class net.automatalib.common.util.collection.UnmodifiableListIterator
 
delegate() - Method in class net.automatalib.util.automaton.conformance.WpMethodTestsIterator
 
DependencyGraph<L,​AP> - Class in net.automatalib.modelchecker.m3c.formula
A dependency graph is used to represent a hierarchical equational system.
DependencyGraph(FormulaNode<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.formula.DependencyGraph
 
DEPTH_FIRST - net.automatalib.util.traversal.TraversalOrder
 
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.graph.traversal.GraphTraversal
Traverses the given graph in a breadth-first fashion.
depthFirst(IndefiniteGraph<N, E>, int, N, GraphTraversalVisitor<N, E, D>) - Static method in class net.automatalib.util.graph.traversal.GraphTraversal
Traverses the given graph in a depth-first fashion.
depthFirst(IndefiniteGraph<N, E>, Collection<? extends N>, GraphTraversalVisitor<N, E, D>) - Static method in class net.automatalib.util.graph.traversal.GraphTraversal
Traverses the given graph in a depth-first fashion.
depthFirst(IndefiniteGraph<N, E>, N, GraphTraversalVisitor<N, E, D>) - Static method in class net.automatalib.util.graph.traversal.GraphTraversal
Traverses the given graph in a depth-first fashion.
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
Traverses the given transition system in a depth-first fashion.
depthFirst(TransitionSystem<S, I, T>, 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 depth-first fashion.
depthFirstIterator(IndefiniteGraph<N, E>, Collection<? extends N>) - Static method in class net.automatalib.util.graph.traversal.GraphTraversal
Returns an Iterator for the (reachable) nodes of the given graph in depth-first order.
depthFirstIterator(TransitionSystem<S, I, ?>, Collection<? extends I>) - Static method in class net.automatalib.util.ts.traversal.TSTraversal
Returns an Iterator for the (reachable) states of the given transition system in depth-first order.
depthFirstOrder(IndefiniteGraph<N, E>, Collection<? extends N>) - Static method in class net.automatalib.util.graph.traversal.GraphTraversal
Returns an Iterable for the (reachable) nodes of the given graph in depth-first order.
depthFirstOrder(TransitionSystem<S, I, ?>, Collection<? extends I>) - Static method in class net.automatalib.util.ts.traversal.TSTraversal
Returns an Iterable for the (reachable) states of the given transition system in depth-first order.
deserialize(List<String>) - Method in class net.automatalib.modelchecker.m3c.transformer.ADDTransformerSerializer
 
deserialize(List<String>) - Method in class net.automatalib.modelchecker.m3c.transformer.BDDTransformerSerializer
 
deserialize(List<String>) - Method in interface net.automatalib.modelchecker.m3c.transformer.TransformerSerializer
Deserializes a given transformer from its List-based String representation.
detectLTSmin() - Static method in class net.automatalib.modelchecker.ltsmin.LTSminUtil
(Re-)Checks whether the required binaries for the LTSmin modelchecker can be executed, by performing a version check.
DeterministicAbstractions - Interface in net.automatalib.automaton.abstraction
Default implementations for DeterministicAutomaton abstractions.
DeterministicAbstractions.FullIntAbstraction<I,​T,​A extends DeterministicAutomaton.StateIntAbstraction<I,​T>> - Class in net.automatalib.automaton.abstraction
 
DeterministicAbstractions.StateIntAbstraction<S,​I,​T,​A extends DeterministicAutomaton<S,​I,​T>> - Class in net.automatalib.automaton.abstraction
 
DeterministicAcceptorTS<S,​I> - Interface in net.automatalib.ts.acceptor
A deterministic acceptor transition system.
DeterministicAutomaton<S,​I,​T> - Interface in net.automatalib.automaton
Basic interface for a deterministic automaton.
DeterministicAutomaton.FullIntAbstraction<T> - Interface in net.automatalib.automaton
DeterministicAutomaton.IntAbstraction<T> - Interface in net.automatalib.automaton
DeterministicAutomaton.StateIntAbstraction<I,​T> - Interface in net.automatalib.automaton
DeterministicEquivalenceTest - Class in net.automatalib.util.automaton.equivalence
 
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(A) - Static method in class net.automatalib.util.automaton.fsa.NFAs
 
determinize(A, boolean, boolean) - Static method in class net.automatalib.util.automaton.fsa.NFAs
 
determinize(NFA<?, I>, Collection<? extends I>, MutableDFA<?, I>) - Static method in class net.automatalib.util.automaton.fsa.NFAs
 
determinize(NFA<?, I>, Collection<? extends I>, MutableDFA<?, I>, boolean, boolean) - Static method in class net.automatalib.util.automaton.fsa.NFAs
 
determinize(NFA<?, I>, Alphabet<I>) - Static method in class net.automatalib.util.automaton.fsa.NFAs
 
determinize(NFA<?, I>, Alphabet<I>, boolean, boolean) - Static method in class net.automatalib.util.automaton.fsa.NFAs
 
DetOutputAutomaton<S,​I,​T,​D> - Interface in net.automatalib.automaton.concept
An automaton which deterministically produces an output for an input word.
DetSuffixOutputAutomaton<S,​I,​T,​D> - Interface in net.automatalib.automaton.concept
 
dfa() - 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.
DFA - net.automatalib.serialization.saf.AutomatonType
 
DFA<S,​I> - Interface in net.automatalib.automaton.fsa
Deterministic finite state acceptor.
dfa2ETF(DFA<S, I>, Collection<? extends I>, File) - Method in interface net.automatalib.modelchecker.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.automaton.builder
 
DFABuilder(A) - Constructor for class net.automatalib.util.automaton.builder.DFABuilder
 
DFABuilder__0() - Constructor for class net.automatalib.util.automaton.builder.DFABuilder.DFABuilder__0
 
DFABuilder__1() - Constructor for class net.automatalib.util.automaton.builder.DFABuilder.DFABuilder__1
 
DFABuilder__2() - Constructor for class net.automatalib.util.automaton.builder.DFABuilder.DFABuilder__2
 
DFABuilder__3() - Constructor for class net.automatalib.util.automaton.builder.DFABuilder.DFABuilder__3
 
DFABuilder__4() - Constructor for class net.automatalib.util.automaton.builder.DFABuilder.DFABuilder__4
 
DFABuilder__5() - Constructor for class net.automatalib.util.automaton.builder.DFABuilder.DFABuilder__5
 
DFABuilder__6() - Constructor for class net.automatalib.util.automaton.builder.DFABuilder.DFABuilder__6
 
DFABuilder.DFABuilder__0 - Class in net.automatalib.util.automaton.builder
 
DFABuilder.DFABuilder__1 - Class in net.automatalib.util.automaton.builder
 
DFABuilder.DFABuilder__2 - Class in net.automatalib.util.automaton.builder
 
DFABuilder.DFABuilder__3 - Class in net.automatalib.util.automaton.builder
 
DFABuilder.DFABuilder__4 - Class in net.automatalib.util.automaton.builder
 
DFABuilder.DFABuilder__5 - Class in net.automatalib.util.automaton.builder
 
DFABuilder.DFABuilder__6 - Class in net.automatalib.util.automaton.builder
 
DFALassoImpl<I> - Class in net.automatalib.modelchecking
A DFALasso is a lasso for DFAs.
DFALassoImpl(DetOutputAutomaton<?, I, ?, Boolean>, Collection<? extends I>, int) - Constructor for class net.automatalib.modelchecking.DFALassoImpl
 
DFAs - Class in net.automatalib.util.automaton.fsa
Operations on DFAs.
dfaToString(DFA<?, I>, Collection<? extends I>) - Static method in class net.automatalib.serialization.taf.writer.TAFWriter
 
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
 
DFRecord.LastTransition<S,​I,​T,​D> - Class in net.automatalib.util.ts.traversal
 
DFS - Static variable in interface net.automatalib.util.automaton.copy.AutomatonCopyMethod
 
DIAGONALS - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeStyles
 
DiamondNode<L,​AP> - Class in net.automatalib.modelchecker.m3c.formula
Java representation of a "<>" (sub-)formula.
DiamondNode(L, FormulaNode<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.formula.DiamondNode
 
DiamondNode(FormulaNode<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.formula.DiamondNode
 
DiamondOperation<AP> - Class in net.automatalib.modelchecker.m3c.transformer
Implementation of the diamond function.
DiamondOperation(Set<AP>, EquationalBlock<?, AP>) - Constructor for class net.automatalib.modelchecker.m3c.transformer.DiamondOperation
 
DiamondOperationDeadlock<AP> - Class in net.automatalib.modelchecker.m3c.transformer
Implementation of the diamond function when the node has exactly one successor.
DiamondOperationDeadlock(Set<AP>, EquationalBlock<?, AP>) - Constructor for class net.automatalib.modelchecker.m3c.transformer.DiamondOperationDeadlock
 
DijkstraSSSP<N,​E> - Class in net.automatalib.util.graph.sssp
Implementation of Dijkstras algorithm for the single-source shortest path problem.
DijkstraSSSP(Graph<N, E>, N, EdgeWeights<E>) - Constructor for class net.automatalib.util.graph.sssp.DijkstraSSSP
Constructor.
DirectPowersetDTS<S,​I,​T> - Class in net.automatalib.ts.powerset
 
DirectPowersetDTS(TransitionSystem<S, I, T>) - Constructor for class net.automatalib.ts.powerset.DirectPowersetDTS
 
displayLabel - Variable in class net.automatalib.modelchecker.m3c.solver.WitnessTreeState
 
distinctIntegers(Random, int, int) - Static method in class net.automatalib.common.util.random.RandomUtil
 
distinctIntegers(Random, int, int, int) - Static method in class net.automatalib.common.util.random.RandomUtil
Sample a specified number of distinct integers from a specified range.
doCopy() - Method in class net.automatalib.util.automaton.copy.AbstractLowLevelAutomatonCopier
 
doCopy() - Method in interface net.automatalib.util.automaton.copy.LowLevelAutomatonCopier
 
DONT_KNOW - net.automatalib.incremental.dfa.Acceptance
 
DONT_PRUNE - net.automatalib.util.automaton.minimizer.hopcroft.HopcroftMinimization.PruningMode
Do not prune at all.
DOT - Class in net.automatalib.visualization.dot
Utility class to simplify operating the GraphVIZ "dot" utility.
DOT_EXE_DIR - net.automatalib.AutomataLibProperty
automatalib.dot.exe.dir.
DOT_EXE_NAME - net.automatalib.AutomataLibProperty
automatalib.dot.exe.name.
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.
DOTInputModelData<S,​I,​M extends SimpleTS<S,​I>> - Class in net.automatalib.serialization.dot
A utility data class, that extends InputModelData by labeling information of the model's states.
DOTInputModelData(M, Alphabet<I>, Mapping<S, String>) - Constructor for class net.automatalib.serialization.dot.DOTInputModelData
 
DOTInputModelDeserializer<S,​I,​M extends SimpleTS<S,​I>> - Interface in net.automatalib.serialization.dot
A specialization of the InputModelDeserializer that returns a DOTInputModelData object which holds additional information about the state labels of the de-serialized automaton.
DOTMutableAutomatonParser<S,​I,​SP,​TP,​A extends MutableAutomaton<S,​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.
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.common.util.WrapperUtil
 
doubleValue(Double, double) - Static method in class net.automatalib.common.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.util.ts.comp
 
DTSComposition(TS1, TS2) - Constructor for class net.automatalib.util.ts.comp.DTSComposition
 
DTSComposition(TS1, TS2, boolean) - Constructor for class net.automatalib.util.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
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.DynamicIncrementalMealyTreeBuilder
 
DynamicList<T extends MutableNumericID> - Class in net.automatalib.common.util.nid
 
DynamicList() - Constructor for class net.automatalib.common.util.nid.DynamicList
 
DynamicList(List<? extends T>) - Constructor for class net.automatalib.common.util.nid.DynamicList
 

E

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
 
edgeLabel - Variable in class net.automatalib.modelchecker.m3c.solver.WitnessTreeState
 
EdgeLabels<E,​L> - Interface in net.automatalib.graph.concept
Edge label context, for Graphs with labeled edges.
EdgeVisualization(String, Color, Stroke) - Constructor for class net.automatalib.visualization.jung.JungGraphVisualizationProvider.EdgeVisualization
 
EdgeVisualizationHelper - Class in net.automatalib.modelchecker.m3c.visualization
A VisualizationHelper for WitnessTrees that emphasizes edges of the witness and de-emphasizes the remaining ones.
EdgeVisualizationHelper(WitnessTree<?, ?>) - Constructor for class net.automatalib.modelchecker.m3c.visualization.EdgeVisualizationHelper
 
EdgeWeights<E> - Interface in net.automatalib.graph.concept
Edge weights concepts.
EFNode<L,​AP> - Class in net.automatalib.modelchecker.m3c.formula.ctl
Java representation of a "EF" (sub-)formula.
EFNode(FormulaNode<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.formula.ctl.EFNode
 
EGNode<L,​AP> - Class in net.automatalib.modelchecker.m3c.formula.ctl
Java representation of a "EG" (sub-)formula.
EGNode(FormulaNode<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.formula.ctl.EGNode
 
element - Variable in class net.automatalib.common.smartcollection.BackedGeneralPriorityQueue.Entry
 
element() - Method in class net.automatalib.common.smartcollection.BinaryHeap
 
ElementReference - Interface in net.automatalib.common.smartcollection
Marker interface for element reference.
EmptySBA<I> - Class in net.automatalib.automaton.procedural
A utility implementation of an SBA that rejects all inputs, i.e., which describes the empty language.
EmptySBA(ProceduralInputAlphabet<I>) - Constructor for class net.automatalib.automaton.procedural.EmptySBA
 
EmptySPA<I> - Class in net.automatalib.automaton.procedural
A utility implementation of an SPA that rejects all inputs, i.e., describes the empty language.
EmptySPA(ProceduralInputAlphabet<I>) - Constructor for class net.automatalib.automaton.procedural.EmptySPA
 
EmptySPMM<I,​O> - Class in net.automatalib.automaton.procedural
A utility implementation of an SPMM that transduces all input words to a sequence of the given erroneous output symbol.
EmptySPMM(ProceduralInputAlphabet<I>, O) - Constructor for class net.automatalib.automaton.procedural.EmptySPMM
 
encodeProperty(DataOutput, P) - Method in interface net.automatalib.serialization.saf.BlockPropertyEncoder
 
encodeStackSym(L, int) - Method in class net.automatalib.automaton.vpa.AbstractSEVPA
 
encodeStackSym(L, I) - Method in class net.automatalib.automaton.vpa.AbstractSEVPA
 
encodeStackSym(L, I) - Method in interface net.automatalib.automaton.vpa.SEVPA
 
encodeStackSym(Pair<L1, L2>, I) - Method in class net.automatalib.util.automaton.vpa.ProductOneSEVPA
 
enquote(String) - Static method in class net.automatalib.common.util.string.StringUtil
 
enquote(String, Appendable) - Static method in class net.automatalib.common.util.string.StringUtil
 
enquoteIfNecessary(String) - Static method in class net.automatalib.common.util.string.StringUtil
 
enquoteIfNecessary(String, Appendable) - Static method in class net.automatalib.common.util.string.StringUtil
 
enquoteIfNecessary(String, Appendable, Pattern) - Static method in class net.automatalib.common.util.string.StringUtil
 
enquoteIfNecessary(String, Appendable, Pattern, Pattern) - Static method in class net.automatalib.common.util.string.StringUtil
 
enquoteIfNecessary(String, Pattern) - Static method in class net.automatalib.common.util.string.StringUtil
 
ensureAdditionalCapacity(int) - Method in class net.automatalib.common.smartcollection.BinaryHeap
 
ensureAdditionalCapacity(int) - Method in interface net.automatalib.common.smartcollection.CapacityManagement
Ensures that the internal storage has room for at least the provided number of additional elements.
ensureAdditionalCapacity(int) - Method in class net.automatalib.common.smartcollection.ResizingArrayStorage
 
ensureAdditionalCapacity(int) - Method in class net.automatalib.common.smartcollection.UnorderedCollection
 
ensureAdditionalCapacity(int) - Method in class net.automatalib.word.WordBuilder
Ensures that the internal storage has additionally the given capacity.
ensureCapacity(int) - Method in class net.automatalib.common.smartcollection.BinaryHeap
 
ensureCapacity(int) - Method in interface net.automatalib.common.smartcollection.CapacityManagement
Ensures that the internal storage has room for at least the provided number of elements.
ensureCapacity(int) - Method in class net.automatalib.common.smartcollection.ResizingArrayStorage
 
ensureCapacity(int) - Method in class net.automatalib.common.smartcollection.UnorderedCollection
 
ensureCapacity(int) - Method in class net.automatalib.word.WordBuilder
Ensures that the internal storage has in total the given capacity.
ensureInputCapacity(int) - Method in class net.automatalib.automaton.base.AbstractFastState
entrySet() - Method in class net.automatalib.common.smartcollection.ReflexiveMapView
 
entrySet() - Method in class net.automatalib.common.util.mapping.MapMapping
Delegates to the underlying Map.
EnumAlphabet<E extends Enum<E>> - Class in net.automatalib.alphabet
 
EnumAlphabet(Class<E>, boolean) - Constructor for class net.automatalib.alphabet.EnumAlphabet
 
EOL - Static variable in exception net.automatalib.modelchecker.ltsmin.ParseException
The end of line string for this machine.
EOL - Static variable in exception net.automatalib.modelchecker.m3c.formula.parser.ParseException
The end of line string for this machine.
EOL - Static variable in exception net.automatalib.serialization.dot.ParseException
The end of line string for this machine.
EOL - Static variable in exception net.automatalib.serialization.taf.parser.ParseException
The end of line string for this machine.
epsilon() - Static method in class net.automatalib.word.Word
Retrieves the empty word.
equals(Object) - Method in class net.automatalib.alphabet.AbstractSymbol
 
equals(Object) - Method in class net.automatalib.automaton.CompactTransition
 
equals(Object) - Method in class net.automatalib.automaton.graph.TransitionEdge
 
equals(Object) - Method in class net.automatalib.automaton.graph.TransitionEdge.Property
 
equals(Object) - Method in class net.automatalib.automaton.transducer.probabilistic.ProbabilisticOutput
 
equals(Object) - Method in class net.automatalib.brics.BricsTransitionProperty
 
equals(Object) - Method in class net.automatalib.common.smartcollection.ArrayStorage
 
equals(Object) - Method in class net.automatalib.common.util.Pair
 
equals(Object) - Method in class net.automatalib.common.util.Triple
 
equals(Object) - Method in class net.automatalib.modelchecker.ltsmin.LTSminVersion
 
equals(Object) - Method in class net.automatalib.modelchecker.m3c.formula.AbstractBinaryFormulaNode
 
equals(Object) - Method in class net.automatalib.modelchecker.m3c.formula.AbstractFormulaNode
 
equals(Object) - Method in class net.automatalib.modelchecker.m3c.formula.AbstractModalFormulaNode
 
equals(Object) - Method in class net.automatalib.modelchecker.m3c.formula.AbstractUnaryFormulaNode
 
equals(Object) - Method in class net.automatalib.modelchecker.m3c.formula.AtomicNode
 
equals(Object) - Method in class net.automatalib.modelchecker.m3c.formula.modalmu.AbstractFixedPointFormulaNode
 
equals(Object) - Method in class net.automatalib.modelchecker.m3c.formula.modalmu.VariableNode
 
equals(Object) - Method in class net.automatalib.modelchecker.m3c.transformer.ADDTransformer
 
equals(Object) - Method in class net.automatalib.modelchecker.m3c.transformer.BDDTransformer
 
equals(Object) - Method in class net.automatalib.ts.modal.transition.ModalEdgePropertyImpl
 
equals(Object) - Method in class net.automatalib.ts.modal.transition.ProceduralModalEdgePropertyImpl
 
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.word.Word
 
EquationalBlock<L,​AP> - Class in net.automatalib.modelchecker.m3c.formula
Represents an equational block that aggregates its reference formula nodes.
EquationalBlock(boolean) - Constructor for class net.automatalib.modelchecker.m3c.formula.EquationalBlock
 
equiv(DFA<?, I>, DFA<?, I>, Collection<? extends I>, A) - Static method in class net.automatalib.util.automaton.fsa.DFAs
Calculates the equivalence ("<=>") of two DFA, and stores the result in a given mutable DFA.
equiv(DFA<?, I>, DFA<?, I>, Alphabet<I>) - Static method in class net.automatalib.util.automaton.fsa.DFAs
Calculates the equivalence ("<=>") of two DFA, and returns the result as a new DFA.
equiv(NFA<?, I>, NFA<?, I>, Collection<? extends I>, A) - Static method in class net.automatalib.util.automaton.fsa.NFAs
Calculates the equivalence ("<=>") of two NFAs, and stores the result in a given mutable NFA.
equiv(NFA<?, I>, NFA<?, I>, Alphabet<I>) - Static method in class net.automatalib.util.automaton.fsa.NFAs
Calculates the equivalence ("<=>") of two NFAs, and returns the result as a new NFA.
equiv(OneSEVPA<L1, I>, OneSEVPA<L2, I>, VPAlphabet<I>) - Static method in class net.automatalib.util.automaton.vpa.OneSEVPAs
Returns a view on the equivalence ("<=>") of two OneSEVPAs.
EQUIV - Static variable in interface net.automatalib.util.ts.acceptor.AcceptanceCombiner
 
equivalent(int, int) - Method in interface net.automatalib.common.util.IntDisjointSets
Checks if two elements are in the same set.
equivalent(int, int) - Method in class net.automatalib.common.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.common.util.string.StringUtil
Escapes double quotes in a string.
escapeQuotes(String, Appendable) - Static method in class net.automatalib.common.util.string.StringUtil
 
ETF2LTS_MC - Static variable in class net.automatalib.modelchecker.ltsmin.LTSminUtil
Path to the "etf2lts-mc" binary.
EUNode<L,​AP> - Class in net.automatalib.modelchecker.m3c.formula.ctl
Java representation of a "EU" (sub-)formula.
EUNode(FormulaNode<L, AP>, FormulaNode<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.formula.ctl.EUNode
 
evaluate(boolean[]) - Method in class net.automatalib.modelchecker.m3c.transformer.AbstractPropertyTransformer
Returns the set of variable numbers of subformulas y with f(input)=y, where f is the property transformer represented by this.
evaluate(boolean[]) - Method in class net.automatalib.modelchecker.m3c.transformer.ADDTransformer
 
evaluate(boolean[]) - Method in class net.automatalib.modelchecker.m3c.transformer.BDDTransformer
 
EWUNode<L,​AP> - Class in net.automatalib.modelchecker.m3c.formula.ctl
Java representation of a "EWU" (sub-)formula.
EWUNode(FormulaNode<L, AP>, FormulaNode<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.formula.ctl.EWUNode
 
expand(Iterable<I>, Mapping<I, Word<I>>) - Method in interface net.automatalib.alphabet.ProceduralInputAlphabet
Replaces all occurrences of call symbols in input with an embedded terminating sequence provided by terminatingSequences.
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
 
expectedElementCount() - Method in interface net.automatalib.common.util.fixpoint.WorksetAlgorithm
Provides a hint to initialize containers appropriately.
expectedElementCount() - Method in interface net.automatalib.common.util.fixpoint.WorksetMappingAlgorithm
Provides a hint to initialize containers appropriately.
expectedTokenSequences - Variable in exception net.automatalib.modelchecker.ltsmin.ParseException
Each entry in this array is an array of integers.
expectedTokenSequences - Variable in exception net.automatalib.modelchecker.m3c.formula.parser.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 - net.automatalib.util.graph.traversal.GraphTraversalAction
Explore the respective node or edge.
EXPLORE - net.automatalib.util.ts.traversal.TSTraversalAction
Explore the respective state or transition.
extractMin() - Method in class net.automatalib.common.smartcollection.BackedGeneralPriorityQueue
 
extractMin() - Method in class net.automatalib.common.smartcollection.BinaryHeap
 
extractMin() - Method in interface net.automatalib.common.smartcollection.SmartPriorityQueue
Retrieves and removes the element with the minimum key in the priority queue.

F

FALSE - net.automatalib.incremental.dfa.Acceptance
 
FalseNode<L,​AP> - Class in net.automatalib.modelchecker.m3c.formula
Java representation of a "false" (sub-)formula.
FalseNode() - Constructor for class net.automatalib.modelchecker.m3c.formula.FalseNode
 
FastAlphabet<I extends MutableNumericID> - Class in net.automatalib.alphabet
A fast alphabet implementation, that assumes identifiers are stored directly in the input symbols.
FastAlphabet() - Constructor for class net.automatalib.alphabet.FastAlphabet
 
FastAlphabet(I...) - Constructor for class net.automatalib.alphabet.FastAlphabet
 
FastAlphabet(List<? extends I>) - Constructor for class net.automatalib.alphabet.FastAlphabet
 
FastDFA<I> - Class in net.automatalib.automaton.fsa
 
FastDFA(Alphabet<I>) - Constructor for class net.automatalib.automaton.fsa.FastDFA
 
FastDFAState - Class in net.automatalib.automaton.fsa
 
FastDFAState(int, boolean) - Constructor for class net.automatalib.automaton.fsa.FastDFAState
 
FastMealy<I,​O> - Class in net.automatalib.automaton.transducer
A fast implementation of a Mealy machine.
FastMealy(Alphabet<I>) - Constructor for class net.automatalib.automaton.transducer.FastMealy
Constructor.
FastMealyState<O> - Class in net.automatalib.automaton.transducer
A state in a FastMealy automaton.
FastMealyState(int) - Constructor for class net.automatalib.automaton.transducer.FastMealyState
 
FastMoore<I,​O> - Class in net.automatalib.automaton.transducer
A fast implementation of a Moore automaton.
FastMoore(Alphabet<I>) - Constructor for class net.automatalib.automaton.transducer.FastMoore
 
FastMooreState<O> - Class in net.automatalib.automaton.transducer
A state in a FastMoore automaton.
FastMooreState(int, O) - Constructor for class net.automatalib.automaton.transducer.FastMooreState
Constructor.
FastNFA<I> - Class in net.automatalib.automaton.fsa
 
FastNFA(Alphabet<I>) - Constructor for class net.automatalib.automaton.fsa.FastNFA
 
FastNFAState - Class in net.automatalib.automaton.fsa
 
FastNFAState(int) - Constructor for class net.automatalib.automaton.fsa.FastNFAState
 
FastNFAState(int, boolean) - Constructor for class net.automatalib.automaton.fsa.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.automaton.transducer.probabilistic
 
FastProbMealy(Alphabet<I>) - Constructor for class net.automatalib.automaton.transducer.probabilistic.FastProbMealy
 
FastProbMealyState<O> - Class in net.automatalib.automaton.transducer.probabilistic
 
FastProbMealyState(int) - Constructor for class net.automatalib.automaton.transducer.probabilistic.FastProbMealyState
 
FIFO - net.automatalib.util.partitionrefinement.PaigeTarjan.WorklistPolicy
Newly created blocks are inserted at the beginning of the worklist.
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.automaton.transducer.MealyFilter
 
filterByOutput(MealyMachine<S1, I, T1, O>, Collection<? extends I>, MutableMealyMachine<S2, I, ?, O>, Predicate<? super O>) - Static method in class net.automatalib.util.automaton.transducer.MealyFilter
 
FinalNode<N> - Interface in net.automatalib.graph.concept
 
find(int) - Method in interface net.automatalib.common.util.IntDisjointSets
Determines the representative element of the set containing x.
find(int) - Method in class net.automatalib.common.util.UnionFind
Finds the set of a given element, and compresses the path to the root node.
find(int) - Method in class net.automatalib.common.util.UnionFindRemSP
Finds the set of a given element, and compresses the path to the root node.
find(Object) - Method in class net.automatalib.common.smartcollection.AbstractSmartCollection
 
find(Object) - Method in class net.automatalib.common.smartcollection.BackedGeneralPriorityQueue
 
find(Object) - Method in interface net.automatalib.common.smartcollection.SmartCollection
Retrieves the reference for a given element.
findAcceptedWord(OneSEVPA<L, I>, VPAlphabet<I>) - Static method in class net.automatalib.util.automaton.vpa.OneSEVPAs
Returns a well-matched word (over the given alphabet) that is accepted by the given SEVPA, if existent.
findAPSP() - Method in class net.automatalib.util.graph.apsp.FloydWarshallAPSP
 
findAPSP(Graph<N, E>, EdgeWeights<E>) - Static method in class net.automatalib.util.graph.apsp.FloydWarshallAPSP
 
findAPSP(Graph<N, E>, EdgeWeights<E>) - Static method in class net.automatalib.util.graph.Graphs
Computes the shortest paths between all pairs of nodes in a graph, using the Floyd-Warshall dynamic programming algorithm.
findCallIndex(List<I>, int) - Method in interface net.automatalib.alphabet.ProceduralInputAlphabet
Returns the index of the call symbol of the procedure currently executing the symbol at pos idx.
findCallIndex(Word<I>, int) - Method in interface net.automatalib.alphabet.ProceduralInputAlphabet
Convenience method for ProceduralInputAlphabet.findCallIndex(List, int) that transforms the given input word into a list.
findCharacterizingSet(UniversalDeterministicAutomaton<?, I, ?, ?, ?>, Collection<? extends I>, Collection<? super Word<I>>) - Static method in class net.automatalib.util.automaton.equivalence.CharacterizingSets
Computes a characterizing set for the given automaton.
findCharacterizingSet(UniversalDeterministicAutomaton<S, I, ?, ?, ?>, Collection<? extends I>, S, Collection<? super Word<I>>) - Static method in class net.automatalib.util.automaton.equivalence.CharacterizingSets
Computes a characterizing set for a specified state in the given automaton.
findCharacterizingSet(OneSEVPA<L, I>, VPAlphabet<I>) - Static method in class net.automatalib.util.automaton.vpa.OneSEVPAs
Computes a characterizing set for the given SEVPA.
findConstructor(Class<T>, Class<?>...) - Static method in class net.automatalib.common.util.ReflectUtil
Tries to find a constructor that is able to accept parameters of the given types.
findCounterExample(A, Collection<? extends I>, P) - Method in interface net.automatalib.modelchecking.ModelChecker
Try to find counter examples for the given property and automaton.
findCounterExample(DFA<?, I>, Collection<? extends I>, String) - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFA
Converts the FSM file to a Lasso.DFALasso.
findCounterExample(DFA<?, I>, Collection<? extends I>, String) - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorDFA
Converts the FSM file to a DFA.
findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>, String) - Method in class net.automatalib.modelchecker.ltsmin.ltl.AbstractLTSminLTLMealy
 
findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>, String) - Method in class net.automatalib.modelchecker.ltsmin.monitor.AbstractLTSminMonitorMealy
Converts the FSM file to a MealyMachine.
findCounterExampleFSM(A, Collection<? extends I>, String) - Method in class net.automatalib.modelchecker.ltsmin.AbstractLTSmin
Finds a counterexample for the given formula, and given hypothesis in FSM format.
findIncrementalCharacterizingSet(UniversalDeterministicAutomaton<S, I, ?, ?, ?>, Collection<? extends I>, Collection<? extends Word<I>>, Collection<? super Word<I>>) - Static method in class net.automatalib.util.automaton.equivalence.CharacterizingSets
 
findMatchingMethod(Class<?>, String, Object...) - Static method in class net.automatalib.common.util.ReflectUtil
findMethod(Class<?>, String, Class<?>...) - Static method in class net.automatalib.common.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.common.util.ReflectUtil
findReachableLocations(OneSEVPA<L, I>, VPAlphabet<I>) - Static method in class net.automatalib.util.automaton.vpa.OneSEVPAs
Returns a list of locations that are reachable from the initial location of the given SEVPA via symbols of the given alphabet.
findRejectedWord(OneSEVPA<L, I>, VPAlphabet<I>) - Static method in class net.automatalib.util.automaton.vpa.OneSEVPAs
Returns a well-matched word (over the given alphabet) that is rejected by the given SEVPA, if existent.
findReturnIndex(List<I>, int) - Method in interface net.automatalib.alphabet.ProceduralInputAlphabet
Returns the index of the return symbol of the procedure that is about to execute the symbol at pos idx (i.e. before input[idx] has been executed).
findReturnIndex(Word<I>, int) - Method in interface net.automatalib.alphabet.ProceduralInputAlphabet
Convenience method for ProceduralInputAlphabet.findReturnIndex(List, int) that transforms the given input word into a list.
findSCCs(Graph<N, E>, SCCListener<N>) - Static method in class net.automatalib.util.graph.Graphs
Find all strongly-connected components in a graph.
findSCCs(Graph<N, E>, SCCListener<N>) - Static method in class net.automatalib.util.graph.scc.SCCs
Find all strongly-connected components in a graph.
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(DFA<?, I>, Collection<? extends I>, boolean) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder
 
findSeparatingWord(SBA<?, I>, SBA<?, I>, ProceduralInputAlphabet<I>) - Static method in class net.automatalib.util.automaton.procedural.SBAs
Computes a separating word for the two given SBAs, if existent.
findSeparatingWord(SPA<?, I>, SPA<?, I>, ProceduralInputAlphabet<I>) - Static method in class net.automatalib.util.automaton.procedural.SPAs
Computes a separating word for the two given SPAs, if existent.
findSeparatingWord(SPMM<?, I, ?, O>, SPMM<?, I, ?, O>, ProceduralInputAlphabet<I>) - Static method in class net.automatalib.util.automaton.procedural.SPMMs
Computes a separating word for the two given SPMMs, if existent.
findSeparatingWord(MealyMachine<?, I, ?, O>, Collection<? extends I>, boolean) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder
 
findSeparatingWord(MooreMachine<?, I, ?, O>, Collection<? extends I>, boolean) - Method in class net.automatalib.incremental.moore.dag.IncrementalMooreDAGBuilder
 
findSeparatingWord(MooreMachine<?, I, ?, O>, Collection<? extends I>, boolean) - Method in class net.automatalib.incremental.moore.tree.IncrementalMooreTreeBuilder
 
findSeparatingWord(UniversalDeterministicAutomaton<?, I, ?, ?, ?>, UniversalDeterministicAutomaton<?, I, ?, ?, ?>, Collection<? extends I>) - Static method in class net.automatalib.util.automaton.Automata
Finds a separating word for two automata.
findSeparatingWord(UniversalDeterministicAutomaton<?, I, ?, ?, ?>, UniversalDeterministicAutomaton<?, I, ?, ?, ?>, Collection<? extends I>) - Static method in class net.automatalib.util.automaton.equivalence.NearLinearEquivalenceTest
 
findSeparatingWord(UniversalDeterministicAutomaton<?, I, ?, ?, ?>, UniversalDeterministicAutomaton<?, I, ?, ?, ?>, Alphabet<I>) - Static method in class net.automatalib.util.automaton.equivalence.NearLinearEquivalenceTest
 
findSeparatingWord(UniversalDeterministicAutomaton<S, I, ?, ?, ?>, S, S, Collection<? extends I>) - Static method in class net.automatalib.util.automaton.Automata
Finds a separating word for two states in an automaton.
findSeparatingWord(UniversalDeterministicAutomaton<S, I, ?, ?, ?>, S, S, Collection<? extends I>) - Static method in class net.automatalib.util.automaton.equivalence.NearLinearEquivalenceTest
 
findSeparatingWord(UniversalDeterministicAutomaton<S, I, T, ?, ?>, S, S, Collection<? extends I>, boolean) - Static method in class net.automatalib.util.automaton.equivalence.NearLinearEquivalenceTest
Find a separating word for two states in a given automaton.
findSeparatingWord(UniversalDeterministicAutomaton<S, I, T, SP, TP>, UniversalDeterministicAutomaton<S2, I, T2, SP2, TP2>, Collection<? extends I>) - Static method in class net.automatalib.util.automaton.equivalence.DeterministicEquivalenceTest
 
findSeparatingWord(UniversalDeterministicAutomaton<S, I, T, SP, TP>, UniversalDeterministicAutomaton<S2, I, T2, SP2, TP2>, Collection<? extends I>, boolean) - Static method in class net.automatalib.util.automaton.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.automaton.equivalence.NearLinearEquivalenceTest
 
findSeparatingWord(OneSEVPA<?, I>, OneSEVPA<?, I>, VPAlphabet<I>) - Static method in class net.automatalib.util.automaton.vpa.OneSEVPAs
Finds a separating word for two SEVPAs, if existent.
findSeparatingWord(OneSEVPA<L, I>, L, L, VPAlphabet<I>) - Static method in class net.automatalib.util.automaton.vpa.OneSEVPAs
Finds a separating word for two locations of a SEVPAs, if existent.
findSeparatingWordLarge(UniversalDeterministicAutomaton<S, I, T, SP, TP>, UniversalDeterministicAutomaton<S2, I, T2, SP2, TP2>, Collection<? extends I>) - Static method in class net.automatalib.util.automaton.equivalence.DeterministicEquivalenceTest
 
findShortestSeparatingWord(UniversalDeterministicAutomaton<?, I, ?, ?, ?>, UniversalDeterministicAutomaton<?, I, ?, ?, ?>, Collection<? extends I>) - Static method in class net.automatalib.util.automaton.Automata
Finds a shortest separating word for two automata.
findSSSP() - Method in class net.automatalib.util.graph.sssp.DijkstraSSSP
Start the search.
findSSSP(Graph<N, E>, N, EdgeWeights<E>) - Static method in class net.automatalib.util.graph.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.graph.sssp.DijkstraSSSP
Search for the shortest paths from a single source node in a graph.
finish(DataInput) - Method in interface net.automatalib.serialization.saf.BlockPropertyDecoder
 
finish(DataOutput) - Method in interface net.automatalib.serialization.saf.BlockPropertyEncoder
 
finishExploration(N, D) - Method in interface net.automatalib.util.graph.traversal.GraphTraversalVisitor
Called when the exploration of a node is finished.
finishExploration(N, TarjanSCCRecord) - Method in class net.automatalib.util.graph.scc.TarjanSCCVisitor
 
finishExploration(S, D) - Method in interface net.automatalib.util.ts.traversal.TSTraversalVisitor
Called when the exploration of a state is finished.
FiniteAlphabetAutomaton<S,​I,​T> - Interface in net.automatalib.automaton
 
FiniteKripkeStructure<N,​E,​AP> - Interface in net.automatalib.graph
A Kripke structure is a graph which has sets of atomic properties assigned to its nodes.
FiniteKTS<S,​I,​T,​AP> - Interface in net.automatalib.ts
A finite Kripke Transition System combines the properties of a finite transition system and a KripkeInterpretation.
FiniteLabeledGraph<N,​E,​L> - Interface in net.automatalib.graph
 
FiniteRepresentation - Interface in net.automatalib.automaton.concept
This interface marks automata types that have a finite representation, i.e. can be represented by a finite number of entities.
FiniteStateAcceptor<S,​I> - Interface in net.automatalib.automaton.fsa
FiniteStateAcceptors accept regular languages.
FiniteStateAcceptor.FSAGraphView<S,​I,​A extends FiniteStateAcceptor<S,​I>> - Class in net.automatalib.automaton.fsa
 
firstSymbol() - Method in class net.automatalib.word.Word
Retrieves the first symbol of this word.
FIXEDSIZE - Static variable in class net.automatalib.visualization.VisualizationHelper.NodeAttrs
 
flatten() - Method in class net.automatalib.word.Word
Retrieves a "flattened" version of this word, i.e., without any hierarchical structure attached.
flipAcceptance() - Method in class net.automatalib.automaton.fsa.CompactDFA
 
flipAcceptance() - Method in class net.automatalib.automaton.fsa.CompactNFA
 
flipAcceptance() - Method in interface net.automatalib.automaton.fsa.MutableFSA
 
floatValue(Float) - Static method in class net.automatalib.common.util.WrapperUtil
 
floatValue(Float, float) - Static method in class net.automatalib.common.util.WrapperUtil
 
FloydWarshallAPSP<N,​E> - Class in net.automatalib.util.graph.apsp
Implementation of the Floyd-Warshall dynamic programming algorithm for the all pairs shortest paths problem.
FloydWarshallAPSP(Graph<N, E>, EdgeWeights<E>) - Constructor for class net.automatalib.util.graph.apsp.FloydWarshallAPSP
 
flush() - Method in class net.automatalib.common.util.io.NonClosingOutputStream
 
forAutomaton(A) - Static method in class net.automatalib.util.automaton.builder.AutomatonBuilders
 
forDFA() - Static method in class net.automatalib.util.automaton.random.RandomICAutomatonGenerator
Creates a random IC automaton generator instance for generating DFAs.
forDFA(double) - Static method in class net.automatalib.util.automaton.random.RandomICAutomatonGenerator
Creates a random IC automaton generator instance for generating DFAs.
forDFA(A) - Static method in class net.automatalib.util.automaton.builder.AutomatonBuilders
 
FormatException - Exception in net.automatalib.serialization
 
FormatException() - Constructor for exception net.automatalib.serialization.FormatException
 
FormatException(String) - Constructor for exception net.automatalib.serialization.FormatException
 
FormatException(String, Throwable) - 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.automaton.builder.AutomatonBuilders
 
forMoore(A) - Static method in class net.automatalib.util.automaton.builder.AutomatonBuilders
 
FormulaNode<L,​AP> - Interface in net.automatalib.modelchecker.m3c.formula
Generic interface for formulas return by M3CParsers.
FormulaNodeVisitor<T,​L,​AP> - Interface in net.automatalib.modelchecker.m3c.formula.visitor
 
forRandom(Random) - Method in class net.automatalib.common.util.random.WeightedSupplier
 
forSST(A) - Static method in class net.automatalib.util.automaton.builder.AutomatonBuilders
 
foundSCC(Collection<? extends N>) - Method in class net.automatalib.util.graph.scc.SCCCollector
 
foundSCC(Collection<? extends N>) - Method in interface net.automatalib.util.graph.scc.SCCListener
 
from(Object) - Method in class net.automatalib.util.automaton.builder.AutomatonBuilder.AutomatonBuilder__2
 
from(Object) - Method in class net.automatalib.util.automaton.builder.AutomatonBuilder
 
from(Object) - Method in class net.automatalib.util.automaton.builder.DFABuilder.DFABuilder__1
 
from(Object) - Method in class net.automatalib.util.automaton.builder.DFABuilder.DFABuilder__4
 
from(Object) - Method in class net.automatalib.util.automaton.builder.DFABuilder.DFABuilder__6
 
from(Object) - Method in class net.automatalib.util.automaton.builder.DFABuilder
 
from(Object) - Method in class net.automatalib.util.automaton.builder.FSABuilder
 
from(Object) - Method in class net.automatalib.util.automaton.builder.FSABuilder.FSABuilder__2
 
from(Object) - Method in class net.automatalib.util.automaton.builder.FSABuilder.FSABuilder__3
 
from(Object) - Method in class net.automatalib.util.automaton.builder.MealyBuilder
 
from(Object) - Method in class net.automatalib.util.automaton.builder.MealyBuilder.MealyBuilder__1
 
from(Object) - Method in class net.automatalib.util.automaton.builder.MealyBuilder.MealyBuilder__4
 
from(Object) - Method in class net.automatalib.util.automaton.builder.MealyBuilder.MealyBuilder__7
 
from(Object) - Method in class net.automatalib.util.automaton.builder.MooreBuilder
 
from(Object) - Method in class net.automatalib.util.automaton.builder.MooreBuilder.MooreBuilder__1
 
from(Object) - Method in class net.automatalib.util.automaton.builder.MooreBuilder.MooreBuilder__4
 
from(Object) - Method in class net.automatalib.util.automaton.builder.MooreBuilder.MooreBuilder__6
 
from(Object, Object...) - Method in class net.automatalib.util.automaton.builder.AutomatonBuilder.AutomatonBuilder__2
 
from(Object, Object...) - Method in class net.automatalib.util.automaton.builder.AutomatonBuilder
 
from(Object, Object...) - Method in class net.automatalib.util.automaton.builder.DFABuilder.DFABuilder__1
 
from(Object, Object...) - Method in class net.automatalib.util.automaton.builder.DFABuilder.DFABuilder__4
 
from(Object, Object...) - Method in class net.automatalib.util.automaton.builder.DFABuilder.DFABuilder__6
 
from(Object, Object...) - Method in class net.automatalib.util.automaton.builder.DFABuilder
 
from(Object, Object...) - Method in class net.automatalib.util.automaton.builder.FSABuilder
 
from(Object, Object...) - Method in class net.automatalib.util.automaton.builder.FSABuilder.FSABuilder__2
 
from(Object, Object...) - Method in class net.automatalib.util.automaton.builder.FSABuilder.FSABuilder__3
 
from(Object, Object...) - Method in class net.automatalib.util.automaton.builder.MealyBuilder
 
from(Object, Object...) - Method in class net.automatalib.util.automaton.builder.MealyBuilder.MealyBuilder__1
 
from(Object, Object...) - Method in class net.automatalib.util.automaton.builder.MealyBuilder.MealyBuilder__4
 
from(Object, Object...) - Method in class net.automatalib.util.automaton.builder.MealyBuilder.MealyBuilder__7
 
from(Object, Object...) - Method in class net.automatalib.util.automaton.builder.MooreBuilder
 
from(Object, Object...) - Method in class net.automatalib.util.automaton.builder.MooreBuilder.MooreBuilder__1
 
from(Object, Object...) - Method in class net.automatalib.util.automaton.builder.MooreBuilder.MooreBuilder__4
 
from(Object, Object...) - Method in class net.automatalib.util.automaton.builder.MooreBuilder.MooreBuilder__6
 
fromArray(I[], int, int) - Static method in class net.automatalib.word.Word
Creates a word from a subrange of an array of symbols.
fromArray(T...) - Static method in class net.automatalib.alphabet.Alphabets
 
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.word.Word
 
fromCollection(Collection<? extends I>) - Static method in class net.automatalib.alphabet.Alphabets
 
fromCollections(Collection<? extends I>...) - Static method in class net.automatalib.alphabet.Alphabets
 
fromEnum(Class<E>) - Static method in class net.automatalib.alphabet.Alphabets
 
fromEnum(Class<E>, boolean) - Static method in class net.automatalib.alphabet.Alphabets
 
fromLetter(I) - Static method in class net.automatalib.word.Word
Constructs a word from a single letter.
fromList(List<? extends I>) - Static method in class net.automatalib.word.Word
Creates a word from a list of symbols.
fromList(List<? extends T>) - Static method in class net.automatalib.alphabet.Alphabets
 
fromMap(Map<D, R>) - Static method in class net.automatalib.common.util.mapping.Mappings
 
fromString(String) - Static method in class net.automatalib.word.Word
 
fromSymbols(I...) - Static method in class net.automatalib.word.Word
Creates a word from an array of symbols.
fromWords(Collection<? extends Word<? extends I>>) - Static method in class net.automatalib.word.Word
 
fromWords(Word<? extends I>...) - Static method in class net.automatalib.word.Word
 
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 the initial nodes are artificial.
FSABuilder<S,​I,​A extends MutableFSA<S,​? super I>> - Class in net.automatalib.util.automaton.builder
 
FSABuilder(A) - Constructor for class net.automatalib.util.automaton.builder.FSABuilder
 
FSABuilder__0() - Constructor for class net.automatalib.util.automaton.builder.FSABuilder.FSABuilder__0
 
FSABuilder__1() - Constructor for class net.automatalib.util.automaton.builder.FSABuilder.FSABuilder__1
 
FSABuilder__2() - Constructor for class net.automatalib.util.automaton.builder.FSABuilder.FSABuilder__2
 
FSABuilder__3() - Constructor for class net.automatalib.util.automaton.builder.FSABuilder.FSABuilder__3
 
FSABuilder.FSABuilder__0 - Class in net.automatalib.util.automaton.builder
 
FSABuilder.FSABuilder__1 - Class in net.automatalib.util.automaton.builder
 
FSABuilder.FSABuilder__2 - Class in net.automatalib.util.automaton.builder
 
FSABuilder.FSABuilder__3 - Class in net.automatalib.util.automaton.builder
 
FSAGraphView(A, Collection<? extends I>) - Constructor for class net.automatalib.automaton.fsa.FiniteStateAcceptor.FSAGraphView
 
FSAVisualizationHelper<S,​I> - Class in net.automatalib.automaton.visualization
 
FSAVisualizationHelper(FiniteStateAcceptor<S, I>) - Constructor for class net.automatalib.automaton.visualization.FSAVisualizationHelper
 
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.modelchecker.ltsmin.LTSminAlternating
 
fsm2Mealy(File, MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in interface net.automatalib.modelchecker.ltsmin.LTSminIO
 
fsm2Mealy(File, MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in interface net.automatalib.modelchecker.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(Exception, StreamTokenizer) - Constructor for exception net.automatalib.serialization.fsm.parser.FSMFormatException
 
FSMFormatException(String) - Constructor for exception net.automatalib.serialization.fsm.parser.FSMFormatException
 
FSMFormatException(String, StreamTokenizer) - Constructor for exception net.automatalib.serialization.fsm.parser.FSMFormatException
 
fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automaton.DeterministicAutomaton
 
fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automaton.MutableDeterministic
 
fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton
Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the given number of (abstract) inputs and the inputs mapping.
fullIntAbstraction(int, IntFunction<? extends I>) - Method in interface net.automatalib.automaton.UniversalDeterministicAutomaton
 
fullIntAbstraction(Alphabet<I>) - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
 
fullIntAbstraction(Alphabet<I>) - Method in interface net.automatalib.automaton.DeterministicAutomaton
 
fullIntAbstraction(Alphabet<I>) - Method in interface net.automatalib.automaton.MutableDeterministic
 
fullIntAbstraction(Alphabet<I>) - Method in interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton
Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the mapping induced by the given alphabet as the abstraction for the input symbols.
fullIntAbstraction(Alphabet<I>) - Method in interface net.automatalib.automaton.UniversalDeterministicAutomaton
 
FullIntAbstraction(A, int, IntFunction<? extends I>) - Constructor for class net.automatalib.automaton.abstraction.DeterministicAbstractions.FullIntAbstraction
 
FullIntAbstraction(A, int, IntFunction<? extends I>) - Constructor for class net.automatalib.automaton.abstraction.MutableDeterministicAbstraction.FullIntAbstraction
 
FullIntAbstraction(A, int, IntFunction<? extends I>) - Constructor for class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.FullIntAbstraction
 
FullIntAbstraction(A, int, IntFunction<? extends I>) - Constructor for class net.automatalib.automaton.abstraction.UniversalDeterministicAbstractions.FullIntAbstraction
 
FunctionsUtil - Class in net.automatalib.common.util.function
This class provides utility methods for Java 8 Function objects (and for the corresponding primitive specializations).

G

generateICDeterministicAutomaton(int, Collection<? extends I>, A, Random) - Method in class net.automatalib.util.automaton.random.RandomICAutomatonGenerator
Generates an initially connected (IC) deterministic automaton with the given parameters.
generateICDeterministicAutomaton(int, Alphabet<I>, AutomatonCreator<? extends A, I>, Random) - Method in class net.automatalib.util.automaton.random.RandomICAutomatonGenerator
Generates an initially-connected (IC) deterministic automaton with the given parameters.
get() - Method in class net.automatalib.common.util.random.WeightedSupplier
 
get() - Method in interface net.automatalib.common.util.ref.Ref
Retrieves the referent.
get() - Method in class net.automatalib.common.util.ref.StrongRef
 
get() - Method in class net.automatalib.common.util.ref.WeakRef
 
get() - Method in class net.automatalib.util.automaton.ads.LYResult
 
get(int) - Method in class net.automatalib.alphabet.AbstractAlphabet
 
get(int) - Method in class net.automatalib.common.smartcollection.ArrayStorage
 
get(int) - Method in interface net.automatalib.common.smartcollection.IntSeq
 
get(int) - Method in class net.automatalib.common.util.collection.CharRange
 
get(int) - Method in class net.automatalib.common.util.collection.CharStringRange
 
get(int) - Method in class net.automatalib.common.util.collection.IntRange
 
get(int) - Method in class net.automatalib.common.util.nid.DynamicList
 
get(int) - Method in class net.automatalib.util.graph.Path
 
get(int) - Method in class net.automatalib.word.WordBuilder
 
get(Object) - Method in class net.automatalib.common.smartcollection.ReflexiveMapView
 
get(D) - Method in class net.automatalib.common.util.mapping.MapMapping
 
get(D) - Method in interface net.automatalib.common.util.mapping.Mapping
Get the range object elem maps to.
get(K) - Method in class net.automatalib.common.util.mapping.ArrayMapping
 
get(ElementReference) - Method in class net.automatalib.common.smartcollection.AbstractLinkedList
 
get(ElementReference) - Method in class net.automatalib.common.smartcollection.BackedGeneralPriorityQueue
 
get(ElementReference) - Method in class net.automatalib.common.smartcollection.BinaryHeap
 
get(ElementReference) - Method in interface net.automatalib.common.smartcollection.SmartCollection
Retrieves an element by its reference.
get(ElementReference) - Method in class net.automatalib.common.smartcollection.UnorderedCollection
 
get(Block<?, ?>) - Method in class net.automatalib.util.minimizer.BlockMap
Retrieves a value.
get(S) - Method in class net.automatalib.automaton.helper.StateIDGrowingMapping
 
get(S) - Method in class net.automatalib.automaton.helper.StateIDStaticMapping
 
getAcceptance(S) - Method in class net.automatalib.incremental.dfa.AbstractVisualizationHelper
 
getAction() - Method in class net.automatalib.modelchecker.m3c.formula.AbstractModalFormulaNode
 
getActiveCount() - Method in class net.automatalib.common.util.concurrent.ScalingThreadPoolExecutor
 
getAdd() - Method in class net.automatalib.modelchecker.m3c.transformer.ADDTransformer
Returns the ADD which represents the property transformer.
getAdjacentNodes(N) - Method in interface net.automatalib.graph.Graph
Retrieves, for a given node, the (finite) collection of all adjacent nodes.
getAdjacentNodes(N) - Method in class net.automatalib.graph.SimpleMapGraph
 
getAdjacentNodesIterator(N) - Method in interface net.automatalib.graph.IndefiniteGraph
 
getAdjacentNodesIterator(N) - Method in interface net.automatalib.graph.IndefiniteSimpleGraph
Retrieves, for a given node, all adjacent nodes.
getAdjacentNodesIterator(N) - Method in class net.automatalib.graph.SimpleMapGraph
 
getAST() - Method in class net.automatalib.modelchecker.m3c.formula.DependencyGraph
Returns the abstract syntax tree of the input formula after it has been transformed into negation normal form.
getAtomicPropositions(N) - Method in interface net.automatalib.graph.concept.KripkeInterpretation
Retrieves the atomic propositions holding at the given node.
getAtomicPropositions(N) - Method in interface net.automatalib.graph.ProceduralModalProcessGraph
 
getAutomaton() - Method in class net.automatalib.modelchecking.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.automaton.random.RandomAutomatonGenerator
 
getBack() - Method in class net.automatalib.common.smartcollection.AbstractLinkedList
Retrieves the last element in the list.
getBack() - Method in interface net.automatalib.common.smartcollection.SmartDeque
Retrieves the element at the end of the sequence, or null if the sequence is empty.
getBackEntry() - Method in class net.automatalib.common.smartcollection.AbstractLinkedList
Retrieves the last entry in the list, or null if the list is empty.
getBackReference() - Method in class net.automatalib.common.smartcollection.AbstractLinkedList
Retrieves a reference to the last element in the list.
getBackReference() - Method in interface net.automatalib.common.smartcollection.SmartDeque
Retrieves the reference to the element at the end of the sequence, or null if the sequence is empty.
getBDD(int) - Method in class net.automatalib.modelchecker.m3c.transformer.BDDTransformer
Returns the BDD used to compute the satisfiability of subformula with variable number var.
getBestProvider() - Method in class net.automatalib.visualization.VPManager
 
getBlock(int) - Method in class net.automatalib.modelchecker.m3c.formula.DependencyGraph
Returns the equational block for the given index.
getBlockForState(int) - Method in class net.automatalib.util.partitionrefinement.PaigeTarjan
Retrieves the corresponding block for a given state (ID).
getBlockForState(S) - Method in class net.automatalib.util.minimizer.MinimizationResult
Retrieves the block to which a given original state belongs.
getBlocks() - Method in class net.automatalib.modelchecker.m3c.formula.DependencyGraph
Returns all equational blocks of the equational system.
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.
getBuilderFor(Iterable<?>) - Static method in interface net.automatalib.automaton.concept.Output
 
getCallAlphabet() - Method in class net.automatalib.alphabet.AbstractVPAlphabet
 
getCallAlphabet() - Method in interface net.automatalib.alphabet.VPAlphabet
Returns the call symbols of this alphabet as a (sub-) alphabet.
getCallSym(int) - Method in class net.automatalib.automaton.vpa.AbstractSEVPA
 
getCallSymbol(int) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
 
getCallSymbol(int) - Method in interface net.automatalib.alphabet.VPAlphabet
The Alphabet.getSymbol(int) variant for the call alphabet.
getCallSymbolIndex(I) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
 
getCallSymbolIndex(I) - Method in interface net.automatalib.alphabet.VPAlphabet
The Alphabet.getSymbolIndex(Object) variant for the call alphabet.
getCanonicalSpecVersion() - Static method in class net.automatalib.common.util.system.JVMUtil
Returns the canonized number of the currently available Java language specification version.
getChild() - Method in class net.automatalib.modelchecker.m3c.formula.AbstractUnaryFormulaNode
 
getChildren() - Method in class net.automatalib.graph.ads.AbstractRecursiveADSLeafNode
 
getChildren() - Method in class net.automatalib.graph.ads.AbstractRecursiveADSSymbolNode
 
getChildren() - Method in interface net.automatalib.graph.ads.RecursiveADSNode
Returns a mapping to the child nodes of this ADS node.
getColor(Map<String, String>, String, Color) - Static method in class net.automatalib.visualization.jung.JungGraphVisualizationProvider
 
getCompositions(TransformerSerializer<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.solver.SolverState
Returns a List of the property transformers representing the compositions of the property transformer of the outgoing edges and their target nodes.
getData() - Method in class net.automatalib.modelchecker.m3c.solver.SolverHistory
Returns a Map containing information per procedure name.
getDefaultTransitionProperty() - Method in class net.automatalib.ts.modal.AbstractCompactMTS
 
getDefaultTransitionProperty() - Method in class net.automatalib.ts.modal.CompactMTS
 
getDescription() - Method in interface net.automatalib.visualization.VisualizationProvider
Returns a description of the provider.
getEdgeLabel(E) - Method in interface net.automatalib.graph.concept.EdgeLabels
Retrieves the label for an edge.
getEdgeLabel(CompactPMPGEdge<L, MutableProceduralModalEdgeProperty>) - Method in class net.automatalib.graph.CompactPMPG
 
getEdgeProperties(Integer, CompactEdge<String>, Integer, Map<String, String>) - Method in class net.automatalib.modelchecker.m3c.visualization.ColorVisualizationHelper
 
getEdgeProperties(Integer, CompactEdge<String>, Integer, Map<String, String>) - Method in class net.automatalib.modelchecker.m3c.visualization.EdgeVisualizationHelper
 
getEdgeProperties(Pair<I, S>, Triple<I, I, S>, Pair<I, S>, Map<String, String>) - Method in class net.automatalib.automaton.visualization.ProceduralVisualizationHelper
 
getEdgeProperties(Pair<L, N>, Pair<L, E>, Pair<L, N>, Map<String, String>) - Method in class net.automatalib.graph.visualization.CFMPSVisualizationHelper
 
getEdgeProperties(N, E, N, Map<String, String>) - Method in class net.automatalib.graph.visualization.PMPGVisualizationHelper
 
getEdgeProperties(N, E, N, Map<String, String>) - Method in class net.automatalib.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.PrettyVisualizationHelper
 
getEdgeProperties(N, E, N, Map<String, String>) - Method in interface net.automatalib.visualization.VisualizationHelper
Retrieves the properties for rendering a single edge.
getEdgeProperties(S, TransitionEdge<I, T>, S, Map<String, String>) - Method in class net.automatalib.automaton.visualization.AutomatonVisualizationHelper
 
getEdgeProperties(S, TransitionEdge<I, T>, S, Map<String, String>) - Method in class net.automatalib.automaton.visualization.MealyVisualizationHelper
 
getEdgeProperties(S, TransitionEdge<I, T>, S, Map<String, String>) - Method in class net.automatalib.automaton.visualization.MTSVisualizationHelper
 
getEdgeProperties(S, TransitionEdge<I, T>, S, Map<String, String>) - Method in class net.automatalib.automaton.visualization.SSTVisualizationHelper
 
getEdgeProperty(Transition) - Method in class net.automatalib.brics.AbstractBricsAutomaton.GraphView
 
getEdgeProperty(E) - Method in class net.automatalib.graph.base.AbstractCompactGraph
 
getEdgeProperty(E) - Method in interface net.automatalib.graph.UniversalGraph.IntAbstraction
getEdgeProperty(E) - Method in interface net.automatalib.graph.UniversalIndefiniteGraph
Retrieves the property of a given edge.
getEdgeProperty(N) - Method in class net.automatalib.graph.SimpleMapGraph
 
getEdgeProperty(TransitionEdge<I, T>) - Method in class net.automatalib.automaton.graph.UniversalAutomatonGraphView
 
getEdgesBetween(int, int) - Method in interface net.automatalib.graph.Graph.IntAbstraction
(Finite) int-abstracted version of IndefiniteGraph.getEdgesBetween(Object, Object).
getEdgesBetween(N, N) - Method in interface net.automatalib.graph.IndefiniteGraph
Returns, for two given nodes, the edges between those nodes.
getEdgeWeight(E) - Method in interface net.automatalib.graph.concept.EdgeWeights
Retrieves the weight of an edge.
getEdgeWeight(E) - Method in class net.automatalib.util.graph.concept.PropertyEdgeWeights
 
getElement() - Method in class net.automatalib.common.smartcollection.DefaultLinkedListEntry
 
getElement() - Method in interface net.automatalib.common.smartcollection.LinkedListEntry
Retrieves the element stored at this position in the list.
getElement() - Method in class net.automatalib.util.minimizer.Block
 
getErrorOutput() - Method in class net.automatalib.automaton.procedural.EmptySPMM
 
getErrorOutput() - Method in interface net.automatalib.automaton.procedural.SPMM
Returns the output symbol that identifies erroneous transitions.
getErrorOutput() - Method in class net.automatalib.automaton.procedural.StackSPMM
 
getErrorSymbol() - Method in class net.automatalib.alphabet.DefaultProceduralOutputAlphabet
 
getErrorSymbol() - Method in interface net.automatalib.alphabet.ProceduralOutputAlphabet
Returns the error symbol of this alphabet.
getExtraCommandLineOptions() - Method in class net.automatalib.modelchecker.ltsmin.AbstractLTSmin
Returns the extra command line options that should be given to the etf2lts-mc binary.
getExtraCommandLineOptions() - Method in class net.automatalib.modelchecker.ltsmin.ltl.AbstractLTSminLTL
 
getExtraCommandLineOptions() - Method in class net.automatalib.modelchecker.ltsmin.monitor.AbstractLTSminMonitor
 
getFinalNode() - Method in class net.automatalib.graph.CompactPMPG
 
getFinalNode() - Method in interface net.automatalib.graph.concept.FinalNode
Retrieves the final node, or null if this graph does not have a final node.
getFirst() - Method in class net.automatalib.common.util.Pair
 
getFirst() - Method in class net.automatalib.common.util.Triple
 
getFormulaNodes() - Method in class net.automatalib.modelchecker.m3c.formula.DependencyGraph
Returns the list of all subformulas.
getFront() - Method in class net.automatalib.common.smartcollection.AbstractLinkedList
Retrieves the first element in the list.
getFront() - Method in interface net.automatalib.common.smartcollection.SmartDeque
Retrieves the element at the beginning of the sequence, or null if the sequence is empty.
getFrontEntry() - Method in class net.automatalib.common.smartcollection.AbstractLinkedList
Retrieves the first entry in the list, or null if the list is empty.
getFrontReference() - Method in class net.automatalib.common.smartcollection.AbstractLinkedList
Retrieves a reference to the first element in the list.
getFrontReference() - Method in interface net.automatalib.common.smartcollection.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.PrettyVisualizationHelper
 
getGlobalEdgeProperties(Map<String, String>) - Method in interface net.automatalib.visualization.VisualizationHelper
 
getGlobalIndex() - Method in class net.automatalib.alphabet.VPSym
 
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.PrettyVisualizationHelper
 
getGlobalNodeProperties(Map<String, String>) - Method in interface net.automatalib.visualization.VisualizationHelper
 
getHypothesisState() - Method in class net.automatalib.graph.ads.AbstractRecursiveADSLeafNode
 
getHypothesisState() - Method in class net.automatalib.graph.ads.AbstractRecursiveADSSymbolNode
 
getHypothesisState() - Method in interface net.automatalib.graph.ads.RecursiveADSNode
Returns the hypothesis state associated with this ADS node.
getId() - Method in class net.automatalib.common.util.nid.AbstractMutableNumericID
 
getId() - Method in interface net.automatalib.common.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.common.util.string.StringUtil
 
getIncomingEdges(int) - Method in class net.automatalib.graph.base.AbstractCompactBidiGraph
 
getIncomingEdges(int) - Method in interface net.automatalib.graph.BidirectionalGraph.IntAbstraction
getIncomingEdges(Integer) - Method in class net.automatalib.graph.base.AbstractCompactBidiGraph
 
getIncomingEdges(N) - Method in interface net.automatalib.graph.BidirectionalGraph
Retrieves the incoming edges of a given node.
getIndex() - Method in class net.automatalib.automaton.vpa.Location
 
getIndistinguishableStates() - Method in class net.automatalib.util.automaton.ads.LYResult
 
getInitialLocation() - Method in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
 
getInitialLocation() - Method in interface net.automatalib.automaton.vpa.SEVPA
 
getInitialLocation() - Method in class net.automatalib.util.automaton.vpa.ProductOneSEVPA
 
getInitialNode() - Method in class net.automatalib.graph.CompactPMPG
 
getInitialNode() - Method in interface net.automatalib.graph.concept.InitialNode
Retrieves the initial node, or null if this graph does not have an initial node.
getInitialNode() - Method in class net.automatalib.util.graph.sssp.DijkstraSSSP
 
getInitialNode() - Method in interface net.automatalib.util.graph.sssp.SSSPResult
Retrieves the node the source was started from.
getInitialProcedure() - Method in class net.automatalib.automaton.procedural.EmptySBA
 
getInitialProcedure() - Method in class net.automatalib.automaton.procedural.EmptySPA
 
getInitialProcedure() - Method in class net.automatalib.automaton.procedural.EmptySPMM
 
getInitialProcedure() - Method in class net.automatalib.automaton.procedural.StackSBA
 
getInitialProcedure() - Method in class net.automatalib.automaton.procedural.StackSPA
 
getInitialProcedure() - Method in class net.automatalib.automaton.procedural.StackSPMM
 
getInitialPropertyTransformers(TransformerSerializer<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.solver.SolverData
Returns a Mapping which maps nodes to their initial property transformer.
getInitialSatisfiedSubformulas() - Method in class net.automatalib.modelchecker.m3c.solver.SolverData
Returns a Mapping which contains the list of the initial satisfied subformulas for each node of the ProceduralModalProcessGraph whose data is stored in an instance of this class.
getInitialState() - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
 
getInitialState() - Method in class net.automatalib.automaton.base.AbstractFastMutableDet
 
getInitialState() - Method in class net.automatalib.automaton.procedural.EmptySBA
 
getInitialState() - Method in class net.automatalib.automaton.procedural.EmptySPA
 
getInitialState() - Method in class net.automatalib.automaton.procedural.EmptySPMM
 
getInitialState() - Method in class net.automatalib.automaton.procedural.StackSBA
 
getInitialState() - Method in class net.automatalib.automaton.procedural.StackSPA
 
getInitialState() - Method in class net.automatalib.automaton.procedural.StackSPMM
 
getInitialState() - Method in interface net.automatalib.automaton.vpa.SEVPA
 
getInitialState() - Method in class net.automatalib.brics.BricsDFA
 
getInitialState() - Method in class net.automatalib.modelchecking.AbstractLasso
 
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.
getInitialState() - Method in class net.automatalib.util.ts.comp.DTSComposition
 
getInitialStates() - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
 
getInitialStates() - Method in class net.automatalib.automaton.base.AbstractFastMutableNondet
 
getInitialStates() - Method in class net.automatalib.brics.AbstractBricsAutomaton
 
getInitialStates() - Method in class net.automatalib.ts.modal.AbstractCompactMTS
 
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.
getInitialStates() - Method in class net.automatalib.util.ts.comp.TSComposition
 
getInput() - Method in class net.automatalib.automaton.graph.TransitionEdge
 
getInput() - Method in class net.automatalib.automaton.graph.TransitionEdge.Property
 
getInputAlphabet() - Method in class net.automatalib.automaton.base.AbstractCompact
 
getInputAlphabet() - Method in class net.automatalib.automaton.base.AbstractFastMutable
 
getInputAlphabet() - Method in interface net.automatalib.automaton.concept.InputAlphabetHolder
 
getInputAlphabet() - Method in class net.automatalib.automaton.procedural.EmptySBA
 
getInputAlphabet() - Method in class net.automatalib.automaton.procedural.EmptySPA
 
getInputAlphabet() - Method in class net.automatalib.automaton.procedural.EmptySPMM
 
getInputAlphabet() - Method in class net.automatalib.automaton.procedural.StackSBA
 
getInputAlphabet() - Method in class net.automatalib.automaton.procedural.StackSPA
 
getInputAlphabet() - Method in class net.automatalib.automaton.procedural.StackSPMM
 
getInputAlphabet() - Method in class net.automatalib.automaton.vpa.AbstractSEVPA
 
getInputAlphabet() - Method in interface net.automatalib.automaton.vpa.SEVPA
 
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.moore.dag.IncrementalMooreDAGBuilder
 
getInputAlphabet() - Method in class net.automatalib.modelchecking.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.
getInstance() - Static method in class net.automatalib.AutomataLibSettings
 
getInstance() - Static method in class net.automatalib.common.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
 
getInternalAlphabet() - Method in class net.automatalib.alphabet.AbstractVPAlphabet
 
getInternalAlphabet() - Method in interface net.automatalib.alphabet.VPAlphabet
Returns the internal symbols of this alphabet as a (sub-) alphabet.
getInternalSuccessor(int) - Method in class net.automatalib.automaton.vpa.Location
 
getInternalSuccessor(L, I) - Method in interface net.automatalib.automaton.vpa.SEVPA
 
getInternalSuccessor(Location, I) - Method in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
 
getInternalSuccessor(Pair<L1, L2>, I) - Method in class net.automatalib.util.automaton.vpa.ProductOneSEVPA
 
getInternalSymbol(int) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
 
getInternalSymbol(int) - Method in interface net.automatalib.alphabet.VPAlphabet
The Alphabet.getSymbol(int) variant for the internal alphabet.
getInternalSymbolIndex(I) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
 
getInternalSymbolIndex(I) - Method in interface net.automatalib.alphabet.VPAlphabet
The Alphabet.getSymbolIndex(Object) variant for the internal alphabet.
getIntInitialState() - Method in class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.FullIntAbstraction
 
getIntInitialState() - Method in class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.IntAbstraction
 
getIntInitialState() - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
 
getIntInitialState() - Method in interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction
Retrieves the initial state of the (abstracted) automaton as an integer.
getIntSource(E) - Method in interface net.automatalib.graph.BidirectionalGraph.IntAbstraction
Int-abstracted version of BidirectionalGraph.getSource(Object).
getIntSource(CompactBidiEdge<EP>) - Method in class net.automatalib.graph.base.AbstractCompactBidiGraph
 
getIntSuccessor(Integer) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
 
getIntSuccessor(CompactTransition<O>) - Method in class net.automatalib.automaton.transducer.CompactMealy
 
getIntSuccessor(CompactTransition<TP>) - Method in class net.automatalib.automaton.UniversalCompactDet
 
getIntSuccessor(T) - Method in class net.automatalib.automaton.abstraction.DeterministicAbstractions.FullIntAbstraction
 
getIntSuccessor(T) - Method in class net.automatalib.automaton.abstraction.DeterministicAbstractions.StateIntAbstraction
 
getIntSuccessor(T) - Method in interface net.automatalib.automaton.DeterministicAutomaton.IntAbstraction
Retrieves the (abstracted) successor of a transition object.
getIntTarget(E) - Method in class net.automatalib.graph.base.AbstractCompactGraph
 
getIntTarget(E) - Method in interface net.automatalib.graph.Graph.IntAbstraction
Int-abstracted version of IndefiniteGraph.getTarget(Object).
getKeepFiles() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
 
getKeepFiles() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFABuilder
 
getKeepFiles() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
 
getKeepFiles() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorAlternatingBuilder
 
getKeepFiles() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorDFABuilder
 
getKeepFiles() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIOBuilder
 
getLabel() - Method in class net.automatalib.graph.CompactPMPGEdge
 
getLabel() - Method in class net.automatalib.util.minimizer.BlockEdge
Retrieves the transition label.
getLastTransition() - Method in class net.automatalib.util.ts.traversal.DFRecord
 
getLeftChild() - Method in class net.automatalib.modelchecker.m3c.formula.AbstractBinaryFormulaNode
 
getLocalIndex() - Method in class net.automatalib.alphabet.VPSym
 
getLocalInputs(Integer) - Method in class net.automatalib.automaton.base.AbstractCompact
 
getLocalInputs(Integer) - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
 
getLocalInputs(S) - Method in class net.automatalib.automaton.base.AbstractFastMutableDet
 
getLocalInputs(S) - Method in class net.automatalib.automaton.base.AbstractFastMutableNondet
 
getLocalInputs(S) - Method in interface net.automatalib.automaton.concept.StateLocalInput
Returns the collection of input symbols for which a successor state is defined.
getLocation() - Method in class net.automatalib.automaton.vpa.State
 
getLocation(int) - Method in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
 
getLocation(int) - Method in interface net.automatalib.automaton.vpa.SEVPA
 
getLocation(int) - Method in class net.automatalib.util.automaton.vpa.ProductOneSEVPA
 
getLocationId(L) - Method in interface net.automatalib.automaton.vpa.SEVPA
 
getLocationId(Location) - Method in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
 
getLocationId(Pair<L1, L2>) - Method in class net.automatalib.util.automaton.vpa.ProductOneSEVPA
 
getLocations() - Method in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
 
getLocations() - Method in interface net.automatalib.automaton.vpa.SEVPA
 
getLocations() - Method in class net.automatalib.util.automaton.vpa.ProductOneSEVPA
 
getLoop() - Method in class net.automatalib.modelchecking.AbstractLasso
 
getLoop() - Method in interface net.automatalib.modelchecking.Lasso
Gets the loop of the lasso.
getLoopBeginIndices() - Method in class net.automatalib.modelchecking.AbstractLasso
 
getLoopBeginIndices() - Method in interface net.automatalib.modelchecking.Lasso
The sorted set containing some symbol indices after which the beginning state of the loop is visited.
getMainProcess() - Method in interface net.automatalib.graph.ContextFreeModalProcessSystem
 
getMainProcess() - Method in class net.automatalib.graph.DefaultCFMPS
 
getMax() - Method in class net.automatalib.brics.BricsTransitionProperty
Retrieves the upper bound of the character range.
getMaxDepth() - Method in class net.automatalib.util.automaton.conformance.IncrementalWMethodTestsIterator
 
getMayTransformers(TransformerSerializer<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.solver.SolverHistory
Returns a Map which maps the edge label of may edges to their property transformer.
getMemoryIdx() - Method in class net.automatalib.automaton.CompactTransition
 
getMin() - Method in class net.automatalib.brics.BricsTransitionProperty
Retrieves the lower bound of the character range.
getMinimumRequiredVersion() - Method in class net.automatalib.modelchecker.ltsmin.AbstractLTSmin
Returns the minimum required version of LTSmin.
getMinimumRequiredVersion() - Method in class net.automatalib.modelchecker.ltsmin.ltl.AbstractLTSminLTL
 
getMinimumRequiredVersion() - Method in class net.automatalib.modelchecker.ltsmin.monitor.AbstractLTSminMonitor
 
getMinimumUnfolds() - Method in class net.automatalib.modelchecker.ltsmin.ltl.AbstractLTSminLTL
 
getMinimumUnfolds() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
 
getMinimumUnfolds() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFABuilder
 
getMinimumUnfolds() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
 
getMinimumUnfolds() - Method in class net.automatalib.modelchecking.AbstractUnfoldingModelChecker
 
getMinimumUnfolds() - Method in interface net.automatalib.modelchecking.ModelCheckerLasso
Returns the minimum number of times a loop must be unrolled.
getModalType() - Method in interface net.automatalib.ts.modal.transition.ModalEdgeProperty
 
getModalType() - Method in class net.automatalib.ts.modal.transition.ModalEdgePropertyImpl
 
getModelChecker() - Method in class net.automatalib.modelchecking.SizeDFAModelCheckerLassoCache
 
getModelChecker() - Method in class net.automatalib.modelchecking.SizeMealyModelCheckerCache
 
getModelChecker() - Method in class net.automatalib.modelchecking.SizeMealyModelCheckerLassoCache
 
getModuleEntry(I) - Method in class net.automatalib.automaton.vpa.DefaultNSEVPA
 
getModuleEntry(I) - Method in interface net.automatalib.automaton.vpa.OneSEVPA
 
getModuleEntry(I) - Method in interface net.automatalib.automaton.vpa.SEVPA
 
getMultiplier() - Method in class net.automatalib.modelchecker.ltsmin.ltl.AbstractLTSminLTL
 
getMultiplier() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
 
getMultiplier() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFABuilder
 
getMultiplier() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
 
getMultiplier() - Method in class net.automatalib.modelchecking.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.
getMustTransformers(TransformerSerializer<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.solver.SolverHistory
Returns a Map which maps the edge label of must edges to their property transformer.
getNext() - Method in class net.automatalib.common.smartcollection.AbstractBasicLinkedListEntry
 
getNext() - Method in interface net.automatalib.common.smartcollection.LinkedListEntry
Retrieves the next entry in the list, or null if this is the last entry.
getNode(int) - Method in class net.automatalib.automaton.graph.StateAsNodeIDs
 
getNode(int) - Method in class net.automatalib.graph.base.AbstractCompactGraph
 
getNode(int) - Method in interface net.automatalib.graph.concept.NodeIDs
Return for a given id the node of the graph identified by it.
getNode(int) - Method in class net.automatalib.graph.helper.SimpleNodeIDs
 
getNodeId(Integer) - Method in class net.automatalib.graph.base.AbstractCompactGraph
 
getNodeId(N) - Method in interface net.automatalib.graph.concept.NodeIDs
Returns for a given node of the graph an integer uniquely identifying the node.
getNodeId(N) - Method in class net.automatalib.graph.helper.SimpleNodeIDs
 
getNodeId(S) - Method in class net.automatalib.automaton.graph.StateAsNodeIDs
 
getNodeIDs() - Method in class net.automatalib.modelchecker.m3c.solver.SolverData
getNodeProperties(Integer, Map<String, String>) - Method in class net.automatalib.modelchecker.m3c.visualization.ColorVisualizationHelper
 
getNodeProperties(Integer, Map<String, String>) - Method in class net.automatalib.modelchecker.m3c.visualization.HTMLVisualizationHelper
 
getNodeProperties(Integer, Map<String, String>) - Method in class net.automatalib.modelchecker.m3c.visualization.NodeVisualizationHelper
 
getNodeProperties(Pair<I, S>, Map<String, String>) - Method in class net.automatalib.automaton.visualization.ProceduralVisualizationHelper
 
getNodeProperties(Pair<L, N>, Map<String, String>) - Method in class net.automatalib.graph.visualization.CFMPSVisualizationHelper
 
getNodeProperties(N, Map<String, String>) - Method in class net.automatalib.graph.visualization.PMPGVisualizationHelper
 
getNodeProperties(N, Map<String, String>) - Method in class net.automatalib.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.PrettyVisualizationHelper
 
getNodeProperties(N, Map<String, String>) - Method in interface net.automatalib.visualization.VisualizationHelper
Retrieves the properties for rendering a single node.
getNodeProperties(S, Map<String, String>) - Method in class net.automatalib.automaton.visualization.FSAVisualizationHelper
 
getNodeProperties(S, Map<String, String>) - Method in class net.automatalib.automaton.visualization.MooreVisualizationHelper
 
getNodeProperties(S, Map<String, String>) - Method in class net.automatalib.automaton.visualization.SSTVisualizationHelper
 
getNodeProperties(S, Map<String, String>) - Method in class net.automatalib.incremental.dfa.AbstractVisualizationHelper
 
getNodeProperties(S, Map<String, String>) - Method in class net.automatalib.incremental.mealy.VisualizationHelper
 
getNodeProperty(int) - Method in class net.automatalib.graph.CompactBidiGraph
 
getNodeProperty(int) - Method in class net.automatalib.graph.CompactGraph
 
getNodeProperty(int) - Method in class net.automatalib.graph.CompactPMPG
 
getNodeProperty(int) - Method in class net.automatalib.graph.CompactSimpleBidiGraph
 
getNodeProperty(int) - Method in class net.automatalib.graph.CompactSimpleGraph
 
getNodeProperty(int) - Method in interface net.automatalib.graph.UniversalGraph.IntAbstraction
getNodeProperty(State) - Method in class net.automatalib.brics.AbstractBricsAutomaton.GraphView
 
getNodeProperty(Integer) - Method in class net.automatalib.graph.base.AbstractCompactGraph
 
getNodeProperty(N) - Method in class net.automatalib.graph.SimpleMapGraph
 
getNodeProperty(N) - Method in interface net.automatalib.graph.UniversalIndefiniteGraph
Retrieves the property of a given node.
getNodeProperty(S) - Method in class net.automatalib.automaton.graph.UniversalAutomatonGraphView
 
getNodes() - Method in class net.automatalib.automaton.graph.AbstractAutomatonGraphView
 
getNodes() - Method in class net.automatalib.automaton.procedural.ProceduralGraphView
 
getNodes() - Method in class net.automatalib.automaton.vpa.SEVPAGraphView
 
getNodes() - Method in interface net.automatalib.graph.ads.ADSNode
 
getNodes() - Method in class net.automatalib.graph.base.AbstractCompactGraph
 
getNodes() - Method in class net.automatalib.graph.CFMPSGraphView
 
getNodes() - Method in interface net.automatalib.graph.SimpleGraph
Retrieves an (unmodifiable) collection of the nodes in this graph.
getNodes() - Method in class net.automatalib.graph.SimpleMapGraph
 
getNodes() - Method in class net.automatalib.modelchecker.m3c.formula.EquationalBlock
 
getNodes() - Method in class net.automatalib.util.graph.Path
 
getNodesForRoot(N) - Method in interface net.automatalib.graph.ads.RecursiveADSNode
A utility method to collect all nodes of a subtree specified by the given root node.
getNumberOfVars() - Method in class net.automatalib.modelchecker.m3c.transformer.BDDTransformer
Returns the number of subformulas.
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.alphabet.AbstractVPAlphabet
 
getNumCalls() - Method in interface net.automatalib.alphabet.VPAlphabet
The ArrayWritable.size() variant for the call alphabet.
getNumInternals() - Method in class net.automatalib.alphabet.AbstractVPAlphabet
 
getNumInternals() - Method in interface net.automatalib.alphabet.VPAlphabet
The ArrayWritable.size() variant for the internal alphabet.
getNumReturns() - Method in class net.automatalib.alphabet.AbstractVPAlphabet
 
getNumReturns() - Method in interface net.automatalib.alphabet.VPAlphabet
The ArrayWritable.size() variant for the return alphabet.
getNumStackSymbols() - Method in class net.automatalib.automaton.vpa.AbstractSEVPA
 
getNumStackSymbols() - Method in interface net.automatalib.automaton.vpa.SEVPA
 
getNumStackSymbols() - Method in class net.automatalib.util.automaton.vpa.ProductOneSEVPA
 
getNumVariables() - Method in class net.automatalib.modelchecker.m3c.formula.DependencyGraph
Returns the number of variables which is equal to the number of subformulas.
getOldestInput() - Method in interface net.automatalib.incremental.mealy.AdaptiveMealyBuilder
Returns the oldest, non-overridden input that has been introduced and persisted.
getOldestInput() - Method in class net.automatalib.incremental.mealy.tree.AdaptiveMealyTreeBuilder
 
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 class net.automatalib.ts.powerset.DeterministicPowersetView
 
getOriginalStates(S) - Method in interface net.automatalib.ts.PowersetViewTS
 
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 class net.automatalib.ts.powerset.DeterministicPowersetView
 
getOriginalTransitions(T) - Method in interface net.automatalib.ts.PowersetViewTS
 
getOutgoingEdgeArray(Block<S, L>) - Method in class net.automatalib.util.minimizer.BlockAutomaton
Retrieves an array of outgoing edges of a block (state).
getOutgoingEdges(int) - Method in class net.automatalib.graph.base.AbstractCompactGraph
 
getOutgoingEdges(int) - Method in interface net.automatalib.graph.Graph.IntAbstraction
Int-abstracted version of Graph.getOutgoingEdges(Object).
getOutgoingEdges(State) - Method in class net.automatalib.brics.AbstractBricsAutomaton.GraphView
 
getOutgoingEdges(Integer) - Method in class net.automatalib.graph.base.AbstractCompactGraph
 
getOutgoingEdges(L) - Method in class net.automatalib.automaton.vpa.SEVPAGraphView
 
getOutgoingEdges(N) - Method in interface net.automatalib.graph.ads.RecursiveADSNode
 
getOutgoingEdges(N) - Method in interface net.automatalib.graph.Graph
Retrieves, for a given node, the (finite) collection of all outgoing edges.
getOutgoingEdges(N) - Method in class net.automatalib.graph.SimpleMapGraph
 
getOutgoingEdges(Pair<I, S>) - Method in class net.automatalib.automaton.procedural.ProceduralGraphView
 
getOutgoingEdges(Pair<L, N>) - Method in class net.automatalib.graph.CFMPSGraphView
 
getOutgoingEdges(Block<S, L>) - Method in class net.automatalib.util.minimizer.BlockAutomaton
Retrieves a list of outgoing edges of a block (state).
getOutgoingEdges(S) - Method in class net.automatalib.automaton.graph.AutomatonGraphView
 
getOutgoingEdgesIterator(int) - Method in interface net.automatalib.graph.Graph.IntAbstraction
Int-abstracted version of Graph.getOutgoingEdgesIterator(Object).
getOutgoingEdgesIterator(N) - Method in interface net.automatalib.graph.Graph
 
getOutgoingEdgesIterator(N) - Method in interface net.automatalib.graph.IndefiniteGraph
Retrieves, for a given node, all outgoing edges.
getOutput() - Method in class net.automatalib.automaton.transducer.FastMooreState
Retrieves the output symbol generated by this state.
getOutput() - Method in class net.automatalib.automaton.transducer.MealyTransition
Retrieves the output symbol.
getOutput() - Method in class net.automatalib.automaton.transducer.probabilistic.ProbabilisticOutput
 
getOutput() - Method in class net.automatalib.modelchecking.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.automaton.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.
getParent() - Method in class net.automatalib.graph.ads.AbstractRecursiveADSLeafNode
 
getParent() - Method in class net.automatalib.graph.ads.AbstractRecursiveADSSymbolNode
 
getParent() - Method in interface net.automatalib.graph.ads.RecursiveADSNode
Returns the parent node of this node.
getParser(Collection<? extends E>, Output<E, Word<E>>, Function<String, E>) - Static method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserAlternating
 
getParser(Collection<? extends E>, Function<String, E>) - Static method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserIO
 
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(Collection<? extends I>, Function<String, I>, String, String) - Static method in class net.automatalib.serialization.fsm.parser.FSM2DFAParser
 
getParser(Collection<? extends I>, Function<String, I>, Function<String, O>) - Static method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserIO
 
getParser(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.FSM2MealyParserIO
 
getParser(Function<String, I>, String, String) - Static method in class net.automatalib.serialization.fsm.parser.FSM2DFAParser
 
getParser(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.FSM2MealyParserIO
 
getPartLineNumber() - Method in class net.automatalib.serialization.fsm.parser.AbstractFSMParser
Returns the line number that is being parsed in the current part.
getPmpg() - Method in class net.automatalib.modelchecker.m3c.solver.SolverData
Returns the ProceduralModalProcessGraph whose data is stored in an instance of this class.
getPMPGs() - Method in interface net.automatalib.graph.ContextFreeModalProcessSystem
 
getPMPGs() - Method in class net.automatalib.graph.DefaultCFMPS
 
getPrefix() - Method in class net.automatalib.modelchecking.AbstractLasso
 
getPrefix() - Method in interface net.automatalib.modelchecking.Lasso
Gets the prefix of the lasso.
getPrev() - Method in class net.automatalib.common.smartcollection.AbstractBasicLinkedListEntry
 
getPrev() - Method in interface net.automatalib.common.smartcollection.LinkedListEntry
Retrieves the previous entry in the list, or null if this is the first entry.
getPriority() - Method in class net.automatalib.common.util.setting.AbstractSystemPropertiesSource
 
getPriority() - Method in class net.automatalib.common.util.setting.LocalFileSource
 
getPriority() - Method in interface net.automatalib.common.util.setting.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.automaton.transducer.probabilistic.ProbabilisticOutput
 
getProceduralAlphabet() - Method in class net.automatalib.alphabet.DefaultProceduralInputAlphabet
 
getProceduralAlphabet() - Method in interface net.automatalib.alphabet.ProceduralInputAlphabet
Returns the union of call and internal symbols.
getProceduralInputs(Collection<I>) - Method in interface net.automatalib.automaton.procedural.SBA
 
getProceduralInputs(Collection<I>) - Method in interface net.automatalib.automaton.procedural.SPA
 
getProceduralInputs(Collection<I>) - Method in interface net.automatalib.automaton.procedural.SPMM
 
getProceduralType() - Method in interface net.automatalib.ts.modal.transition.ProceduralModalEdgeProperty
 
getProceduralType() - Method in class net.automatalib.ts.modal.transition.ProceduralModalEdgePropertyImpl
 
getProcedures() - Method in class net.automatalib.automaton.procedural.EmptySBA
 
getProcedures() - Method in class net.automatalib.automaton.procedural.EmptySPA
 
getProcedures() - Method in class net.automatalib.automaton.procedural.EmptySPMM
 
getProcedures() - Method in class net.automatalib.automaton.procedural.StackSBA
 
getProcedures() - Method in class net.automatalib.automaton.procedural.StackSPA
 
getProcedures() - Method in class net.automatalib.automaton.procedural.StackSPMM
 
getProperty() - Method in class net.automatalib.automaton.CompactTransition
 
getProperty() - Method in class net.automatalib.automaton.graph.TransitionEdge.Property
 
getProperty() - Method in class net.automatalib.graph.base.CompactEdge
 
getProperty() - Method in class net.automatalib.ts.modal.MTSTransition
 
getProperty(AutomataLibProperty) - Method in class net.automatalib.AutomataLibSettings
 
getProperty(AutomataLibProperty, String) - Method in class net.automatalib.AutomataLibSettings
 
getPropertyKey() - Method in enum net.automatalib.AutomataLibProperty
Returns the actual system property key of the property.
getProposition() - Method in class net.automatalib.modelchecker.m3c.formula.AtomicNode
 
getProviderById(String) - Method in class net.automatalib.visualization.VPManager
 
getRegularAlphabet() - Method in class net.automatalib.alphabet.DefaultProceduralOutputAlphabet
 
getRegularAlphabet() - Method in interface net.automatalib.alphabet.ProceduralOutputAlphabet
Returns the regular output symbols of this alphabet.
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.alphabet.AbstractVPAlphabet
 
getReturnAlphabet() - Method in interface net.automatalib.alphabet.VPAlphabet
Returns the return symbols of this alphabet as a (sub-) alphabet.
getReturnSuccessor(int, int) - Method in class net.automatalib.automaton.vpa.Location
 
getReturnSuccessor(L, I, int) - Method in interface net.automatalib.automaton.vpa.SEVPA
 
getReturnSuccessor(Location, I, int) - Method in class net.automatalib.automaton.vpa.AbstractDefaultSEVPA
 
getReturnSuccessor(Pair<L1, L2>, I, int) - Method in class net.automatalib.util.automaton.vpa.ProductOneSEVPA
 
getReturnSymbol() - Method in interface net.automatalib.alphabet.ProceduralInputAlphabet
Returns the single return symbol.
getReturnSymbol(int) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
 
getReturnSymbol(int) - Method in interface net.automatalib.alphabet.VPAlphabet
The Alphabet.getSymbol(int) variant for the return alphabet.
getReturnSymbolIndex(I) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
 
getReturnSymbolIndex(I) - Method in interface net.automatalib.alphabet.VPAlphabet
The Alphabet.getSymbolIndex(Object) variant for the return alphabet.
getRightChild() - Method in class net.automatalib.modelchecker.m3c.formula.AbstractBinaryFormulaNode
 
getSCCList() - Method in class net.automatalib.util.graph.scc.SCCCollector
 
getSecond() - Method in class net.automatalib.common.util.Pair
 
getSecond() - Method in class net.automatalib.common.util.Triple
 
getSerializer() - Method in class net.automatalib.modelchecker.m3c.solver.ADDSolver
 
getSerializer() - Method in class net.automatalib.modelchecker.m3c.solver.BDDSolver
 
getShortestPath(N) - Method in class net.automatalib.util.graph.sssp.DijkstraSSSP
 
getShortestPath(N) - Method in interface net.automatalib.util.graph.sssp.SSSPResult
Retrieves the shortest path from the initial node to the given one (as a sequence of edges), or null if there exists no such path.
getShortestPath(N, N) - Method in interface net.automatalib.util.graph.apsp.APSPResult
Retrieves the shortest path between the given nodes, or null if there exists no such path.
getShortestPath(N, N) - Method in class net.automatalib.util.graph.apsp.FloydWarshallAPSP
 
getShortestPathDistance(N) - Method in class net.automatalib.util.graph.sssp.DijkstraSSSP
 
getShortestPathDistance(N) - Method in interface net.automatalib.util.graph.sssp.SSSPResult
Retrieves the length of the shortest path from the initial node to the given one.
getShortestPathDistance(N, N) - Method in interface net.automatalib.util.graph.apsp.APSPResult
Retrieves the length of the shortest path between the given nodes.
getShortestPathDistance(N, N) - Method in class net.automatalib.util.graph.apsp.FloydWarshallAPSP
 
getShortestPathEdge(N) - Method in class net.automatalib.util.graph.sssp.DijkstraSSSP
 
getShortestPathEdge(N) - Method in interface net.automatalib.util.graph.sssp.SSSPResult
Retrieves the incoming edge via which the given node is reached on the shortest path.
getSkipOutputs() - Method in class net.automatalib.modelchecker.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.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
 
getSkipOutputs() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
 
getSkipOutputs() - Method in class net.automatalib.modelchecker.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.modelchecker.ltsmin.monitor.LTSminMonitorAlternatingBuilder
 
getSkipOutputs() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIOBuilder
 
getSkipOutputs() - Method in interface net.automatalib.modelchecking.ModelChecker.MealyModelChecker
Returns the outputs for which all transitions should be removed.
getSolverStates() - Method in class net.automatalib.modelchecker.m3c.solver.SolverHistory
Returns the list of SolverStates, one per update of a node.
getSource() - Method in class net.automatalib.graph.base.CompactBidiEdge
 
getSource() - Method in class net.automatalib.util.minimizer.BlockEdge
Retrieves the source block.
getSource(E) - Method in interface net.automatalib.graph.BidirectionalGraph
Retrieves the source node of a given edge.
getSource(CompactBidiEdge<EP>) - Method in class net.automatalib.graph.base.AbstractCompactBidiGraph
 
getStackContents() - Method in class net.automatalib.automaton.vpa.State
 
getStackLoc(int) - Method in class net.automatalib.automaton.vpa.AbstractSEVPA
 
getState(int) - Method in class net.automatalib.automaton.base.AbstractCompact
 
getState(int) - Method in class net.automatalib.automaton.base.AbstractFastMutable
 
getState(int) - Method in interface net.automatalib.automaton.concept.StateIDs
Return for a given id the state of the automaton identified by it.
getState(int) - Method in class net.automatalib.automaton.helper.SimpleStateIDs
 
getState(Iterable<? extends I>) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
 
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.automaton.base.AbstractCompact
 
getStateId(S) - Method in class net.automatalib.automaton.base.AbstractFastMutable
 
getStateId(S) - Method in interface net.automatalib.automaton.concept.StateIDs
Returns for a given state of the automaton an integer uniquely identifying the state.
getStateId(S) - Method in class net.automatalib.automaton.helper.SimpleStateIDs
 
getStateMapping() - Method in class net.automatalib.util.automaton.copy.AbstractLowLevelAutomatonCopier
 
getStateMapping() - Method in interface net.automatalib.util.automaton.copy.LowLevelAutomatonCopier
 
getStateMapping() - Method in class net.automatalib.util.ts.copy.TSCopyVisitor
 
getStateOutput(Integer) - Method in class net.automatalib.automaton.transducer.CompactMoore
 
getStateOutput(FastMooreState<O>) - Method in class net.automatalib.automaton.transducer.FastMoore
 
getStateOutput(S) - Method in interface net.automatalib.automaton.concept.StateOutput
 
getStateProperty(int) - Method in class net.automatalib.automaton.abstraction.UniversalDeterministicAbstractions.FullIntAbstraction
 
getStateProperty(int) - Method in class net.automatalib.automaton.abstraction.UniversalDeterministicAbstractions.StateIntAbstraction
 
getStateProperty(int) - Method in class net.automatalib.automaton.fsa.CompactDFA
 
getStateProperty(int) - Method in class net.automatalib.automaton.transducer.CompactMealy
 
getStateProperty(int) - Method in class net.automatalib.automaton.UniversalCompactDet
 
getStateProperty(int) - Method in class net.automatalib.automaton.UniversalCompactSimpleDet
 
getStateProperty(int) - Method in interface net.automatalib.automaton.UniversalDeterministicAutomaton.IntAbstraction
Retrieves the state property of a given (abstracted) state.
getStateProperty(Integer) - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
 
getStateProperty(Integer) - Method in class net.automatalib.ts.modal.AbstractCompactMTS
 
getStateProperty(FastProbMealyState<O>) - Method in class net.automatalib.automaton.transducer.probabilistic.FastProbMealy
 
getStateProperty(S) - Method in interface net.automatalib.ts.acceptor.AcceptorTS
 
getStateProperty(S) - Method in interface net.automatalib.ts.output.MealyTransitionSystem
 
getStateProperty(S) - Method in interface net.automatalib.ts.output.MooreTransitionSystem
 
getStateProperty(S) - Method in interface net.automatalib.ts.UniversalTransitionSystem
Retrieves the state property for the given state.
getStates() - Method in class net.automatalib.automaton.base.AbstractCompact
 
getStates() - Method in class net.automatalib.automaton.base.AbstractFastMutable
 
getStates() - Method in interface net.automatalib.automaton.simple.SimpleAutomaton
Retrieves all states of the transition system.
getStates() - Method in class net.automatalib.brics.AbstractBricsAutomaton
 
getStates() - Method in class net.automatalib.modelchecking.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.modelchecker.ltsmin.AbstractLTSmin
 
getString2Input() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
 
getString2Input() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFABuilder
 
getString2Input() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
 
getString2Input() - Method in interface net.automatalib.modelchecker.ltsmin.LTSmin
Returns the function that transforms edges in FSM files to actual input.
getString2Input() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorAlternatingBuilder
 
getString2Input() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorDFABuilder
 
getString2Input() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIOBuilder
 
getString2Output() - Method in class net.automatalib.modelchecker.ltsmin.ltl.AbstractLTSminLTLMealy
Gets a function that transforms edges in the FSM file to actual output.
getString2Output() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
 
getString2Output() - Method in class net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder
 
getString2Output() - Method in interface net.automatalib.modelchecker.ltsmin.LTSminMealy
Gets a function that transforms edges in the FSM file to actual output.
getString2Output() - Method in class net.automatalib.modelchecker.ltsmin.monitor.AbstractLTSminMonitorMealy
Gets a function that transforms edges in the FSM file to actual output.
getString2Output() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorAlternatingBuilder
 
getString2Output() - Method in class net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIOBuilder
 
getSuccessor() - Method in class net.automatalib.automaton.transducer.MealyTransition
Retrieves the successor state.
getSuccessor(int, int) - Method in class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.FullIntAbstraction
 
getSuccessor(int, int) - Method in interface net.automatalib.automaton.DeterministicAutomaton.FullIntAbstraction
 
getSuccessor(int, int) - Method in interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.FullIntAbstraction
Retrieves the (abstracted) successor for a given (abstracted) source state and (abstracted) input.
getSuccessor(int, I) - Method in class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.StateIntAbstraction
 
getSuccessor(int, I) - Method in interface net.automatalib.automaton.DeterministicAutomaton.StateIntAbstraction
 
getSuccessor(int, I) - Method in interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.StateIntAbstraction
Retrieves the (abstracted) successor state for a given (abstracted) source state and input symbol.
getSuccessor(State, Character) - Method in class net.automatalib.brics.BricsDFA
 
getSuccessor(Integer) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
 
getSuccessor(Integer) - Method in class net.automatalib.modelchecking.MealyLassoImpl
 
getSuccessor(Integer, I) - Method in class net.automatalib.modelchecking.AbstractLasso
Get the successor state of a given state, or null when no such successor exists.
getSuccessor(Integer, Iterable<? extends I>) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
 
getSuccessor(Void) - Method in class net.automatalib.automaton.procedural.EmptySPMM
 
getSuccessor(Set<S>, I) - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
 
getSuccessor(Set<T>) - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
 
getSuccessor(Set<T>) - Method in class net.automatalib.ts.powerset.FastPowersetDTS
 
getSuccessor(FastMooreState<O>) - Method in class net.automatalib.automaton.transducer.FastMoore
 
getSuccessor(MealyTransition<StackState<S, I, MealyMachine<S, I, T, O>>, O>) - Method in class net.automatalib.automaton.procedural.StackSPMM
 
getSuccessor(MealyTransition<FastMealyState<O>, O>) - Method in class net.automatalib.automaton.transducer.FastMealy
 
getSuccessor(MealyTransition<FastProbMealyState<O>, ProbabilisticOutput<O>>) - Method in class net.automatalib.automaton.transducer.probabilistic.FastProbMealy
 
getSuccessor(Pair<T1, T2>) - Method in class net.automatalib.util.ts.comp.DTSComposition
 
getSuccessor(Pair<T1, T2>) - Method in class net.automatalib.util.ts.comp.TSComposition
 
getSuccessor(MTSTransition<MutableModalEdgeProperty>) - Method in class net.automatalib.ts.modal.CompactMTS
 
getSuccessor(FastPowersetState<S>, I) - Method in class net.automatalib.ts.powerset.FastPowersetDTS
 
getSuccessor(S) - Method in interface net.automatalib.ts.acceptor.AcceptorTS
 
getSuccessor(S, I) - Method in interface net.automatalib.ts.DeterministicTransitionSystem
 
getSuccessor(S, I) - Method in interface net.automatalib.ts.simple.SimpleDTS
Retrieves the successor state reachable by the given input symbol.
getSuccessor(S, Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleDTS
Retrieves the successor state reachable by the given sequence of input symbols.
getSuccessor(T) - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
 
getSuccessor(T) - Method in class net.automatalib.ts.powerset.DeterministicPowersetView
 
getSuccessor(T) - Method in interface net.automatalib.ts.TransitionSystem
Retrieves the successor state of a given transition.
getSuccessors(Collection<? extends S>, Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleTS
Retrieves the set of all successors that can be reached from any of the given source states by the specified sequence of input symbols.
getSuccessors(S, I) - Method in interface net.automatalib.ts.DeterministicTransitionSystem
 
getSuccessors(S, I) - Method in interface net.automatalib.ts.simple.SimpleDTS
 
getSuccessors(S, I) - Method in interface net.automatalib.ts.simple.SimpleTS
Retrieves the set of successors for the given input symbol.
getSuccessors(S, I) - Method in interface net.automatalib.ts.TransitionSystem
 
getSuccessors(S, Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleDTS
 
getSuccessors(S, Iterable<? extends I>) - Method in interface net.automatalib.ts.simple.SimpleTS
Retrieves the set of successors for the given sequence of input symbols.
getSuccId() - Method in class net.automatalib.automaton.CompactTransition
 
getSymbol() - Method in class net.automatalib.graph.ads.AbstractRecursiveADSLeafNode
 
getSymbol() - Method in class net.automatalib.graph.ads.AbstractRecursiveADSSymbolNode
 
getSymbol() - Method in interface net.automatalib.graph.ads.RecursiveADSNode
Returns the input symbol associated with this ADS node.
getSymbol(int) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
 
getSymbol(int) - Method in interface net.automatalib.alphabet.Alphabet
Returns the symbol with the given index in this alphabet.
getSymbol(int) - Method in class net.automatalib.alphabet.ArrayAlphabet
 
getSymbol(int) - Method in class net.automatalib.alphabet.DefaultVPAlphabet
 
getSymbol(int) - Method in class net.automatalib.alphabet.FastAlphabet
 
getSymbol(int) - Method in class net.automatalib.alphabet.GrowingVPAlphabet
 
getSymbol(int) - Method in class net.automatalib.alphabet.ListAlphabet
 
getSymbol(int) - Method in class net.automatalib.alphabet.MapAlphabet
 
getSymbol(int) - Method in class net.automatalib.alphabet.SingletonAlphabet
 
getSymbol(int) - Method in class net.automatalib.word.Word
Return symbol that is at the specified position.
getSymbol(int) - Method in class net.automatalib.word.WordBuilder
Retrieves the symbol at the given index.
getSymbolIndex(E) - Method in class net.automatalib.alphabet.EnumAlphabet
 
getSymbolIndex(I) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
 
getSymbolIndex(I) - Method in interface net.automatalib.alphabet.Alphabet
Returns the index of the given symbol in the alphabet.
getSymbolIndex(I) - Method in class net.automatalib.alphabet.ArrayAlphabet
 
getSymbolIndex(I) - Method in class net.automatalib.alphabet.FastAlphabet
 
getSymbolIndex(I) - Method in class net.automatalib.alphabet.ListAlphabet
 
getSymbolIndex(I) - Method in class net.automatalib.alphabet.MapAlphabet
 
getSymbolIndex(I) - Method in class net.automatalib.alphabet.SingletonAlphabet
 
getSymbolIndex(I) - Method in class net.automatalib.automaton.base.AbstractCompact
 
getSymbolIndex(VPSym<I>) - Method in class net.automatalib.alphabet.GrowingVPAlphabet
 
getSymbolType(I) - Method in class net.automatalib.alphabet.AbstractVPAlphabet
 
getSymbolType(I) - Method in interface net.automatalib.alphabet.VPAlphabet
Returns the symbol type of the given alphabet symbol.
getSymbolType(VPSym<I>) - Method in class net.automatalib.alphabet.GrowingVPAlphabet
 
getTarget() - Method in class net.automatalib.graph.base.CompactEdge
 
getTarget() - Method in class net.automatalib.ts.modal.MTSTransition
 
getTarget() - Method in class net.automatalib.util.minimizer.BlockEdge
Retrieves the target block.
getTarget(Transition) - Method in class net.automatalib.brics.AbstractBricsAutomaton.GraphView
 
getTarget(E) - Method in class net.automatalib.graph.base.AbstractCompactGraph
 
getTarget(E) - Method in interface net.automatalib.graph.IndefiniteGraph
Retrieves, for a given edge, its target node.
getTarget(N) - Method in interface net.automatalib.graph.ads.RecursiveADSNode
 
getTarget(N) - Method in class net.automatalib.graph.SimpleMapGraph
 
getTarget(TransitionEdge<I, T>) - Method in class net.automatalib.automaton.graph.AutomatonGraphView
 
getTarget(SEVPAGraphView.SevpaViewEdge<L, I>) - Method in class net.automatalib.automaton.vpa.SEVPAGraphView
 
getTarget(Pair<L, E>) - Method in class net.automatalib.graph.CFMPSGraphView
 
getTarget(Triple<I, I, S>) - Method in class net.automatalib.automaton.procedural.ProceduralGraphView
 
getThird() - Method in class net.automatalib.common.util.Triple
 
getTransition() - Method in class net.automatalib.automaton.graph.TransitionEdge
 
getTransition(int, int) - Method in class net.automatalib.automaton.abstraction.DeterministicAbstractions.FullIntAbstraction
 
getTransition(int, int) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
 
getTransition(int, int) - Method in interface net.automatalib.automaton.DeterministicAutomaton.FullIntAbstraction
Retrieves the outgoing transition for an (abstracted) source state and (abstracted) input symbol, or returns null if the automaton has no transition for this state and input.
getTransition(int, int) - Method in class net.automatalib.automaton.transducer.CompactMealy
 
getTransition(int, int) - Method in class net.automatalib.automaton.UniversalCompactDet
 
getTransition(int, I) - Method in class net.automatalib.automaton.abstraction.DeterministicAbstractions.StateIntAbstraction
 
getTransition(int, I) - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
 
getTransition(int, I) - Method in interface net.automatalib.automaton.DeterministicAutomaton.StateIntAbstraction
Retrieves the outgoing transition for an (abstracted) source state and input symbol, or returns null if the automaton has no transition for this state and input.
getTransition(State, Character) - Method in class net.automatalib.brics.BricsDFA
 
getTransition(Integer, I) - Method in class net.automatalib.automaton.base.AbstractCompactDeterministic
 
getTransition(Integer, I) - Method in class net.automatalib.modelchecking.AbstractLasso
 
getTransition(Void, I) - Method in class net.automatalib.automaton.procedural.EmptySBA
 
getTransition(Void, I) - Method in class net.automatalib.automaton.procedural.EmptySPA
 
getTransition(Void, I) - Method in class net.automatalib.automaton.procedural.EmptySPMM
 
getTransition(Set<S>, I) - Method in class net.automatalib.ts.powerset.DirectPowersetDTS
 
getTransition(StackState<S, I, DFA<S, I>>, I) - Method in class net.automatalib.automaton.procedural.StackSBA
 
getTransition(StackState<S, I, DFA<S, I>>, I) - Method in class net.automatalib.automaton.procedural.StackSPA
 
getTransition(StackState<S, I, MealyMachine<S, I, T, O>>, I) - Method in class net.automatalib.automaton.procedural.StackSPMM
 
getTransition(State<L>, I) - Method in class net.automatalib.automaton.vpa.AbstractSEVPA
 
getTransition(Pair<S1, S2>, I) - Method in class net.automatalib.util.ts.comp.DTSComposition
 
getTransition(FastPowersetState<S>, I) - Method in class net.automatalib.ts.powerset.FastPowersetDTS
 
getTransition(S, I) - Method in class net.automatalib.automaton.base.AbstractFastMutableDet
 
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
 
getTransitionObject(int) - Method in class net.automatalib.automaton.base.AbstractFastState
 
getTransitionOutput(Integer) - Method in class net.automatalib.modelchecking.MealyLassoImpl
 
getTransitionOutput(Void) - Method in class net.automatalib.automaton.procedural.EmptySPMM
 
getTransitionOutput(CompactTransition<O>) - Method in class net.automatalib.automaton.transducer.CompactMealy
 
getTransitionOutput(MealyTransition<StackState<S, I, MealyMachine<S, I, T, O>>, O>) - Method in class net.automatalib.automaton.procedural.StackSPMM
 
getTransitionOutput(MealyTransition<FastMealyState<O>, O>) - Method in class net.automatalib.automaton.transducer.FastMealy
 
getTransitionOutput(MealyTransition<FastProbMealyState<O>, ProbabilisticOutput<O>>) - Method in class net.automatalib.automaton.transducer.probabilistic.FastProbMealy
 
getTransitionOutput(T) - Method in interface net.automatalib.automaton.concept.TransitionOutput
 
getTransitionProbability(MealyTransition<FastProbMealyState<O>, ProbabilisticOutput<O>>) - Method in class net.automatalib.automaton.transducer.probabilistic.FastProbMealy
 
getTransitionProbability(T) - Method in interface net.automatalib.automaton.concept.Probabilistic
 
getTransitionProperty(int, int) - Method in interface net.automatalib.automaton.UniversalDeterministicAutomaton.FullIntAbstraction
 
getTransitionProperty(int, I) - Method in interface net.automatalib.automaton.UniversalDeterministicAutomaton.StateIntAbstraction
 
getTransitionProperty(Integer) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic
 
getTransitionProperty(Integer) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
 
getTransitionProperty(CompactTransition<O>) - Method in class net.automatalib.automaton.transducer.CompactMealy
 
getTransitionProperty(CompactTransition<TP>) - Method in class net.automatalib.automaton.UniversalCompactDet
 
getTransitionProperty(MealyTransition<FastProbMealyState<O>, ProbabilisticOutput<O>>) - Method in class net.automatalib.automaton.transducer.probabilistic.FastProbMealy
 
getTransitionProperty(MTSTransition<MutableModalEdgeProperty>) - Method in class net.automatalib.ts.modal.CompactMTS
 
getTransitionProperty(S) - Method in interface net.automatalib.ts.acceptor.AcceptorTS
 
getTransitionProperty(S, I) - Method in interface net.automatalib.ts.output.MooreTransitionSystem
 
getTransitionProperty(S, I) - Method in interface net.automatalib.ts.UniversalDTS
Retrieves the transition property of the outgoing transition corresponding to the given state and input, if it exists.
getTransitionProperty(T) - Method in class net.automatalib.automaton.abstraction.UniversalDeterministicAbstractions.FullIntAbstraction
 
getTransitionProperty(T) - Method in class net.automatalib.automaton.abstraction.UniversalDeterministicAbstractions.StateIntAbstraction
 
getTransitionProperty(T) - Method in interface net.automatalib.automaton.transducer.probabilistic.ProbabilisticMealyMachine
 
getTransitionProperty(T) - Method in interface net.automatalib.automaton.UniversalDeterministicAutomaton.IntAbstraction
Retrieves the transition property of a given transition.
getTransitionProperty(T) - Method in interface net.automatalib.ts.output.MealyTransitionSystem
 
getTransitionProperty(T) - Method in interface net.automatalib.ts.output.MooreTransitionSystem
 
getTransitionProperty(T) - Method in interface net.automatalib.ts.UniversalTransitionSystem
Retrieves the transition property for the given state.
getTransitions() - Method in class net.automatalib.serialization.fsm.parser.AbstractFSM2MealyParser
Gets the map of transitions for the Mealy machine.
getTransitions(int, int) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
 
getTransitions(int, I) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
 
getTransitions(State, Character) - Method in class net.automatalib.brics.AbstractBricsAutomaton
 
getTransitions(Integer, I) - Method in class net.automatalib.automaton.base.AbstractCompactSimpleNondet
 
getTransitions(Integer, I) - Method in class net.automatalib.ts.modal.AbstractCompactMTS
 
getTransitions(Pair<S1, S2>, I) - Method in class net.automatalib.util.ts.comp.TSComposition
 
getTransitions(S) - Method in interface net.automatalib.automaton.FiniteAlphabetAutomaton
Convenience method for accessing all (outgoing) transitions of a given state.
getTransitions(S, I) - Method in class net.automatalib.automaton.base.AbstractFastMutableNondet
 
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.alphabet.VPSym
 
getUnfolds() - Method in class net.automatalib.modelchecking.AbstractLasso
 
getUnfolds() - Method in interface net.automatalib.modelchecking.Lasso
Returns the number of times the loop is unfolded.
getUpdatedNode() - Method in class net.automatalib.modelchecker.m3c.solver.SolverState
Returns the node updated in this step.
getUpdatedNodePMPG() - Method in class net.automatalib.modelchecker.m3c.solver.SolverState
Returns the name of the ProceduralModalProcessGraph which contains the node updated in this step.
getUpdatedNodeSatisfiedSubformula() - Method in class net.automatalib.modelchecker.m3c.solver.SolverState
Returns the list of satisfied subformulas the node updated in this step satisfies after the update.
getUpdatedPropTransformer(TransformerSerializer<T, L, AP>) - Method in class net.automatalib.modelchecker.m3c.solver.SolverState
Returns the updated property transformer.
getUserObject() - Method in class net.automatalib.alphabet.Symbol
 
getUserObject() - Method in class net.automatalib.alphabet.VPSym
 
getVariable() - Method in class net.automatalib.modelchecker.m3c.formula.modalmu.AbstractFixedPointFormulaNode
 
getVariable() - Method in class net.automatalib.modelchecker.m3c.formula.modalmu.VariableNode
 
getVarNumber() - Method in class net.automatalib.modelchecker.m3c.formula.AbstractFormulaNode
 
getVarNumber() - Method in interface net.automatalib.modelchecker.m3c.formula.FormulaNode
 
getVarNumberChild() - Method in class net.automatalib.modelchecker.m3c.formula.AbstractUnaryFormulaNode
 
getVarNumberLeft() - Method in class net.automatalib.modelchecker.m3c.formula.AbstractBinaryFormulaNode
 
getVarNumberRight() - Method in class net.automatalib.modelchecker.m3c.formula.AbstractBinaryFormulaNode
 
getVersion() - Static method in class net.automatalib.modelchecker.ltsmin.LTSminUtil
Returns the detected version of the LTSmin installation.
getVisualizationHelper() - Method in class net.automatalib.automaton.fsa.FiniteStateAcceptor.FSAGraphView
 
getVisualizationHelper() - Method in class net.automatalib.automaton.graph.AutomatonGraphView
 
getVisualizationHelper() - Method in class net.automatalib.automaton.procedural.ProceduralGraphView
 
getVisualizationHelper() - Method in class net.automatalib.automaton.transducer.MealyMachine.MealyGraphView
 
getVisualizationHelper() - Method in class net.automatalib.automaton.transducer.MooreMachine.MooreGraphView
 
getVisualizationHelper() - Method in class net.automatalib.automaton.transducer.SubsequentialTransducer.SSTGraphView
 
getVisualizationHelper() - Method in class net.automatalib.automaton.vpa.SEVPAGraphView
 
getVisualizationHelper() - Method in class net.automatalib.brics.AbstractBricsAutomaton.GraphView
 
getVisualizationHelper() - Method in interface net.automatalib.graph.ads.RecursiveADSNode
 
getVisualizationHelper() - Method in class net.automatalib.graph.CFMPSGraphView
 
getVisualizationHelper() - Method in interface net.automatalib.graph.Graph
 
getVisualizationHelper() - Method in interface net.automatalib.graph.ProceduralModalProcessGraph
 
getVisualizationHelper() - Method in interface net.automatalib.graph.SimpleGraph
Returns the VisualizationHelper that contains information for displaying this graph.
getVisualizationHelper() - Method in class net.automatalib.ts.modal.ModalTransitionSystem.MTSGraphView
 
getWitness() - Method in class net.automatalib.modelchecker.m3c.solver.WitnessTree
 
getWord() - Method in class net.automatalib.modelchecking.AbstractLasso
 
getWord() - Method in interface net.automatalib.modelchecking.Lasso
Gets the finite representation of the lasso.
getWorkSet() - Method in class net.automatalib.modelchecker.m3c.solver.SolverState
Returns a Map which returns the set of nodes which are in the work set for each procedure after the update.
GfpNode<L,​AP> - Class in net.automatalib.modelchecker.m3c.formula.modalmu
Java representation of a "nu" (sub-)formula.
GfpNode(String, FormulaNode<L, AP>) - Constructor for class net.automatalib.modelchecker.m3c.formula.modalmu.GfpNode
 
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.
Graph<N,​E> - Interface in net.automatalib.graph
Graph interface.
Graph.IntAbstraction<E> - Interface in net.automatalib.graph
Interface for node integer abstractions of a Graph.
GraphCopy - Class in net.automatalib.util.graph.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.graph
 
GraphTraversal - Class in net.automatalib.util.graph.traversal
 
GraphTraversalAction - Enum in net.automatalib.util.graph.traversal
The type of GraphTraversalAction to be performed.
GraphTraversalVisitor<N,​E,​D> - Interface in net.automatalib.util.graph.traversal
Visitor interface for graph traversals.
graphView() - Method in interface net.automatalib.automaton.FiniteAlphabetAutomaton
 
graphView() - Method in interface net.automatalib.automaton.vpa.SEVPA
 
graphView() - Method in class net.automatalib.brics.AbstractBricsAutomaton
 
graphView() - Method in interface net.automatalib.graph.concept.GraphViewable
 
graphView() - Method in interface net.automatalib.graph.ContextFreeModalProcessSystem
 
GraphView() - Constructor for class net.automatalib.brics.AbstractBricsAutomaton.GraphView
 
GraphViewable - Interface in net.automatalib.graph.concept
 
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
 
GrowingAlphabet<I> - Interface in net.automatalib.alphabet
Alphabet class that supports adding new symbols.
GrowingAlphabetNotSupportedException - Exception in net.automatalib.exception
An exception to be thrown when functionality revolving around GrowingAlphabet.addSymbol(Object) is accessed (e.g. by trying to add an alphabet symbol to an automaton) but the given data structure was not properly set up (e.g.
GrowingAlphabetNotSupportedException(Alphabet<I>) - Constructor for exception net.automatalib.exception.GrowingAlphabetNotSupportedException
 
GrowingMapAlphabet<I> - Class in net.automatalib.alphabet
An extension of the MapAlphabet that also allows adding new symbol after construction.
GrowingMapAlphabet() - Constructor for class net.automatalib.alphabet.GrowingMapAlphabet
 
GrowingMapAlphabet(Collection<? extends I>) - Constructor for class net.automatalib.alphabet.GrowingMapAlphabet
 
GrowingVPAlphabet<I> - Class in net.automatalib.alphabet
A VPAlphabet implementation that allows to add new symbols after its construction.
GrowingVPAlphabet() - Constructor for class net.automatalib.alphabet.GrowingVPAlphabet
 

H

hasDefinitiveInformation(Word<? extends I>) - Method in interface net.automatalib.incremental.dfa.IncrementalDFABuilder
 
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.dag.IncrementalMealyDAGBuilder
 
hasDefinitiveInformation(Word<? extends I>) - Method in interface net.automatalib.incremental.mealy.MealyBuilder
 
hasDefinitiveInformation(Word<? extends I>) - Method in class net.automatalib.incremental.moore.dag.IncrementalMooreDAGBuilder
 
hasDefinitiveInformation(Word<? extends I>) - Method in interface net.automatalib.incremental.moore.IncrementalMooreBuilder
 
hashCode() - Method in class net.automatalib.alphabet.AbstractSymbol
 
hashCode() - Method in class net.automatalib.automaton.CompactTransition
 
hashCode() - Method in class net.automatalib.automaton.graph.TransitionEdge
 
hashCode() - Method in class net.automatalib.automaton.graph.TransitionEdge.Property
 
hashCode() - Method in class net.automatalib.automaton.transducer.probabilistic.ProbabilisticOutput
 
hashCode() - Method in class net.automatalib.brics.BricsTransitionProperty
 
hashCode() - Method in class net.automatalib.common.smartcollection.ArrayStorage
 
hashCode() - Method in class net.automatalib.common.util.Pair
 
hashCode() - Method in class net.automatalib.common.util.Triple
 
hashCode() - Method in class net.automatalib.modelchecker.ltsmin.LTSminVersion
 
hashCode() - Method in class net.automatalib.modelchecker.m3c.formula.AbstractBinaryFormulaNode
 
hashCode() - Method in class net.automatalib.modelchecker.m3c.formula.AbstractFormulaNode
 
hashCode() - Method in class net.automatalib.modelchecker.m3c.formula.AbstractModalFormulaNode
 
hashCode() - Method in class net.automatalib.modelchecker.m3c.formula.AbstractUnaryFormulaNode
 
hashCode() - Method in class net.automatalib.modelchecker.m3c.formula.AtomicNode
 
hashCode() - Method in class net.automatalib.modelchecker.m3c.formula.modalmu.AbstractFixedPointFormulaNode
 
hashCode() - Method in class net.automatalib.modelchecker.m3c.formula.modalmu.VariableNode
 
hashCode() - Method in class net.automatalib.modelchecker.m3c.transformer.ADDTransformer
 
hashCode() - Method in class net.automatalib.modelchecker.m3c.transformer.BDDTransformer
 
hashCode() - Method in class net.automatalib.ts.modal.transition.ModalEdgePropertyImpl
 
hashCode() - Method in class net.automatalib.ts.modal.transition.ProceduralModalEdgePropertyImpl
 
hashCode() - Method in class net.automatalib.ts.powerset.FastPowersetState
 
hashCode() - Method in class net.automatalib.util.partitionrefinement.StateSignature
 
hashCode() - Method in class net.automatalib.word.