Index (LearnLib 0.11.2 API)

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

A

AbstractAutomatonLStar<A,I,D,S,T,SP,TP,AI extends MutableDeterministic<S,I,T,SP,TP>> - Class in de.learnlib.algorithms.lstargeneric: Abstract base class for algorithms that produce (subclasses of) MutableDeterministic automata.
AbstractAutomatonLStar(Alphabet, MembershipOracle<I, D>, AI) - Constructor for class de.learnlib.algorithms.lstargeneric.AbstractAutomatonLStar: Constructor.
AbstractContextExecutableInputSUL,O,C> - Class in de.learnlib.mapper: Abstract base class for a SUL that step-wisely executes ContextExecutableInput symbols.
AbstractContextExecutableInputSUL() - Constructor for class de.learnlib.mapper.AbstractContextExecutableInputSUL
AbstractCounterexample - Interface in de.learnlib.acex
AbstractDFALearnerIT - Class in de.learnlib.testsupport.it.learner: Abstract integration test for DFA learning algorithms.
AbstractDFALearnerIT() - Constructor for class de.learnlib.testsupport.it.learner.AbstractDFALearnerIT
AbstractDTLearner<M extends SuffixOutput<I,D>,I,D,SP,TP> - Class in de.learnlib.algorithms.discriminationtree
AbstractDTLearner(Alphabet, MembershipOracle<I, D>, LocalSuffixFinder<? super I, ? super D>, boolean, DiscriminationTree<I, D, HState<I, D, SP, TP>>) - Constructor for class de.learnlib.algorithms.discriminationtree.AbstractDTLearner
AbstractDTLearner.BuilderDefaults - Class in de.learnlib.algorithms.discriminationtree
AbstractLearnerIT - Class in de.learnlib.testsupport.it.learner: Abstract integration test for a learning algorithm (or "learner").
AbstractLearnerIT() - Constructor for class de.learnlib.testsupport.it.learner.AbstractLearnerIT
AbstractLStar<A,I,D> - Class in de.learnlib.algorithms.lstargeneric: An abstract base class for L*-style algorithms.
AbstractLStar(Alphabet, MembershipOracle<I, D>) - Constructor for class de.learnlib.algorithms.lstargeneric.AbstractLStar: Constructor.
AbstractMapper<AI,AO,CI,CO> - Class in de.learnlib.mapper: Abstract base for a Mapper.
AbstractMapper() - Constructor for class de.learnlib.mapper.AbstractMapper
AbstractMealyLearnerIT - Class in de.learnlib.testsupport.it.learner: Abstract integration test for Mealy machine learning algorithms.
AbstractMealyLearnerIT() - Constructor for class de.learnlib.testsupport.it.learner.AbstractMealyLearnerIT
AbstractMealySymLearnerIT - Class in de.learnlib.testsupport.it.learner: Abstract integration test for Mealy machine learning algorithms.
AbstractMealySymLearnerIT() - Constructor for class de.learnlib.testsupport.it.learner.AbstractMealySymLearnerIT
AbstractMethodInput - Class in de.learnlib.drivers.reflect: abstract method input, may have abstract parameters.
AbstractMethodInput(String, Method, Map<String, Integer>, Object[]) - Constructor for class de.learnlib.drivers.reflect.AbstractMethodInput
AbstractMethodOutput - Class in de.learnlib.drivers.reflect: abstract output of a method.
AbstractMethodOutput() - Constructor for class de.learnlib.drivers.reflect.AbstractMethodOutput
AbstractObservationTableWriter<I,D> - Class in de.learnlib.algorithms.features.observationtable.writer
AbstractObservationTableWriter() - Constructor for class de.learnlib.algorithms.features.observationtable.writer.AbstractObservationTableWriter
AbstractObservationTableWriter(Function<? super Word<? extends I>, ? extends String>, Function<? super D, ? extends String>) - Constructor for class de.learnlib.algorithms.features.observationtable.writer.AbstractObservationTableWriter
AbstractQuery<I,D> - Class in de.learnlib.oracles
AbstractQuery(Word, Word) - Constructor for class de.learnlib.oracles.AbstractQuery
AbstractQuery(Word) - Constructor for class de.learnlib.oracles.AbstractQuery
AbstractQuery(Query<I, ?>) - Constructor for class de.learnlib.oracles.AbstractQuery
AbstractRow() - Constructor for class de.learnlib.algorithms.features.observationtable.ObservationTable.AbstractRow
AbstractSingleQueryOracle<I,D> - Class in de.learnlib.oracles
AbstractSingleQueryOracle() - Constructor for class de.learnlib.oracles.AbstractSingleQueryOracle
AbstractSingleQueryOracle.AbstractSingleQueryOracleDFA - Class in de.learnlib.oracles
AbstractSingleQueryOracle.AbstractSingleQueryOracleMealy<I,O> - Class in de.learnlib.oracles
AbstractSingleQueryOracleDFA() - Constructor for class de.learnlib.oracles.AbstractSingleQueryOracle.AbstractSingleQueryOracleDFA
AbstractSingleQueryOracleMealy() - Constructor for class de.learnlib.oracles.AbstractSingleQueryOracle.AbstractSingleQueryOracleMealy
AccessSequenceProvider - Interface in de.learnlib.algorithms.ttt.base: Common interface for objects that have an access sequence associated with them (e.g., states and transitions of a TTTHypothesis).
AccessSequenceTransformer - Interface in de.learnlib.api
AcexAnalysisAlgorithms - Class in de.learnlib.acex.analyzers: Abstract counterexample analysis algorithms.
AcexAnalysisAlgorithms() - Constructor for class de.learnlib.acex.analyzers.AcexAnalysisAlgorithms
AcexAnalyzer - Interface in de.learnlib.acex: Interface for an analyzer of AbstractCounterexamples.
AcexAnalyzers - Class in de.learnlib.acex.analyzers: This is a utility class, acting as a container for several NamedAcexAnalyzers.
AcexAnalyzers.Direction - Enum in de.learnlib.acex.analyzers
AcexLocalSuffixFinder - Class in de.learnlib.counterexamples: Wraps a NamedAcexAnalyzer.
AcexLocalSuffixFinder(AcexAnalyzer, boolean, String) - Constructor for class de.learnlib.counterexamples.AcexLocalSuffixFinder: Constructor.
add(Word, D) - Method in class de.learnlib.eqtests.basic.SampleSetEQOracle: Adds a query word along with its expected output to the sample set.
addAll(MembershipOracle<I, D>, Word...) - Method in class de.learnlib.eqtests.basic.SampleSetEQOracle: Adds several query words to the sample set.
addAll(DefaultQuery<I, D>...) - Method in class de.learnlib.eqtests.basic.SampleSetEQOracle: Adds queries to the sample set.
addAll(Collection<? extends DefaultQuery<I, D>>) - Method in class de.learnlib.eqtests.basic.SampleSetEQOracle: Adds queries to the sample set.
addAll(MembershipOracle<I, D>, Collection<? extends Word>) - Method in class de.learnlib.eqtests.basic.SampleSetEQOracle: Adds words to the sample set.
addAlphabetSymbol(I) - Method in interface de.learnlib.api.SupportsGrowingAlphabet
addChild(O, D) - Method in class de.learnlib.discriminationtree.DTNode
addDataPoint(Long) - Method in class de.learnlib.statistics.HistogramDataSet
addEdge(int, ReuseEdge<S, I, O>) - Method in class de.learnlib.filters.reuse.tree.ReuseNode: Adds an outgoing ReuseEdge to this ReuseNode.
addEventListener(TTTEventListener<I, D>) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner
addGlobalSuffixes(Collection<? extends Word>) - Method in class de.learnlib.algorithms.baselinelstar.BaselineLStar
addGlobalSuffixes(Collection<? extends Word>) - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHC
addGlobalSuffixes(Collection<? extends Word>) - Method in interface de.learnlib.algorithms.features.globalsuffixes.GlobalSuffixFeature: Add the provided suffixes to the collection of global suffixes.
addGlobalSuffixes(Collection<? extends Word>) - Method in class de.learnlib.algorithms.lstargeneric.AbstractLStar
addInput(String, String, Object...) - Method in class de.learnlib.drivers.reflect.SimplePOJOTestDriver
addInput(String, Method, Object...) - Method in class de.learnlib.drivers.reflect.SimplePOJOTestDriver
addLearnerVariant(String, LearningAlgorithm<? extends M, I, D>) - Method in interface de.learnlib.testsupport.it.learner.LearnerVariantList: Adds a learner variant with the default maximum number of rounds (i.e., the size of the target automaton) to the list.
addLearnerVariant(String, LearningAlgorithm<? extends M, I, D>, int) - Method in interface de.learnlib.testsupport.it.learner.LearnerVariantList: Adds a learner variant with a given maximum number of rounds to the list.
addLearnerVariants(Alphabet, int, MembershipOracle.DFAMembershipOracle, LearnerVariantList.DFALearnerVariantList) - Method in class de.learnlib.testsupport.it.learner.AbstractDFALearnerIT: Adds, for a given setup, all the variants of the DFA learner to be tested to the specified variant list.
addLearnerVariants(Alphabet, MembershipOracle.MealyMembershipOracle<I, O>, LearnerVariantList.MealyLearnerVariantList<I, O>) - Method in class de.learnlib.testsupport.it.learner.AbstractMealyLearnerIT: Adds, for a given setup, all the variants of the Mealy machine learner to be tested to the specified variant list.
addLearnerVariants(Alphabet, MembershipOracle<I, O>, LearnerVariantList.MealySymLearnerVariantList<I, O>) - Method in class de.learnlib.testsupport.it.learner.AbstractMealySymLearnerIT: Adds, for a given setup, all the variants of the Mealy machine learner to be tested to the specified variant list.
addNegativeSample(Word) - Method in interface de.learnlib.passive.api.PassiveAcceptorLearner
addNegativeSamples(Collection<? extends Word>) - Method in interface de.learnlib.passive.api.PassiveAcceptorLearner
addNegativeSamples(Word...) - Method in interface de.learnlib.passive.api.PassiveAcceptorLearner
addNonTreeIncoming(HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState
addPositiveSample(Word) - Method in interface de.learnlib.passive.api.PassiveAcceptorLearner
addPositiveSamples(Collection<? extends Word>) - Method in interface de.learnlib.passive.api.PassiveAcceptorLearner
addPositiveSamples(Word...) - Method in interface de.learnlib.passive.api.PassiveAcceptorLearner
addSample(DefaultQuery<I, D>) - Method in interface de.learnlib.passive.api.PassiveLearningAlgorithm
addSample(Word, D) - Method in interface de.learnlib.passive.api.PassiveLearningAlgorithm
addSamples(Collection<? extends DefaultQuery<I, D>>) - Method in interface de.learnlib.passive.api.PassiveLearningAlgorithm
addSamples(DefaultQuery<I, D>...) - Method in interface de.learnlib.passive.api.PassiveLearningAlgorithm
addSamples(D, Collection<? extends Word>) - Method in interface de.learnlib.passive.api.PassiveLearningAlgorithm
addSamples(D, Word...) - Method in interface de.learnlib.passive.api.PassiveLearningAlgorithm
addShortPrefixes(List<? extends Word>, MembershipOracle<I, D>) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
addSuffix(Word, MembershipOracle<I, D>) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable: Adds a suffix to the list of distinguishing suffixes.
addSuffix(Word) - Method in class de.learnlib.algorithms.nlstar.ObservationTable
addSuffixes(Collection<? extends Word>, MembershipOracle<I, D>) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable: Adds suffixes to the list of distinguishing suffixes.
addSuffixes(List<? extends Word>) - Method in class de.learnlib.algorithms.nlstar.ObservationTable
addSuffixesUnchecked(Collection<? extends Word>) - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHC
addSystemState(S) - Method in class de.learnlib.filters.reuse.tree.ReuseNode
ALL_ANALYZERS - Static variable in class de.learnlib.acex.analyzers.AcexAnalyzers
alphabet - Variable in class de.learnlib.algorithms.lstargeneric.AbstractLStar
alphabet - Variable in class de.learnlib.algorithms.ttt.base.BaseTTTLearner
alphabet - Variable in class de.learnlib.algorithms.ttt.base.TTTHypothesis
analyzeAbstractCounterexample(AbstractCounterexample) - Method in interface de.learnlib.acex.AcexAnalyzer: Analyzes an abstract counterexample.
analyzeAbstractCounterexample(AbstractCounterexample, int) - Method in interface de.learnlib.acex.AcexAnalyzer
analyzeAbstractCounterexample(AbstractCounterexample, int, int) - Method in interface de.learnlib.acex.AcexAnalyzer
analyzeInconsistency(Inconsistency<I, D>) - Method in class de.learnlib.algorithms.lstargeneric.AbstractLStar: Analyzes an inconsistency.
answer(D) - Method in class de.learnlib.api.Query
answer(D) - Method in class de.learnlib.oracles.DefaultQuery
answerQueries(QueryAnswerer<I, D>, Collection<? extends Query<I, D>>) - Static method in class de.learnlib.oracles.MQUtil
answerQueriesParallel(QueryAnswerer<I, D>, Collection<? extends Query<I, D>>) - Static method in class de.learnlib.oracles.MQUtil
answerQuery(Word, Word) - Method in interface de.learnlib.api.QueryAnswerer
answerQuery(Word, Word) - Method in class de.learnlib.oracles.OracleQueryAnswerer
answerQuery(Word, Word) - Method in class de.learnlib.oracles.SimulatorOracle
answerQuery(Word, Word) - Method in class de.learnlib.oracles.SULOracle
appendAccessSequence(List<? super I>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState
apply(Mapper<? super AI, ? extends AO, CI, CO>, SUL<? super CI, ? extends CO>) - Static method in class de.learnlib.mapper.Mappers
asDFALearner() - Method in class de.learnlib.algorithms.nlstar.NLStarLearner: Retrieves a view of this learner as a DFA learner.
asStandardTable() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

B

BaseAbstractCounterexample - Class in de.learnlib.acex.impl: Base class for abstract counterexamples.
BaseAbstractCounterexample(int) - Constructor for class de.learnlib.acex.impl.BaseAbstractCounterexample: Constructor.
BaselineLStar - Class in de.learnlib.algorithms.baselinelstar: Implementation of the L* algorithm by Dana Angluin
BaselineLStar(Alphabet, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithms.baselinelstar.BaselineLStar: Initializes a newly created baseline L* implementation.
BaseTTTLearner<A,I,D> - Class in de.learnlib.algorithms.ttt.base: The TTT learning algorithm for DFA.
BaseTTTLearner(Alphabet, MembershipOracle<I, D>, TTTHypothesis<I, D, ?>, LocalSuffixFinder<? super I, ? super D>) - Constructor for class de.learnlib.algorithms.ttt.base.BaseTTTLearner
BaseTTTLearner.BuilderDefaults - Class in de.learnlib.algorithms.ttt.base
BaseTTTLearner.Splitter<I,D> - Class in de.learnlib.algorithms.ttt.base: Data structure for representing a splitter.
BINARY_SEARCH - Static variable in class de.learnlib.acex.analyzers.AcexAnalyzers: Analyzer that searches for a suffix index using binary search.
BinaryDTNode<I,D> - Class in de.learnlib.discriminationtree
BinaryDTNode(D) - Constructor for class de.learnlib.discriminationtree.BinaryDTNode
BinaryDTNode(DTNode<I, Boolean, D>, Boolean, D) - Constructor for class de.learnlib.discriminationtree.BinaryDTNode
BinaryDTree<I,D> - Class in de.learnlib.discriminationtree
BinaryDTree(D, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.discriminationtree.BinaryDTree
BinaryDTree(MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.discriminationtree.BinaryDTree
binarySearch(AbstractCounterexample, int, int) - Static method in class de.learnlib.acex.analyzers.AcexAnalysisAlgorithms: Search for a suffix index using a binary search.
blockList - Variable in class de.learnlib.algorithms.ttt.base.BaseTTTLearner: The blocks during a split operation.
BlockList<I,D> - Class in de.learnlib.algorithms.ttt.base: A list for storing blocks (identified by their root DTNodes).
BlockList() - Constructor for class de.learnlib.algorithms.ttt.base.BlockList
BlockListElem<I,D> - Class in de.learnlib.algorithms.ttt.base: Abstract base class for objects that may occur in a BlockList, either as a value element or the head of the list (which represents the list itself, but does not carry any value).
BlockListElem() - Constructor for class de.learnlib.algorithms.ttt.base.BlockListElem
BooleanMap<V> - Class in de.learnlib.discriminationtree
BooleanMap() - Constructor for class de.learnlib.discriminationtree.BooleanMap
BooleanMap(V, V) - Constructor for class de.learnlib.discriminationtree.BooleanMap
BoundedDeque<E> - Class in de.learnlib.filters.reuse.tree: A generic deque-derived container which transparently acts either as a stack or a queue, and optionally a capacity restriction with a configurable policy which element is evicted (or reject) if the maximum capacity is reached.
BoundedDeque(BoundedDeque.AccessPolicy) - Constructor for class de.learnlib.filters.reuse.tree.BoundedDeque: Constructor.
BoundedDeque(int, BoundedDeque.AccessPolicy, BoundedDeque.EvictPolicy) - Constructor for class de.learnlib.filters.reuse.tree.BoundedDeque: Constructor.
BoundedDeque.AccessPolicy - Enum in de.learnlib.filters.reuse.tree: The policy which determines in which order elements are accessed.
BoundedDeque.EvictPolicy - Enum in de.learnlib.filters.reuse.tree: The policy which determines in which order elements are removed if the maximum capacity is reached.
BoundedStringQueue() - Constructor for class de.learnlib.examples.example2.Example.BoundedStringQueue
build() - Method in class de.learnlib.filters.reuse.ReuseOracle.ReuseOracleBuilder
build() - Method in class de.learnlib.filters.reuse.tree.ReuseTree.ReuseTreeBuilder
BuilderDefaults() - Constructor for class de.learnlib.algorithms.dhc.mealy.MealyDHC.BuilderDefaults
BuilderDefaults() - Constructor for class de.learnlib.algorithms.discriminationtree.AbstractDTLearner.BuilderDefaults
BuilderDefaults() - Constructor for class de.learnlib.algorithms.discriminationtree.dfa.DTLearnerDFA.BuilderDefaults
BuilderDefaults() - Constructor for class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar.BuilderDefaults
BuilderDefaults() - Constructor for class de.learnlib.algorithms.ttt.base.BaseTTTLearner.BuilderDefaults
buildQueries(List<DefaultQuery<I, D>>, List<Word>, List<? extends Word>) - Static method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
buildQueries(List<DefaultQuery<I, D>>, Word, List<? extends Word>) - Static method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
buildRowQueries(List<DefaultQuery<I, D>>, List<Row>, List<? extends Word>) - Static method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
BWD_ANALYZERS - Static variable in class de.learnlib.acex.analyzers.AcexAnalyzers
BWD_UNDIR_ANALYZERS - Static variable in class de.learnlib.acex.analyzers.AcexAnalyzers

C

Caches - Class in de.learnlib.cache: Deprecated.
since 2014-01-24. Use methods defined in DFACaches, MealyCaches, or SULCaches, respectively.
Category - Enum in de.learnlib.logging: Categories for filter.
CategoryFilter - Class in de.learnlib.logging.filter: Filters log messages based on categories.
CategoryFilter(EnumSet<Category>) - Constructor for class de.learnlib.logging.filter.CategoryFilter
cellContents(Row, int) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
cexHandler() - Static method in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar.BuilderDefaults
cexHandler - Variable in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar
checkQuery(Query<I, D>) - Method in class de.learnlib.oracles.SafeOracle
child(D) - Method in class de.learnlib.algorithms.ttt.base.DTNode
child(O) - Method in class de.learnlib.discriminationtree.DTNode
child(O, D) - Method in class de.learnlib.discriminationtree.DTNode
children - Variable in class de.learnlib.discriminationtree.DTNode
choose() - Method in class de.learnlib.algorithms.ttt.base.IncomingList
chooseBlock() - Method in class de.learnlib.algorithms.ttt.base.BlockList: Retrieves any block from the list.
chooseInnerNode(DTNode<I, D>) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner
chooseLeaf(DTNode<I, D>) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner
CLASSIC_LSTAR - Static variable in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
ClassicLStarMealy<I,O> - Class in de.learnlib.algorithms.lstargeneric.mealy: An implementation of the L*Mealy algorithm for inferring Mealy machines, as described by Oliver Niese in his Ph.D. thesis.
ClassicLStarMealy(Alphabet, MembershipOracle<I, O>, List<Word>, ObservationTableCEXHandler<? super I, ? super O>, ClosingStrategy<? super I, ? super O>) - Constructor for class de.learnlib.algorithms.lstargeneric.mealy.ClassicLStarMealy: Constructor.
ClassicLStarMealy(Alphabet, MembershipOracle<I, O>, List<Word>, List<Word>, ObservationTableCEXHandler<? super I, ? super O>, ClosingStrategy<? super I, ? super O>) - Constructor for class de.learnlib.algorithms.lstargeneric.mealy.ClassicLStarMealy
clear() - Method in class de.learnlib.discriminationtree.BooleanMap
clear() - Method in class de.learnlib.filters.reuse.tree.BoundedDeque
clearSystemStates() - Method in class de.learnlib.filters.reuse.tree.ReuseNode
clearTree() - Method in class de.learnlib.filters.reuse.tree.ReuseTree: Clears the whole tree which means the root will be reinitialized by a new ReuseNode and all existing system states will be disposed.
CLOSE_FIRST - Static variable in class de.learnlib.algorithms.lstargeneric.closing.ClosingStrategies: Closing strategy that selects the first row from each equivalence class as representative.
CLOSE_LEX_MIN - Static variable in class de.learnlib.algorithms.lstargeneric.closing.ClosingStrategies: Closing strategy that selects the lexicographically minimal row (wrt. its prefix) of each equivalence class as representative.
CLOSE_RANDOM - Static variable in class de.learnlib.algorithms.lstargeneric.closing.ClosingStrategies: Closing strategy that randomly selects one representative row to close from each equivalence class.
CLOSE_SHORTEST - Static variable in class de.learnlib.algorithms.lstargeneric.closing.ClosingStrategies: Closing strategy that selects the shortest row of each equivalence class (more precisely: a row which's prefix has minimal length in the respective class) as representative.
CloseRandomStrategy - Class in de.learnlib.algorithms.lstargeneric.closing
CloseRandomStrategy() - Constructor for class de.learnlib.algorithms.lstargeneric.closing.CloseRandomStrategy
CloseRandomStrategy(Random) - Constructor for class de.learnlib.algorithms.lstargeneric.closing.CloseRandomStrategy
ClosingStrategies - Class in de.learnlib.algorithms.lstargeneric.closing: Collection of predefined observation table closing strategies.
ClosingStrategies() - Constructor for class de.learnlib.algorithms.lstargeneric.closing.ClosingStrategies
ClosingStrategy<I,D> - Interface in de.learnlib.algorithms.lstargeneric.closing: A closing strategy, determining how to proceed when an observation table needs to be closed.
closingStrategy() - Static method in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar.BuilderDefaults
closingStrategy - Variable in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar
completeConsistentTable(List<List<Row>>, boolean) - Method in class de.learnlib.algorithms.lstargeneric.AbstractLStar: Iteratedly checks for unclosedness and inconsistencies in the table, and fixes any occurrences thereof.
CompleteExplorationEQOracle<I,D> - Class in de.learnlib.eqtests.basic: Implements an equivalence check by complete exploration up to a given depth, i.e., by testing all possible sequences of a certain length within a specified range.
CompleteExplorationEQOracle(MembershipOracle<I, D>, int) - Constructor for class de.learnlib.eqtests.basic.CompleteExplorationEQOracle: Constructor.
CompleteExplorationEQOracle(MembershipOracle<I, D>, int, int) - Constructor for class de.learnlib.eqtests.basic.CompleteExplorationEQOracle: Constructor.
compose(Mapper<? super AI, ? extends AO, ACI, CAO>, Mapper<? super ACI, ? extends CAO, ? extends CI, ? super CO>) - Static method in class de.learnlib.mapper.Mappers
computeEffect(int) - Method in class de.learnlib.acex.impl.BaseAbstractCounterexample: Computes the effect of a prefix transformation.
computeEffect(int) - Method in class de.learnlib.counterexamples.prefixtransform.PrefixTransformAcex
computeHypothesisOutput(TTTState<I, D>, Iterable<? extends I>) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner
computeHypothesisOutput(TTTState<I, Boolean>, Iterable<? extends I>) - Method in class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFA
computeHypothesisOutput(TTTState<I, Word<O>>, Iterable<? extends I>) - Method in class de.learnlib.algorithms.ttt.mealy.TTTLearnerMealy
computeModel() - Method in interface de.learnlib.passive.api.PassiveLearningAlgorithm
computeOutput(Iterable<? extends I>) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner
computeSuffixOutput(Iterable<? extends I>, Iterable<? extends I>) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner
ConcreteMethodInput - Class in de.learnlib.drivers.reflect: A concrete inputs contains the information for one specific method call.
ConcreteMethodInput(AbstractMethodInput, Map<String, Object>, Object) - Constructor for class de.learnlib.drivers.reflect.ConcreteMethodInput
constructMachine(A) - Static method in class de.learnlib.examples.dfa.ExampleAngluin
constructMachine() - Static method in class de.learnlib.examples.dfa.ExampleAngluin
constructMachine() - Static method in class de.learnlib.examples.dfa.ExamplePaulAndMary: Construct and return a machine representation of this example
constructMachine(A) - Static method in class de.learnlib.examples.dfa.ExamplePaulAndMary
constructMachine(A) - Static method in class de.learnlib.examples.mealy.ExampleCoffeeMachine: Construct and return a machine representation of this example
constructMachine() - Static method in class de.learnlib.examples.mealy.ExampleCoffeeMachine
constructMachine(A, int, int) - Static method in class de.learnlib.examples.mealy.ExampleGrid: Construct and return a machine representation of this example
constructMachine(int, int) - Static method in class de.learnlib.examples.mealy.ExampleGrid
constructMachine(A) - Static method in class de.learnlib.examples.mealy.ExampleShahbazGroz: Construct and return a machine representation of this example
constructMachine() - Static method in class de.learnlib.examples.mealy.ExampleShahbazGroz
constructMachine(A) - Static method in class de.learnlib.examples.mealy.ExampleStack: Construct and return a machine representation of this example
constructMachine() - Static method in class de.learnlib.examples.mealy.ExampleStack
containsKey(Object) - Method in class de.learnlib.discriminationtree.BooleanMap
containsValue(Object) - Method in class de.learnlib.discriminationtree.BooleanMap
ContextExecutableInput<O,C> - Interface in de.learnlib.mapper.api
ContextExecutableInputSUL,O,C> - Class in de.learnlib.mapper: A SUL that executes ContextExecutableInput symbols.
ContextExecutableInputSUL(ContextExecutableInputSUL.ContextHandler<C>) - Constructor for class de.learnlib.mapper.ContextExecutableInputSUL
ContextExecutableInputSUL.ContextHandler<C> - Interface in de.learnlib.mapper
continueQuery(Word, S) - Method in interface de.learnlib.filters.reuse.ReuseCapableOracle: This method will be invoked whenever a system state s was found for reusage when a new membership query is processed.
Counter - Class in de.learnlib.statistics: simple counter.
Counter(String, String) - Constructor for class de.learnlib.statistics.Counter
CounterOracle<I,D> - Class in de.learnlib.oracles: Counts queries.
CounterOracle(MembershipOracle<I, D>, String) - Constructor for class de.learnlib.oracles.CounterOracle
CounterOracle.DFACounterOracle - Class in de.learnlib.oracles
CounterOracle.MealyCounterOracle<I,O> - Class in de.learnlib.oracles
create(EquivalenceOracle<A, I, D>) - Static method in class de.learnlib.eqtests.basic.SimpleEQOracle
create() - Method in class de.learnlib.parallelism.DynamicParallelOracleBuilder
create() - Method in class de.learnlib.parallelism.StaticParallelOracleBuilder
createCache(Alphabet, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.cache.dfa.DFACaches: Creates a cache oracle for a DFA learning setup.
createCache(Alphabet, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.cache.mealy.MealyCaches: Creates a cache oracle for a Mealy machine learning setup.
createCache(Alphabet, SUL<I, O>) - Static method in class de.learnlib.cache.sul.SULCaches
createCacheConsistencyTest() - Method in class de.learnlib.cache.dfa.DFACacheOracle: Creates an equivalence oracle that checks an hypothesis for consistency with the contents of this cache.
createCacheConsistencyTest() - Method in class de.learnlib.cache.dfa.DFAHashCacheOracle
createCacheConsistencyTest() - Method in interface de.learnlib.cache.LearningCache: Creates a cache consistency test.
createCacheConsistencyTest() - Method in class de.learnlib.cache.mealy.MealyCacheOracle
createCacheConsistencyTest() - Method in class de.learnlib.cache.sul.SULCache
createChild(Boolean, D) - Method in class de.learnlib.discriminationtree.BinaryDTNode
createChild(O, D) - Method in class de.learnlib.discriminationtree.DTNode
createChild(O, D) - Method in class de.learnlib.discriminationtree.MultiDTNode
createChildMap() - Method in class de.learnlib.discriminationtree.BinaryDTNode
createChildMap() - Method in class de.learnlib.discriminationtree.DTNode
createChildMap() - Method in class de.learnlib.discriminationtree.MultiDTNode
createContext() - Method in class de.learnlib.mapper.AbstractContextExecutableInputSUL
createContext() - Method in interface de.learnlib.mapper.ContextExecutableInputSUL.ContextHandler
createContext() - Method in class de.learnlib.mapper.ContextExecutableInputSUL
createDAGCache(Alphabet, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.cache.dfa.DFACaches: Creates a cache oracle for a DFA learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.cache.mealy.MealyCaches: Creates a cache oracle for a Mealy machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.cache.mealy.MealyCaches: Creates a cache oracle for a Mealy machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet, SUL<I, O>) - Static method in class de.learnlib.cache.sul.SULCache
createDAGCache(Alphabet, SUL<I, O>) - Static method in class de.learnlib.cache.sul.SULCaches
createDAGCacheOracle(Alphabet, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.cache.dfa.DFACacheOracle
createDAGCacheOracle(Alphabet, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.cache.mealy.MealyCacheOracle
createDAGCacheOracle(Alphabet, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.cache.mealy.MealyCacheOracle
createDFA(int, boolean, int) - Static method in class de.learnlib.examples.dfa.ExampleKeylock
createDFACache(Alphabet, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.cache.Caches: Deprecated.
since 2014-01-24. Use DFACaches.createCache(Alphabet, MembershipOracle)
createDFAExamples() - Static method in class de.learnlib.examples.LearningExamples
createExample() - Static method in class de.learnlib.examples.dfa.ExampleAngluin
createExample(int, boolean) - Static method in class de.learnlib.examples.dfa.ExampleKeylock
createExample(int, boolean, int) - Static method in class de.learnlib.examples.dfa.ExampleKeylock
createExample() - Static method in class de.learnlib.examples.dfa.ExamplePaulAndMary
createExample() - Static method in class de.learnlib.examples.mealy.ExampleCoffeeMachine
createExample(int, int) - Static method in class de.learnlib.examples.mealy.ExampleGrid
createExample(Random, Alphabet, int, O...) - Static method in class de.learnlib.examples.mealy.ExampleRandomMealy
createExample() - Static method in class de.learnlib.examples.mealy.ExampleShahbazGroz
createExample() - Static method in class de.learnlib.examples.mealy.ExampleStack
createExampleITCases() - Method in class de.learnlib.testsupport.it.learner.AbstractDFALearnerIT
createExampleITCases() - Method in class de.learnlib.testsupport.it.learner.AbstractLearnerIT: Creates an array of per-example test cases for all learner variants.
createExampleITCases() - Method in class de.learnlib.testsupport.it.learner.AbstractMealyLearnerIT
createExampleITCases() - Method in class de.learnlib.testsupport.it.learner.AbstractMealySymLearnerIT
createForSymbolOracle(Alphabet, MembershipOracle<I, O>, List<Word>, ObservationTableCEXHandler<I, O>, ClosingStrategy<? super I, ? super O>) - Static method in class de.learnlib.algorithms.lstargeneric.mealy.ClassicLStarMealy
createForWordOracle(Alphabet, MembershipOracle<I, Word<O>>, List<Word>, ObservationTableCEXHandler<? super I, ? super O>, ClosingStrategy<? super I, ? super O>) - Static method in class de.learnlib.algorithms.lstargeneric.mealy.ClassicLStarMealy
createHashCache(MembershipOracle<I, Boolean>) - Static method in class de.learnlib.cache.dfa.DFACaches
createInputAlphabet() - Static method in class de.learnlib.examples.dfa.ExampleAngluin
createInputAlphabet() - Static method in class de.learnlib.examples.dfa.ExamplePaulAndMary
createInputAlphabet() - Static method in class de.learnlib.examples.mealy.ExampleCoffeeMachine
createInputAlphabet() - Static method in class de.learnlib.examples.mealy.ExampleGrid
createInputAlphabet() - Static method in class de.learnlib.examples.mealy.ExampleShahbazGroz
createInputAlphabet() - Static method in class de.learnlib.examples.mealy.ExampleStack
createLpRow(Word) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
createMap() - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner
createMealyCache(Alphabet, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.cache.Caches: Deprecated.
since 2014-01-24. Use MealyCaches.createCache(Alphabet, MembershipOracle)
createMealyExamples() - Static method in class de.learnlib.examples.LearningExamples
createSpRow(Word) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
createState(HTransition<I, D, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner
createState(HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis
createState(boolean, Row) - Method in class de.learnlib.algorithms.lstargeneric.AbstractAutomatonLStar
createState(TTTTransition<I, D>) - Method in class de.learnlib.algorithms.ttt.base.TTTHypothesis
createSULCache(Alphabet, SUL<I, O>) - Static method in class de.learnlib.cache.Caches: Deprecated.
since 2014-01-24. Use SULCaches.createCache(Alphabet, SUL)
createTransition(TTTState<I, D>, I) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner
createTransition(TTTState<I, Word<O>>, I) - Method in class de.learnlib.algorithms.ttt.mealy.TTTLearnerMealy
createTreeCache(Alphabet, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.cache.dfa.DFACaches
createTreeCache(Alphabet, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.cache.mealy.MealyCaches: Creates a cache oracle for a Mealy machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.cache.mealy.MealyCaches: Creates a cache oracle for a Mealy machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet, SUL<I, O>) - Static method in class de.learnlib.cache.sul.SULCache
createTreeCache(Alphabet, SUL<I, O>) - Static method in class de.learnlib.cache.sul.SULCaches
createTreeCacheOracle(Alphabet, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.cache.dfa.DFACacheOracle
createTreeCacheOracle(Alphabet, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.cache.mealy.MealyCacheOracle
createTreeCacheOracle(Alphabet, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.cache.mealy.MealyCacheOracle
currentTarget() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition

D

data - Variable in class de.learnlib.discriminationtree.DTNode
de.learnlib.acex - package de.learnlib.acex
de.learnlib.acex.analyzers - package de.learnlib.acex.analyzers
de.learnlib.acex.impl - package de.learnlib.acex.impl
de.learnlib.algorithms.baselinelstar - package de.learnlib.algorithms.baselinelstar
de.learnlib.algorithms.dhc.mealy - package de.learnlib.algorithms.dhc.mealy
de.learnlib.algorithms.discriminationtree - package de.learnlib.algorithms.discriminationtree
de.learnlib.algorithms.discriminationtree.dfa - package de.learnlib.algorithms.discriminationtree.dfa
de.learnlib.algorithms.discriminationtree.hypothesis - package de.learnlib.algorithms.discriminationtree.hypothesis
de.learnlib.algorithms.discriminationtree.mealy - package de.learnlib.algorithms.discriminationtree.mealy
de.learnlib.algorithms.features.globalsuffixes - package de.learnlib.algorithms.features.globalsuffixes
de.learnlib.algorithms.features.observationtable - package de.learnlib.algorithms.features.observationtable
de.learnlib.algorithms.features.observationtable.reader - package de.learnlib.algorithms.features.observationtable.reader
de.learnlib.algorithms.features.observationtable.writer - package de.learnlib.algorithms.features.observationtable.writer
de.learnlib.algorithms.kv.dfa - package de.learnlib.algorithms.kv.dfa
de.learnlib.algorithms.kv.mealy - package de.learnlib.algorithms.kv.mealy
de.learnlib.algorithms.lstargeneric - package de.learnlib.algorithms.lstargeneric
de.learnlib.algorithms.lstargeneric.ce - package de.learnlib.algorithms.lstargeneric.ce
de.learnlib.algorithms.lstargeneric.closing - package de.learnlib.algorithms.lstargeneric.closing
de.learnlib.algorithms.lstargeneric.dfa - package de.learnlib.algorithms.lstargeneric.dfa
de.learnlib.algorithms.lstargeneric.mealy - package de.learnlib.algorithms.lstargeneric.mealy
de.learnlib.algorithms.lstargeneric.table - package de.learnlib.algorithms.lstargeneric.table
de.learnlib.algorithms.malerpnueli - package de.learnlib.algorithms.malerpnueli
de.learnlib.algorithms.nlstar - package de.learnlib.algorithms.nlstar
de.learnlib.algorithms.rivestschapire - package de.learnlib.algorithms.rivestschapire
de.learnlib.algorithms.ttt.base - package de.learnlib.algorithms.ttt.base
de.learnlib.algorithms.ttt.dfa - package de.learnlib.algorithms.ttt.dfa
de.learnlib.algorithms.ttt.mealy - package de.learnlib.algorithms.ttt.mealy
de.learnlib.api - package de.learnlib.api
de.learnlib.cache - package de.learnlib.cache
de.learnlib.cache.dfa - package de.learnlib.cache.dfa
de.learnlib.cache.mealy - package de.learnlib.cache.mealy
de.learnlib.cache.sul - package de.learnlib.cache.sul
de.learnlib.counterexamples - package de.learnlib.counterexamples
de.learnlib.counterexamples.prefixtransform - package de.learnlib.counterexamples.prefixtransform
de.learnlib.discriminationtree - package de.learnlib.discriminationtree
de.learnlib.drivers.api - package de.learnlib.drivers.api
de.learnlib.drivers.reflect - package de.learnlib.drivers.reflect
de.learnlib.eqtests.basic - package de.learnlib.eqtests.basic
de.learnlib.eqtests.basic.mealy - package de.learnlib.eqtests.basic.mealy
de.learnlib.examples - package de.learnlib.examples
de.learnlib.examples.dfa - package de.learnlib.examples.dfa
de.learnlib.examples.example1 - package de.learnlib.examples.example1
de.learnlib.examples.example2 - package de.learnlib.examples.example2
de.learnlib.examples.example3 - package de.learnlib.examples.example3
de.learnlib.examples.mealy - package de.learnlib.examples.mealy
de.learnlib.experiments - package de.learnlib.experiments
de.learnlib.filters.reuse - package de.learnlib.filters.reuse
de.learnlib.filters.reuse.tree - package de.learnlib.filters.reuse.tree
de.learnlib.logging - package de.learnlib.logging
de.learnlib.logging.filter - package de.learnlib.logging.filter
de.learnlib.mapper - package de.learnlib.mapper
de.learnlib.mapper.api - package de.learnlib.mapper.api
de.learnlib.mealy - package de.learnlib.mealy
de.learnlib.nfa - package de.learnlib.nfa
de.learnlib.oracles - package de.learnlib.oracles
de.learnlib.parallelism - package de.learnlib.parallelism
de.learnlib.passive.api - package de.learnlib.passive.api
de.learnlib.settings - package de.learnlib.settings
de.learnlib.settings.sources - package de.learnlib.settings.sources
de.learnlib.statistics - package de.learnlib.statistics
de.learnlib.testsupport.it.learner - package de.learnlib.testsupport.it.learner
declareFinal(DTNode<I, D>) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner
DEFAULT_BATCH_SIZE - Static variable in class de.learnlib.parallelism.DynamicParallelOracle
DEFAULT_MIN_BATCH_SIZE - Static variable in class de.learnlib.parallelism.StaticParallelOracle
DEFAULT_NUM_INSTANCES - Static variable in class de.learnlib.parallelism.StaticParallelOracle
DEFAULT_POOL_POLICY - Static variable in class de.learnlib.parallelism.DynamicParallelOracle
DEFAULT_POOL_POLICY - Static variable in class de.learnlib.parallelism.StaticParallelOracle
DEFAULT_POOL_SIZE - Static variable in class de.learnlib.parallelism.DynamicParallelOracle
DefaultDFALearningExample(Alphabet, DFA<?, I>) - Constructor for class de.learnlib.examples.DefaultLearningExample.DefaultDFALearningExample
DefaultDFALearningExample(A) - Constructor for class de.learnlib.examples.DefaultLearningExample.DefaultDFALearningExample
DefaultInconsistency(ObservationTable.Row<I, D>, ObservationTable.Row<I, D>, I) - Constructor for class de.learnlib.algorithms.features.observationtable.ObservationTable.DefaultInconsistency
DefaultLearningExample<I,D,A extends UniversalAutomaton<?,I,?,?,?> & SuffixOutput<I,D>> - Class in de.learnlib.examples: A learning example that directly stores the alphabet and the reference automaton in its fields.
DefaultLearningExample(Alphabet, A) - Constructor for class de.learnlib.examples.DefaultLearningExample
DefaultLearningExample.DefaultDFALearningExample - Class in de.learnlib.examples
DefaultLearningExample.DefaultMealyLearningExample<I,D> - Class in de.learnlib.examples
DefaultMealyLearningExample(Alphabet, MealyMachine<?, I, ?, D>) - Constructor for class de.learnlib.examples.DefaultLearningExample.DefaultMealyLearningExample
DefaultMealyLearningExample(A) - Constructor for class de.learnlib.examples.DefaultLearningExample.DefaultMealyLearningExample
DefaultQuery<I,D> - Class in de.learnlib.oracles: A query is a container for tests a learning algorithms performs, containing the actual test and the corresponding result.
DefaultQuery(Word, Word) - Constructor for class de.learnlib.oracles.DefaultQuery
DefaultQuery(Word, Word, D) - Constructor for class de.learnlib.oracles.DefaultQuery
DefaultQuery(Word) - Constructor for class de.learnlib.oracles.DefaultQuery
DefaultQuery(Word, D) - Constructor for class de.learnlib.oracles.DefaultQuery
DefaultQuery(Query<I, ?>) - Constructor for class de.learnlib.oracles.DefaultQuery
defaultSetup() - Static method in class de.learnlib.logging.LearnLogger: Deprecated.
The use of this method is discouraged as it interferes with (proper) file-based or class-based configuration of logging.
delegate - Variable in class de.learnlib.eqtests.basic.DelegateEQOracle
DelegateEQOracle<A,I,D> - Class in de.learnlib.eqtests.basic
DelegateEQOracle(EquivalenceOracle<? super A, I, D>) - Constructor for class de.learnlib.eqtests.basic.DelegateEQOracle
depth - Variable in class de.learnlib.discriminationtree.DTNode
DFABenchmarks - Class in de.learnlib.examples.dfa
DFABenchmarks() - Constructor for class de.learnlib.examples.dfa.DFABenchmarks
DFACacheConsistencyTest - Class in de.learnlib.cache.dfa: An EquivalenceOracle that tests an hypothesis for consistency with the contents of a DFACacheOracle.
DFACacheConsistencyTest(IncrementalDFABuilder, Lock) - Constructor for class de.learnlib.cache.dfa.DFACacheConsistencyTest: Constructor.
DFACacheOracle - Class in de.learnlib.cache.dfa: DFA cache.
DFACacheOracle(Alphabet, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.cache.dfa.DFACacheOracle: Deprecated.
since 2014-01-24. Use DFACaches.createCache(Alphabet, MembershipOracle)
DFACacheOracle(IncrementalDFABuilder, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.cache.dfa.DFACacheOracle
DFACaches - Class in de.learnlib.cache.dfa
DFACounterOracle(MembershipOracle<I, Boolean>, String) - Constructor for class de.learnlib.oracles.CounterOracle.DFACounterOracle
DFAEQOracleChain(EquivalenceOracle<? super DFA<?, I>, I, Boolean>...) - Constructor for class de.learnlib.eqtests.basic.EQOracleChain.DFAEQOracleChain
DFAEQOracleChain(List<? extends EquivalenceOracle<? super DFA<?, I>, I, Boolean>>) - Constructor for class de.learnlib.eqtests.basic.EQOracleChain.DFAEQOracleChain
DFAExperiment(LearningAlgorithm<? extends DFA<?, I>, I, Boolean>, EquivalenceOracle<? super DFA<?, I>, I, Boolean>, Alphabet) - Constructor for class de.learnlib.experiments.Experiment.DFAExperiment
DFAHashCacheOracle - Class in de.learnlib.cache.dfa
DFAHashCacheOracle(MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.cache.dfa.DFAHashCacheOracle
DFAIncrementalWMethodEQOracle(Alphabet, MembershipOracle<I, Boolean>, int) - Constructor for class de.learnlib.eqtests.basic.IncrementalWMethodEQOracle.DFAIncrementalWMethodEQOracle
DFAIncrementalWMethodEQOracle(Alphabet, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.eqtests.basic.IncrementalWMethodEQOracle.DFAIncrementalWMethodEQOracle
DFARandomWordsEQOracle(MembershipOracle<I, Boolean>, int, int, int, Random) - Constructor for class de.learnlib.eqtests.basic.RandomWordsEQOracle.DFARandomWordsEQOracle
DFARandomWordsEQOracle(MembershipOracle<I, Boolean>, int, int, int, Random, int) - Constructor for class de.learnlib.eqtests.basic.RandomWordsEQOracle.DFARandomWordsEQOracle
DFASimulatorEQOracle(DFA<?, I>) - Constructor for class de.learnlib.eqtests.basic.SimulatorEQOracle.DFASimulatorEQOracle
DFASimulatorOracle(DFA<?, I>) - Constructor for class de.learnlib.oracles.SimulatorOracle.DFASimulatorOracle
DFAWMethodEQOracle(int, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.eqtests.basic.WMethodEQOracle.DFAWMethodEQOracle
DFAWpMethodEQOracle(int, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.eqtests.basic.WpMethodEQOracle.DFAWpMethodEQOracle
DiscriminationTree<I,D> - Class in de.learnlib.algorithms.ttt.base: The discrimination tree data structure.
DiscriminationTree(MembershipOracle<I, D>) - Constructor for class de.learnlib.algorithms.ttt.base.DiscriminationTree
DiscriminationTree<I,O,D> - Class in de.learnlib.discriminationtree
DiscriminationTree(DTNode<I, O, D>, MembershipOracle<I, O>) - Constructor for class de.learnlib.discriminationtree.DiscriminationTree
DiscriminationTree.GraphView - Class in de.learnlib.algorithms.ttt.base
DiscriminationTree.GraphView - Class in de.learnlib.discriminationtree
DiscriminationTree.LCAInfo<I,O,D> - Class in de.learnlib.discriminationtree
discriminator - Variable in class de.learnlib.algorithms.ttt.base.BaseTTTLearner.Splitter
discriminator - Variable in class de.learnlib.discriminationtree.DTNode
displayHTMLInBrowser(ObservationTable<I, D>, Function<? super Word<? extends I>, ? extends String>, Function<? super D, ? extends String>) - Static method in class de.learnlib.algorithms.features.observationtable.OTUtils: Displays the observation table as a HTML document in the default browser.
displayHTMLInBrowser(ObservationTable<I, D>) - Static method in class de.learnlib.algorithms.features.observationtable.OTUtils
dispose(S) - Method in interface de.learnlib.filters.reuse.tree.SystemStateHandler: The system state S will be removed from the ReuseTree.
disposeContext(C) - Method in class de.learnlib.mapper.AbstractContextExecutableInputSUL
disposeContext(C) - Method in interface de.learnlib.mapper.ContextExecutableInputSUL.ContextHandler
disposeContext(C) - Method in class de.learnlib.mapper.ContextExecutableInputSUL
disposeSystemstates() - Method in class de.learnlib.filters.reuse.tree.ReuseTree: This method removes all system states from the tree.
doRefineHypothesis(DefaultQuery<I, D>) - Method in class de.learnlib.algorithms.lstargeneric.AbstractAutomatonLStar
doRefineHypothesis(DefaultQuery<I, D>) - Method in class de.learnlib.algorithms.lstargeneric.AbstractLStar
dtGraphView() - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner
dtGraphView() - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner
DTLearnerDFA - Class in de.learnlib.algorithms.discriminationtree.dfa: Algorithm for learning DFA using the Discrimination Tree algorithm.
DTLearnerDFA(Alphabet, MembershipOracle<I, Boolean>, LocalSuffixFinder<? super I, ? super Boolean>, boolean, boolean) - Constructor for class de.learnlib.algorithms.discriminationtree.dfa.DTLearnerDFA: Constructor.
DTLearnerDFA.BuilderDefaults - Class in de.learnlib.algorithms.discriminationtree.dfa
DTLearnerHypothesis<I,O,SP,TP> - Class in de.learnlib.algorithms.discriminationtree.hypothesis: Basic hypothesis data structure for Discrimination Tree learning algorithms.
DTLearnerHypothesis(Alphabet) - Constructor for class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis
DTLearnerHypothesis.GraphView - Class in de.learnlib.algorithms.discriminationtree.hypothesis
DTLearnerMealy<I,O> - Class in de.learnlib.algorithms.discriminationtree.mealy
DTLearnerMealy(Alphabet, MembershipOracle<I, Word<O>>, LocalSuffixFinder<? super I, ? super Word<O>>, boolean) - Constructor for class de.learnlib.algorithms.discriminationtree.mealy.DTLearnerMealy: Constructor.
DTNode<I,D> - Class in de.learnlib.algorithms.ttt.base
DTNode() - Constructor for class de.learnlib.algorithms.ttt.base.DTNode
DTNode(DTNode<I, D>, D) - Constructor for class de.learnlib.algorithms.ttt.base.DTNode
DTNode<I,O,D> - Class in de.learnlib.discriminationtree
DTNode(D) - Constructor for class de.learnlib.discriminationtree.DTNode
DTNode(DTNode<I, O, D>, O, D) - Constructor for class de.learnlib.discriminationtree.DTNode
DTNode.SplitResult<I,O,D> - Class in de.learnlib.discriminationtree
dtree - Variable in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner
dtree - Variable in class de.learnlib.algorithms.ttt.base.BaseTTTLearner
DynamicParallelOracle<I,D> - Class in de.learnlib.parallelism: A parallel membership oracle that dynamically distributes queries to worker threads.
DynamicParallelOracle(Supplier<? extends MembershipOracle<I, D>>, int, ExecutorService) - Constructor for class de.learnlib.parallelism.DynamicParallelOracle
DynamicParallelOracleBuilder<I,D> - Class in de.learnlib.parallelism: Builder class for a DynamicParallelOracle.
DynamicParallelOracleBuilder(Supplier<? extends MembershipOracle<I, D>>) - Constructor for class de.learnlib.parallelism.DynamicParallelOracleBuilder

E

ensureConsistency(TTTState<I, D>, DTNode<I, D>, D) - Method in interface de.learnlib.algorithms.ttt.base.TTTEventListener
ensureSuffixCompliancy(List<Word>) - Static method in class de.learnlib.algorithms.lstargeneric.dfa.LStarDFAUtil
ensureSuffixCompliancy(List<Word>, Alphabet, boolean) - Static method in class de.learnlib.algorithms.lstargeneric.mealy.LStarMealyUtil
entrySet() - Method in class de.learnlib.discriminationtree.BooleanMap
epsilonRoot() - Static method in class de.learnlib.algorithms.discriminationtree.dfa.DTLearnerDFA.BuilderDefaults
EQOracleChain<A,I,D> - Class in de.learnlib.eqtests.basic
EQOracleChain(List<? extends EquivalenceOracle<? super A, I, D>>) - Constructor for class de.learnlib.eqtests.basic.EQOracleChain
EQOracleChain(EquivalenceOracle<? super A, I, D>...) - Constructor for class de.learnlib.eqtests.basic.EQOracleChain
EQOracleChain.DFAEQOracleChain - Class in de.learnlib.eqtests.basic
EQOracleChain.MealyEQOracleChain<I,O> - Class in de.learnlib.eqtests.basic
equals(Object) - Method in class de.learnlib.api.Query
equals(Object) - Method in class de.learnlib.drivers.reflect.Error
equals(Object) - Method in class de.learnlib.drivers.reflect.ReturnValue
EquivalenceOracle<A,I,D> - Interface in de.learnlib.api: An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).
EquivalenceOracle.DFAEquivalenceOracle - Interface in de.learnlib.api: A specialization of the EquivalenceOracle interface for a DFA learning scenario.
EquivalenceOracle.MealyEquivalenceOracle<I,O> - Interface in de.learnlib.api: A specialization of the EquivalenceOracle interface for a Mealy learning scenario.
EquivalenceQueries - Class in de.learnlib.eqtests.basic
Error - Class in de.learnlib.drivers.reflect: Error output.
Error(Throwable) - Constructor for class de.learnlib.drivers.reflect.Error
Example - Class in de.learnlib.examples.example1: This example shows the usage of a learning algorithm and an equivalence test as part of an experiment in order to learn a simulated SUL (system under learning).
Example() - Constructor for class de.learnlib.examples.example1.Example
Example - Class in de.learnlib.examples.example2: This example shows how a model of a Java class can be learned using the SUL (system under learning) interfaces and the random walks equivalence test.
Example() - Constructor for class de.learnlib.examples.example2.Example
Example - Class in de.learnlib.examples.example3: This example shows how to use the reuse filter on the Example.BoundedStringQueue of Example.
Example() - Constructor for class de.learnlib.examples.example3.Example
Example.BoundedStringQueue - Class in de.learnlib.examples.example2
ExampleAngluin - Class in de.learnlib.examples.dfa: This class provides the example used in the paper ''Learning Regular Sets from Queries and Counterexamples'' by Dana Angluin that consists of an automaton that accepts ''all strings over {0,1} with an even number of 0's and an even number of 1's.''
ExampleAngluin() - Constructor for class de.learnlib.examples.dfa.ExampleAngluin
ExampleCoffeeMachine - Class in de.learnlib.examples.mealy: This example represents the Coffee Machine example from Steffen et al.
ExampleCoffeeMachine() - Constructor for class de.learnlib.examples.mealy.ExampleCoffeeMachine
ExampleCoffeeMachine.Input - Enum in de.learnlib.examples.mealy
ExampleGrid - Class in de.learnlib.examples.mealy: This class generates a Mealy machine consisting of a two-dimensional grid of states.
ExampleGrid(int, int) - Constructor for class de.learnlib.examples.mealy.ExampleGrid
ExampleKeylock - Class in de.learnlib.examples.dfa
ExampleKeylock(int, boolean, int) - Constructor for class de.learnlib.examples.dfa.ExampleKeylock
ExamplePaulAndMary - Class in de.learnlib.examples.dfa: This class implements a sad love story - DFA style.
ExamplePaulAndMary() - Constructor for class de.learnlib.examples.dfa.ExamplePaulAndMary
ExampleRandomDFA - Class in de.learnlib.examples.dfa
ExampleRandomDFA(Random, int, int) - Constructor for class de.learnlib.examples.dfa.ExampleRandomDFA
ExampleRandomDFA(int, int) - Constructor for class de.learnlib.examples.dfa.ExampleRandomDFA
ExampleRandomMealy<I,O> - Class in de.learnlib.examples.mealy
ExampleRandomMealy(Random, Alphabet, int, O...) - Constructor for class de.learnlib.examples.mealy.ExampleRandomMealy
ExampleRandomMealy(Alphabet, int, O...) - Constructor for class de.learnlib.examples.mealy.ExampleRandomMealy
ExampleShahbazGroz - Class in de.learnlib.examples.mealy: This class provides the example used in the paper ''Inferring Mealy Machines'' by Muzammil Shahbaz and Roland Groz (see Figure 1).
ExampleShahbazGroz() - Constructor for class de.learnlib.examples.mealy.ExampleShahbazGroz
ExampleStack - Class in de.learnlib.examples.mealy: This example encodes a small stack with a capacity of three elements and "push" and "pop" operations as Mealy machine.
ExampleStack() - Constructor for class de.learnlib.examples.mealy.ExampleStack
ExampleStack.Input - Enum in de.learnlib.examples.mealy
ExampleStack.Output - Enum in de.learnlib.examples.mealy
ExecutableInput<CO> - Interface in de.learnlib.mapper.api: An executable input is a concrete input produced by a data mapper and can be executed directly.
ExecutableInputSUL,O> - Class in de.learnlib.mapper: A SUL that executes ExecutableInput symbols.
ExecutableInputSUL() - Constructor for class de.learnlib.mapper.ExecutableInputSUL
execute() - Method in class de.learnlib.drivers.reflect.ConcreteMethodInput
execute(C) - Method in interface de.learnlib.mapper.api.ContextExecutableInput
execute() - Method in interface de.learnlib.mapper.api.ExecutableInput: executes the input.
Experiment<A> - Class in de.learnlib.experiments: runs a learning experiment.
Experiment(LearningAlgorithm<? extends A, I, D>, EquivalenceOracle<? super A, I, D>, Alphabet) - Constructor for class de.learnlib.experiments.Experiment
Experiment.DFAExperiment - Class in de.learnlib.experiments
Experiment.MealyExperiment<I,O> - Class in de.learnlib.experiments
ExperimentalDataFilter - Class in de.learnlib.logging.filter: only some categories.
ExperimentalDataFilter() - Constructor for class de.learnlib.logging.filter.ExperimentalDataFilter
EXPONENTIAL_BWD - Static variable in class de.learnlib.acex.analyzers.AcexAnalyzers: Analyzer that searches for a suffix index using exponential search.
EXPONENTIAL_FWD - Static variable in class de.learnlib.acex.analyzers.AcexAnalyzers
exponentialSearchBwd(AbstractCounterexample, int, int) - Static method in class de.learnlib.acex.analyzers.AcexAnalysisAlgorithms: Search for a suffix index using an exponential search.
exponentialSearchFwd(AbstractCounterexample, int, int) - Static method in class de.learnlib.acex.analyzers.AcexAnalysisAlgorithms
exposeInternalHypothesis() - Method in class de.learnlib.algorithms.lstargeneric.AbstractAutomatonLStar
exposeInternalHypothesis() - Method in class de.learnlib.algorithms.lstargeneric.dfa.ExtensibleLStarDFA
exposeInternalHypothesis() - Method in class de.learnlib.algorithms.lstargeneric.mealy.ClassicLStarMealy
exposeInternalHypothesis() - Method in class de.learnlib.algorithms.lstargeneric.mealy.ExtensibleLStarMealy
ExtensibleAutomatonLStar<A,I,D,S,T,SP,TP,AI extends MutableDeterministic<S,I,T,SP,TP>> - Class in de.learnlib.algorithms.lstargeneric
ExtensibleAutomatonLStar(Alphabet, MembershipOracle<I, D>, AI, List<Word>, List<Word>, ObservationTableCEXHandler<? super I, ? super D>, ClosingStrategy<? super I, ? super D>) - Constructor for class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar
ExtensibleAutomatonLStar.BuilderDefaults - Class in de.learnlib.algorithms.lstargeneric
ExtensibleLStarDFA - Class in de.learnlib.algorithms.lstargeneric.dfa: An implementation of Angluin's L* algorithm for learning DFAs, as described in the paper "Learning Regular Sets from Queries and Counterexamples".
ExtensibleLStarDFA(Alphabet, MembershipOracle<I, Boolean>, List<Word>, ObservationTableCEXHandler<? super I, ? super Boolean>, ClosingStrategy<? super I, ? super Boolean>) - Constructor for class de.learnlib.algorithms.lstargeneric.dfa.ExtensibleLStarDFA: Constructor.
ExtensibleLStarDFA(Alphabet, MembershipOracle<I, Boolean>, List<Word>, List<Word>, ObservationTableCEXHandler<? super I, ? super Boolean>, ClosingStrategy<? super I, ? super Boolean>) - Constructor for class de.learnlib.algorithms.lstargeneric.dfa.ExtensibleLStarDFA
ExtensibleLStarMealy<I,O> - Class in de.learnlib.algorithms.lstargeneric.mealy
ExtensibleLStarMealy(Alphabet, MembershipOracle<I, Word<O>>, List<Word>, ObservationTableCEXHandler<? super I, ? super Word<O>>, ClosingStrategy<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithms.lstargeneric.mealy.ExtensibleLStarMealy
ExtensibleLStarMealy(Alphabet, MembershipOracle<I, Word<O>>, List<Word>, List<Word>, ObservationTableCEXHandler<? super I, ? super Word<O>>, ClosingStrategy<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithms.lstargeneric.mealy.ExtensibleLStarMealy

F

fetchNonTreeIncoming(Collection<? super HTransition<I, O, SP, TP>>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState
fetchResults(Iterator<DefaultQuery<I, D>>, List<D>, int) - Static method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable: Fetches the given number of query responses and adds them to the specified output list.
fetchSystemState(boolean) - Method in class de.learnlib.filters.reuse.tree.ReuseNode: The system state, may be null.
fetchSystemState(Word) - Method in class de.learnlib.filters.reuse.tree.ReuseTree: Returns a reuseable ReuseNode.NodeResult with system state or null if none such exists.
Filter<I,D> - Interface in de.learnlib.api: A filter is an oracle that can be used as the middle element in a chain of oracles.
FilterChain<I,D> - Class in de.learnlib.oracles: A chain of oracles.
FilterChain(MembershipOracle<I, D>, Filter<I, D>...) - Constructor for class de.learnlib.oracles.FilterChain
finalizeAny() - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner: Chooses a block root, and finalizes the corresponding discriminator.
FIND_LINEAR - Static variable in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
FIND_LINEAR - Static variable in class de.learnlib.counterexamples.GlobalSuffixFinders: Adds the single suffix found by the access sequence transformation in ascending linear order.
FIND_LINEAR - Static variable in class de.learnlib.counterexamples.LocalSuffixFinders: Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear ascending order.
FIND_LINEAR_ALLSUFFIXES - Static variable in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
FIND_LINEAR_ALLSUFFIXES - Static variable in class de.learnlib.counterexamples.GlobalSuffixFinders: Adds the suffix found by the access sequence transformation in ascending linear order, and all of its suffixes.
FIND_LINEAR_REVERSE - Static variable in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
FIND_LINEAR_REVERSE - Static variable in class de.learnlib.counterexamples.GlobalSuffixFinders: Adds the single suffix found by the access sequence transformation in descending linear order.
FIND_LINEAR_REVERSE - Static variable in class de.learnlib.counterexamples.LocalSuffixFinders: Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear descending order.
FIND_LINEAR_REVERSE_ALLSUFFIXES - Static variable in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
FIND_LINEAR_REVERSE_ALLSUFFIXES - Static variable in class de.learnlib.counterexamples.GlobalSuffixFinders: Adds the suffix found by the access sequence transformation in descending linear order, and all of its suffixes.
findCounterExample(A, Collection<? extends I>) - Method in interface de.learnlib.api.EquivalenceOracle: Searches for a counterexample disproving the subjected hypothesis.
findCounterExample(DFA<?, I>, Collection<? extends I>) - Method in class de.learnlib.cache.dfa.DFACacheConsistencyTest
findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.cache.mealy.MealyCacheConsistencyTest
findCounterExample(DetOutputAutomaton<?, I, ?, D>, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.CompleteExplorationEQOracle
findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.DelegateEQOracle
findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.EQOracleChain
findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.IncrementalWMethodEQOracle
findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.mealy.RandomWalkEQOracle
findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.mealy.SymbolEQOracleWrapper
findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.RandomWordsEQOracle
findCounterExample(SuffixOutput<I, D>, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.SampleSetEQOracle
findCounterExample(A) - Method in class de.learnlib.eqtests.basic.SimpleEQOracle
findCounterExample(DFA<?, I>, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.SimulatorEQOracle.DFASimulatorEQOracle
findCounterExample(UniversalDeterministicAutomaton<?, I, ?, ?, ?>, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.SimulatorEQOracle
findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.SimulatorEQOracle.MealySimulatorEQOracle
findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.WMethodEQOracle
findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.WpMethodEQOracle
findDistinguishingSuffix(ObservationTable.Inconsistency<I, D>) - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable
findDistinguishingSuffix(ObservationTable.Row<I, D>, ObservationTable.Row<I, D>) - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable
findDistinguishingSuffix(ObservationTable.Inconsistency<I, D>) - Method in class de.learnlib.algorithms.features.observationtable.reader.SimpleObservationTable
findDistinguishingSuffix(ObservationTable.Row<I, D>, ObservationTable.Row<I, D>) - Method in class de.learnlib.algorithms.features.observationtable.reader.SimpleObservationTable
findDistinguishingSuffixIndex(ObservationTable.Inconsistency<I, D>) - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable
findDistinguishingSuffixIndex(ObservationTable.Row<I, D>, ObservationTable.Row<I, D>) - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable
findDistinguishingSuffixIndex(ObservationTable.Inconsistency<I, D>) - Method in class de.learnlib.algorithms.features.observationtable.reader.SimpleObservationTable
findDistinguishingSuffixIndex(ObservationTable.Row<I, D>, ObservationTable.Row<I, D>) - Method in class de.learnlib.algorithms.features.observationtable.reader.SimpleObservationTable
findInconsistency(Collection<? extends I>) - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable
findInconsistency(Collection<? extends I>) - Method in class de.learnlib.algorithms.features.observationtable.reader.SimpleObservationTable
findInconsistency() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
findInconsistency() - Method in class de.learnlib.algorithms.nlstar.ObservationTable
findLinear(Query<I, D>, AccessSequenceTransformer, SuffixOutput<I, D>, MembershipOracle<I, D>, boolean) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders: Returns the suffix (plus all of its suffixes, if allSuffixes is true) found by the access sequence transformation in ascending linear order.
findLinear(Query<I, D>, AccessSequenceTransformer, SuffixOutput<I, D>, MembershipOracle<I, D>) - Static method in class de.learnlib.counterexamples.LocalSuffixFinders: Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear ascending order.
findLinearReverse(Query<I, D>, AccessSequenceTransformer, SuffixOutput<I, D>, MembershipOracle<I, D>, boolean) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders: Returns the suffix (plus all of its suffixes, if allSuffixes is true) found by the access sequence transformation in descending linear order.
findLinearReverse(Query<I, D>, AccessSequenceTransformer, SuffixOutput<I, D>, MembershipOracle<I, D>) - Static method in class de.learnlib.counterexamples.LocalSuffixFinders: Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear descending order.
findMalerPnueli(Query<I, D>) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders: Returns all suffixes of the counterexample word as distinguishing suffixes, as suggested by Maler & Pnueli.
findMismatch(MealyMachine<?, I, ?, O>, Word, Word<O>) - Static method in class de.learnlib.mealy.MealyUtil
findMismatch(Word<O>, Word<O>) - Static method in class de.learnlib.mealy.MealyUtil
findRivestSchapire(Query<I, O>, AccessSequenceTransformer, SuffixOutput<I, O>, MembershipOracle<I, O>, boolean) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders: Returns the suffix (plus all of its suffixes, if allSuffixes is true) found by the binary search access sequence transformation.
findRivestSchapire(Query<I, D>, AccessSequenceTransformer, SuffixOutput<I, D>, MembershipOracle<I, D>) - Static method in class de.learnlib.counterexamples.LocalSuffixFinders: Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations using a binary search, as proposed by Rivest & Schapire.
findShahbaz(Query<I, D>, AccessSequenceTransformer) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders: Returns all suffixes of the counterexample word as distinguishing suffixes, after stripping a maximal one-letter extension of an access sequence, as suggested by Shahbaz.
findSuffixes(Query<RI, RD>, AccessSequenceTransformer<RI>, SuffixOutput<RI, RD>, MembershipOracle<RI, RD>) - Method in interface de.learnlib.counterexamples.GlobalSuffixFinder: Finds a set of distinguishing suffixes which will allow to expose at least one additional state in the hypothesis.
findSuffixIndex(AcexAnalyzer, boolean, Query<RI, RO>, AccessSequenceTransformer<RI>, SuffixOutput<RI, RO>, MembershipOracle<RI, RO>) - Static method in class de.learnlib.counterexamples.AcexLocalSuffixFinder
findSuffixIndex(Query<RI, RO>, AccessSequenceTransformer<RI>, SuffixOutput<RI, RO>, MembershipOracle<RI, RO>) - Method in class de.learnlib.counterexamples.AcexLocalSuffixFinder
findSuffixIndex(Query<RI, RD>, AccessSequenceTransformer<RI>, SuffixOutput<RI, RD>, MembershipOracle<RI, RD>) - Method in interface de.learnlib.counterexamples.LocalSuffixFinder: Finds, for a given counterexample, a "split index", such that: - the part of the query word before this index leads to the state being split - the part of the query word from this index on is a suffix capable of splitting this state.
findUnclosedRow() - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable
findUnclosedRow() - Method in class de.learnlib.algorithms.features.observationtable.reader.SimpleObservationTable
format(LogRecord) - Method in class de.learnlib.logging.LLConsoleFormatter
fromGlobalSuffixFinder(GlobalSuffixFinder<I, D>) - Static method in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
fromLocalFinder(LocalSuffixFinder<I, D>, boolean) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders: Transforms a LocalSuffixFinder into a global one.
fromLocalFinder(LocalSuffixFinder<I, D>) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders: Transforms a LocalSuffixFinder into a global one.
fromLocalSuffixFinder(LocalSuffixFinder<I, D>, boolean) - Static method in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
fromLocalSuffixFinder(LocalSuffixFinder<I, D>) - Static method in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
fromString(String, Alphabet, ObservationTableReader<I, D>) - Static method in class de.learnlib.algorithms.features.observationtable.OTUtils
FWD_ANALYZERS - Static variable in class de.learnlib.acex.analyzers.AcexAnalyzers
FWD_UNDIR_ANALYZERS - Static variable in class de.learnlib.acex.analyzers.AcexAnalyzers

G

get(boolean) - Method in class de.learnlib.discriminationtree.BooleanMap
get(Object) - Method in class de.learnlib.discriminationtree.BooleanMap
getAccessSequence() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState
getAccessSequence() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition
getAccessSequence() - Method in interface de.learnlib.algorithms.ttt.base.AccessSequenceProvider: Retrieves the access sequence of this object.
getAccessSequence() - Method in class de.learnlib.algorithms.ttt.base.TTTState
getAccessSequence() - Method in class de.learnlib.algorithms.ttt.base.TTTTransition
getAllAnalyzers() - Static method in class de.learnlib.acex.analyzers.AcexAnalyzers
getAllPrefixes() - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable: Retrieves all prefixes (short and long) in the table.
getAllPrefixes() - Method in class de.learnlib.algorithms.features.observationtable.reader.SimpleObservationTable
getAllRows() - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable
getAllRows() - Method in class de.learnlib.algorithms.features.observationtable.reader.SimpleObservationTable
getAlphabet() - Method in class de.learnlib.examples.DefaultLearningExample
getAlphabet() - Method in interface de.learnlib.examples.LearningExample
getAnalyzers(AcexAnalyzers.Direction, boolean) - Static method in class de.learnlib.acex.analyzers.AcexAnalyzers
getBackwardAnalyzers(boolean) - Static method in class de.learnlib.acex.analyzers.AcexAnalyzers
getBackwardAnalyzers() - Static method in class de.learnlib.acex.analyzers.AcexAnalyzers
getBool(String, boolean) - Method in class de.learnlib.settings.LearnLibSettings
getBoolean(String) - Method in class de.learnlib.settings.LearnLibSettings
getCacheSize() - Method in class de.learnlib.cache.mealy.MealyCacheOracle
getCall() - Method in class de.learnlib.drivers.reflect.AbstractMethodInput
getCategory() - Method in class de.learnlib.logging.LearnLogRecord
getCause() - Method in class de.learnlib.drivers.reflect.Error
getCellContent(int) - Method in class de.learnlib.algorithms.features.observationtable.ObservationTable.AbstractRow
getCellContent(int) - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable.Row: Retrieves the cell content at the given index.
getChild(D) - Method in class de.learnlib.algorithms.ttt.base.DTNode
getChild(O) - Method in class de.learnlib.discriminationtree.DTNode
getChildEntries() - Method in class de.learnlib.algorithms.ttt.base.DTNode
getChildEntries() - Method in class de.learnlib.discriminationtree.DTNode
getChildren() - Method in class de.learnlib.algorithms.ttt.base.DTNode
getContent(int) - Method in class de.learnlib.algorithms.nlstar.Row
getContents() - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable.Row: Retrieves a list of the cell contents in this row.
getContents() - Method in class de.learnlib.algorithms.nlstar.Row
getCount() - Method in class de.learnlib.oracles.CounterOracle
getCount() - Method in class de.learnlib.statistics.Counter
getCounter() - Method in class de.learnlib.oracles.CounterOracle
getCoveredRows(Row) - Method in class de.learnlib.algorithms.nlstar.ObservationTable
getCoveredRows() - Method in class de.learnlib.algorithms.nlstar.Row
getData() - Method in class de.learnlib.discriminationtree.DTNode
getData() - Method in class de.learnlib.logging.PlottableLogRecord
getData() - Method in class de.learnlib.logging.StatisticLogRecord
getDepth() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState
getDepth() - Method in class de.learnlib.algorithms.ttt.base.DTNode
getDetails() - Method in class de.learnlib.statistics.Counter
getDetails() - Method in class de.learnlib.statistics.HistogramDataSet
getDetails() - Method in class de.learnlib.statistics.StatisticData
getDeterminizedHypothesis() - Method in class de.learnlib.algorithms.nlstar.NLStarLearner: Retrieves a deterministic version of the hypothesis.
getDifferingSymbol() - Method in class de.learnlib.algorithms.baselinelstar.InconsistencyDataHolder
getDiscriminationTree() - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner
getDiscriminationTree() - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner: Returns the discrimination tree.
getDiscriminator() - Method in class de.learnlib.algorithms.ttt.base.DTNode
getDiscriminator() - Method in class de.learnlib.discriminationtree.DTNode
getDT() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition
getDTLeaf() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState
getDTLeaf() - Method in class de.learnlib.algorithms.ttt.base.TTTState: Retrieves the discrimination tree leaf associated with this state.
getDTTarget() - Method in class de.learnlib.algorithms.ttt.base.TTTTransition
getEdges() - Method in class de.learnlib.filters.reuse.tree.ReuseNode: Returns all outgoing ReuseEdges from this ReuseNode.
getEdgeWithInput(int) - Method in class de.learnlib.filters.reuse.tree.ReuseNode: May be null.
getEnumValue(String, Class<E>) - Method in class de.learnlib.settings.LearnLibSettings
getEnumValue(String, Class<E>, E) - Method in class de.learnlib.settings.LearnLibSettings
getExtremalChild(D) - Method in class de.learnlib.algorithms.ttt.base.DTNode
getFinalHypothesis() - Method in class de.learnlib.experiments.Experiment
getFirstRow() - Method in class de.learnlib.algorithms.baselinelstar.InconsistencyDataHolder
getFirstRow() - Method in class de.learnlib.algorithms.features.observationtable.ObservationTable.DefaultInconsistency
getFirstRow() - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable.Inconsistency: Retrieves the first (short prefix) row constituting the inconsistency.
getFirstRow() - Method in class de.learnlib.algorithms.lstargeneric.table.Inconsistency: Retrieves the first row.
getFirstState() - Method in class de.learnlib.algorithms.baselinelstar.InconsistencyDataHolder
getForwardAnalyzers(boolean) - Static method in class de.learnlib.acex.analyzers.AcexAnalyzers
getForwardAnalyzers() - Static method in class de.learnlib.acex.analyzers.AcexAnalyzers
getGlobalSuffixes() - Method in class de.learnlib.algorithms.baselinelstar.BaselineLStar
getGlobalSuffixes() - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHC
getGlobalSuffixes() - Method in interface de.learnlib.algorithms.features.globalsuffixes.GlobalSuffixFeature: Retrieves the global suffixes of this learner.
getGlobalSuffixes() - Method in class de.learnlib.algorithms.lstargeneric.AbstractLStar
getGraphDOTHelper() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis.GraphView
getGraphDOTHelper() - Method in class de.learnlib.algorithms.ttt.base.DiscriminationTree.GraphView
getGraphDOTHelper() - Method in class de.learnlib.algorithms.ttt.base.TTTHypothesis.GraphView
getGraphDOTHelper() - Method in class de.learnlib.discriminationtree.DiscriminationTree.GraphView
getGraphDOTHelper() - Method in class de.learnlib.filters.reuse.tree.ReuseTree
getHistogram() - Method in class de.learnlib.statistics.HistogramDataSet
getHypothesisDOTHelper() - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner
getHypothesisDOTHelper() - Method in class de.learnlib.algorithms.discriminationtree.dfa.DTLearnerDFA
getHypothesisDOTHelper() - Method in class de.learnlib.algorithms.discriminationtree.mealy.DTLearnerMealy
getHypothesisDOTHelper() - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner
getHypothesisDOTHelper() - Method in class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFA
getHypothesisDOTHelper() - Method in class de.learnlib.algorithms.ttt.mealy.TTTLearnerMealy
getHypothesisDS() - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner
getHypothesisDS() - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner
getHypothesisDS() - Method in class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFA
getHypothesisModel() - Method in class de.learnlib.algorithms.baselinelstar.BaselineLStar
getHypothesisModel() - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHC
getHypothesisModel() - Method in class de.learnlib.algorithms.discriminationtree.dfa.DTLearnerDFA
getHypothesisModel() - Method in class de.learnlib.algorithms.discriminationtree.mealy.DTLearnerMealy
getHypothesisModel() - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA
getHypothesisModel() - Method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealy
getHypothesisModel() - Method in class de.learnlib.algorithms.lstargeneric.AbstractAutomatonLStar
getHypothesisModel() - Method in class de.learnlib.algorithms.lstargeneric.mealy.ExtensibleLStarMealy
getHypothesisModel() - Method in class de.learnlib.algorithms.nlstar.NLStarLearner
getHypothesisModel() - Method in class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFA
getHypothesisModel() - Method in class de.learnlib.algorithms.ttt.mealy.TTTLearnerMealy
getHypothesisModel() - Method in interface de.learnlib.api.LearningAlgorithm: Returns the current hypothesis model.
getHypothesisModel() - Method in class de.learnlib.nfa.NFALearnerWrapper
getId() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState
getId() - Method in class de.learnlib.drivers.reflect.Error
getId() - Method in class de.learnlib.drivers.reflect.ReturnValue
getId() - Method in class de.learnlib.filters.reuse.tree.ReuseNode
getIncoming() - Method in class de.learnlib.algorithms.ttt.base.DTNode
getIncoming(D) - Method in class de.learnlib.algorithms.ttt.base.SplitData: Retrieves the list of incoming transitions for the respective label.
getInitialState() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis
getInitialState() - Method in class de.learnlib.algorithms.ttt.base.TTTHypothesis
getInput() - Method in class de.learnlib.algorithms.ttt.base.TTTTransition
getInput() - Method in class de.learnlib.api.Query
getInput() - Method in class de.learnlib.filters.reuse.tree.ReuseEdge: The respective input on this edge, never null.
getInputAlphabet() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable: Retrieves the input alphabet used in this observation table.
getInputAlphabet() - Method in class de.learnlib.algorithms.ttt.base.TTTHypothesis
getInputIndex() - Method in class de.learnlib.algorithms.lstargeneric.table.Inconsistency: Retrieves the index of the input symbol for which the successor rows differ.
getInputs() - Method in class de.learnlib.drivers.reflect.SimplePOJOTestDriver
getInstance() - Static method in class de.learnlib.settings.LearnLibSettings
getInt(String, int) - Method in class de.learnlib.settings.LearnLibSettings
getInteger(String) - Method in class de.learnlib.settings.LearnLibSettings
getInternalTransition(TTTState<I, D>, I) - Method in class de.learnlib.algorithms.ttt.base.TTTHypothesis: Retrieves the internal transition (i.e., the TTTTransition object) for a given state and input.
getLabel() - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable.Row: Retrieves the label of this row.
getLabels() - Method in class de.learnlib.algorithms.ttt.base.SplitData
getLength() - Method in interface de.learnlib.acex.AbstractCounterexample
getLength() - Method in class de.learnlib.acex.impl.BaseAbstractCounterexample: Retrieves the length of the abstract counterexample
getLogger(String) - Static method in class de.learnlib.logging.LearnLogger: get an instance of a logger for name. assumes that there is no ordinary logger of the same name.
getLogger(Class<?>) - Static method in class de.learnlib.logging.LearnLogger: Convenience method for easing the common practice of using a class name as the name for the logger.
getLongPrefixes() - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable: Retrieves the long prefixes in the table.
getLongPrefixes() - Method in class de.learnlib.algorithms.features.observationtable.reader.SimpleObservationTable
getLongPrefixLabels() - Method in class de.learnlib.algorithms.baselinelstar.ObservationTable
getLongPrefixRows() - Method in class de.learnlib.algorithms.baselinelstar.ObservationTable
getLongPrefixRows() - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable
getLongPrefixRows() - Method in class de.learnlib.algorithms.features.observationtable.reader.SimpleObservationTable
getMappedInputs() - Method in class de.learnlib.mapper.StringMapper
getMaxDepth() - Method in class de.learnlib.eqtests.basic.IncrementalWMethodEQOracle
getMean() - Method in class de.learnlib.statistics.HistogramDataSet
getMedian() - Method in class de.learnlib.statistics.HistogramDataSet
getMethod() - Method in class de.learnlib.drivers.reflect.AbstractMethodInput
getName() - Method in class de.learnlib.acex.analyzers.NamedAcexAnalyzer: Retrieves the name of this analyzer.
getName() - Method in class de.learnlib.statistics.StatisticData
getNode(int) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis.GraphView
getNodeId(HState<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis.GraphView
getNodes() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis.GraphView
getNodes() - Method in class de.learnlib.algorithms.ttt.base.DiscriminationTree.GraphView
getNodes() - Method in class de.learnlib.algorithms.ttt.base.TTTHypothesis.GraphView
getNodes() - Method in class de.learnlib.discriminationtree.DiscriminationTree.GraphView
getNodes() - Method in class de.learnlib.filters.reuse.tree.ReuseTree
getNonTreeTarget() - Method in class de.learnlib.algorithms.ttt.base.TTTTransition
getNumUpperRows() - Method in class de.learnlib.algorithms.nlstar.ObservationTable
getObservationTable() - Method in class de.learnlib.algorithms.baselinelstar.BaselineLStar
getObservationTable() - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTableFeature
getObservationTable() - Method in class de.learnlib.algorithms.lstargeneric.AbstractLStar
getOutgoingEdges(HState<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis.GraphView
getOutgoingEdges(DTNode<I, D>) - Method in class de.learnlib.algorithms.ttt.base.DiscriminationTree.GraphView
getOutgoingEdges(TTTState<I, D>) - Method in class de.learnlib.algorithms.ttt.base.TTTHypothesis.GraphView
getOutgoingEdges(DTNode<I, O, D>) - Method in class de.learnlib.discriminationtree.DiscriminationTree.GraphView
getOutgoingEdges(ReuseNode<S, I, O>) - Method in class de.learnlib.filters.reuse.tree.ReuseTree
getOutgoingTransitions() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState
getOutput() - Method in class de.learnlib.algorithms.ttt.mealy.TTTTransitionMealy
getOutput() - Method in class de.learnlib.filters.reuse.tree.ReuseEdge: The respective output on this edge.
getOutput(Word) - Method in class de.learnlib.filters.reuse.tree.ReuseTree: Returns the known output for the given query or null if not known.
getOutput() - Method in class de.learnlib.oracles.DefaultQuery
getParameterNames() - Method in class de.learnlib.drivers.reflect.AbstractMethodInput
getParameters(Map<String, Object>) - Method in class de.learnlib.drivers.reflect.AbstractMethodInput
getParameterType(String) - Method in class de.learnlib.drivers.reflect.AbstractMethodInput
getParent() - Method in class de.learnlib.algorithms.ttt.base.DTNode
getParent() - Method in class de.learnlib.discriminationtree.DTNode
getParentEdgeLabel() - Method in class de.learnlib.algorithms.ttt.base.DTNode
getParentOutcome() - Method in class de.learnlib.discriminationtree.DTNode
getPartialOutput(Word) - Method in class de.learnlib.filters.reuse.tree.ReuseTree: Returns the known output for "reflexive" edges in the tree for the given query.
getPrefix() - Method in class de.learnlib.algorithms.lstargeneric.table.Row: Retrieves the prefix (row label) associated with this row.
getPrefix() - Method in class de.learnlib.algorithms.nlstar.Row
getPrefix() - Method in class de.learnlib.api.Query
getPrefix() - Method in class de.learnlib.oracles.AbstractQuery
getPrintableStringRepresentation(ObservationTable) - Static method in class de.learnlib.algorithms.baselinelstar.ObservationTablePrinter
getPriority() - Method in class de.learnlib.settings.sources.LearnLibLocalPropertiesAutomataLibSettingsSource
getPriority() - Method in class de.learnlib.settings.sources.LearnLibPropertiesAutomataLibSettingsSource
getProperty() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState
getProperty() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition
getProperty() - Method in class de.learnlib.algorithms.ttt.base.TTTTransition
getProperty() - Method in class de.learnlib.algorithms.ttt.mealy.TTTTransitionMealy
getProperty(String) - Method in class de.learnlib.settings.LearnLibSettings
getProperty(String, String) - Method in class de.learnlib.settings.LearnLibSettings
getReductionPotential() - Method in class de.learnlib.counterexamples.prefixtransform.PrefixTransformAcex
getReferenceAutomaton() - Method in class de.learnlib.examples.DefaultLearningExample
getReferenceAutomaton() - Method in interface de.learnlib.examples.LearningExample
getResults() - Static method in class de.learnlib.statistics.SimpleProfiler: get profiling results as string.
getReuseCapableOracle() - Method in class de.learnlib.filters.reuse.ReuseOracle: Returns the ReuseCapableOracle used by this instance.
getReuseTree() - Method in class de.learnlib.filters.reuse.ReuseOracle: Returns the ReuseTree used by this instance.
getRoot() - Method in class de.learnlib.algorithms.ttt.base.DiscriminationTree: Retrieves the root node of this tree.
getRoot() - Method in class de.learnlib.discriminationtree.DiscriminationTree
getRoot() - Method in class de.learnlib.filters.reuse.tree.ReuseTree: Returns the root ReuseNode of the ReuseTree.
getRounds() - Method in class de.learnlib.experiments.Experiment
getRow(Word) - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable
getRow(Word) - Method in class de.learnlib.algorithms.features.observationtable.reader.SimpleObservationTable
getRow(int) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
getRow1() - Method in class de.learnlib.algorithms.nlstar.Inconsistency
getRow2() - Method in class de.learnlib.algorithms.nlstar.Inconsistency
getRowContentId() - Method in class de.learnlib.algorithms.lstargeneric.table.Row: Retrieves the ID of the row contents (may be -1 if this row has not yet been initialized).
getRowId() - Method in class de.learnlib.algorithms.lstargeneric.table.Row: Retrieves the unique row identifier associated with this row.
getRowSuccessor(Row, I) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
getSecondRow() - Method in class de.learnlib.algorithms.baselinelstar.InconsistencyDataHolder
getSecondRow() - Method in class de.learnlib.algorithms.features.observationtable.ObservationTable.DefaultInconsistency
getSecondRow() - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable.Inconsistency: Retrieves the second (short prefix) row constituting the inconsistency
getSecondRow() - Method in class de.learnlib.algorithms.lstargeneric.table.Inconsistency: Retrieves the second row.
getSecondState() - Method in class de.learnlib.algorithms.baselinelstar.InconsistencyDataHolder
getShortPrefixes() - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable: Retrieves the short prefixes in the table.
getShortPrefixes() - Method in class de.learnlib.algorithms.features.observationtable.reader.SimpleObservationTable
getShortPrefixLabels() - Method in class de.learnlib.algorithms.baselinelstar.ObservationTable
getShortPrefixRows() - Method in class de.learnlib.algorithms.baselinelstar.ObservationTable
getShortPrefixRows() - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable
getShortPrefixRows() - Method in class de.learnlib.algorithms.features.observationtable.reader.SimpleObservationTable
getShortPrefixRows() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
getSize() - Method in class de.learnlib.statistics.HistogramDataSet
getSource() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition
getSource() - Method in class de.learnlib.algorithms.ttt.base.TTTTransition
getSource() - Method in class de.learnlib.filters.reuse.tree.ReuseEdge: The source node from this edge.
getState(int) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis
getState(TTTState<I, D>, Iterable<? extends I>) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner: Retrieves the successor for a given state and a suffix sequence.
getState() - Method in class de.learnlib.algorithms.ttt.base.DTNode
getStateId(HState<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis
getStateLabel() - Method in class de.learnlib.algorithms.ttt.base.SplitData: Retrieves the state label associated with this split data.
getStateProperty(HState<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis
getStates() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis
getStates() - Method in class de.learnlib.algorithms.ttt.base.TTTHypothesis
getStatisticalData() - Method in class de.learnlib.oracles.CounterOracle
getStatisticalData() - Method in class de.learnlib.oracles.HistogramOracle
getStatisticalData() - Method in class de.learnlib.oracles.ResetCounterSUL
getStatisticalData() - Method in class de.learnlib.oracles.SymbolCounterSUL
getStatisticalData() - Method in interface de.learnlib.statistics.StatisticOracle
getStatisticalData() - Method in interface de.learnlib.statistics.StatisticSUL
getStringRepresentationOfObservationTable() - Method in class de.learnlib.algorithms.baselinelstar.BaselineLStar
getSubsequentStepsOutput() - Method in class de.learnlib.mapper.api.Mapper.MappedException
getSuccessor(HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis
getSuccessor(int) - Method in class de.learnlib.algorithms.lstargeneric.table.Row: Retrieves the successor row for this short prefix row and the given alphabet symbol (by index).
getSuccessor(TTTState<I, Boolean>) - Method in class de.learnlib.algorithms.ttt.dfa.TTTHypothesisDFA
getSuccessor(TTTTransitionMealy<I, O>) - Method in class de.learnlib.algorithms.ttt.mealy.TTTHypothesisMealy
getSuccessorRow(ObservationTable.Row<I, Boolean>, I) - Method in class de.learnlib.algorithms.baselinelstar.ObservationTable
getSuccessorRow(ObservationTable.Row<I, D>, I) - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable
getSuccessorRow(ObservationTable.Row<I, D>, I) - Method in class de.learnlib.algorithms.features.observationtable.reader.SimpleObservationTable
getSuffix(int) - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable: Retrieves a suffix by its (column) index.
getSuffix(int) - Method in class de.learnlib.algorithms.features.observationtable.reader.SimpleObservationTable
getSuffix(int) - Method in class de.learnlib.algorithms.nlstar.ObservationTable
getSuffix() - Method in class de.learnlib.api.Query
getSuffix() - Method in class de.learnlib.oracles.AbstractQuery
getSuffixes() - Method in class de.learnlib.algorithms.baselinelstar.ObservationTable: The set of suffixes in the observation table, often called "E".
getSuffixes() - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable: Retrieves all suffixes in the table.
getSuffixes() - Method in class de.learnlib.algorithms.features.observationtable.reader.SimpleObservationTable
getSuffixes() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
getSuffixIdx() - Method in class de.learnlib.algorithms.nlstar.Inconsistency
getSum() - Method in class de.learnlib.statistics.HistogramDataSet
getSummary() - Method in class de.learnlib.statistics.Counter
getSummary() - Method in class de.learnlib.statistics.HistogramDataSet
getSummary() - Method in class de.learnlib.statistics.StatisticData
getSymbol() - Method in class de.learnlib.algorithms.baselinelstar.InconsistencyDataHolder
getSymbol() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition
getSymbol() - Method in class de.learnlib.algorithms.features.observationtable.ObservationTable.DefaultInconsistency
getSymbol() - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable.Inconsistency: Retrieves the symbol for which's one-letter extensions the corresponding rows have different contents.
getSymbolIdx() - Method in class de.learnlib.algorithms.nlstar.Inconsistency
getTarget(HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis.GraphView
getTarget(TTTTransition<I, D>) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner: Retrieves the target state of a given transition.
getTarget(DTNode<I, D>) - Method in class de.learnlib.algorithms.ttt.base.DiscriminationTree.GraphView
getTarget(TTTHypothesis.TTTEdge<I, D>) - Method in class de.learnlib.algorithms.ttt.base.TTTHypothesis.GraphView
getTarget() - Method in class de.learnlib.algorithms.ttt.base.TTTTransition
getTarget(Map.Entry<O, DTNode<I, O, D>>) - Method in class de.learnlib.discriminationtree.DiscriminationTree.GraphView
getTarget() - Method in class de.learnlib.filters.reuse.tree.ReuseEdge: The target node from this edge.
getTarget(ReuseEdge<S, I, O>) - Method in class de.learnlib.filters.reuse.tree.ReuseTree
getTargetNodeForInput(int) - Method in class de.learnlib.filters.reuse.tree.ReuseNode
getThisStepOutput() - Method in class de.learnlib.mapper.api.Mapper.MappedException
getTransition(HState<I, O, SP, TP>, I) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis
getTransition(int) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState
getTransition(TTTState<I, D>, I) - Method in class de.learnlib.algorithms.ttt.base.TTTHypothesis
getTransitionOutput(TTTTransitionMealy<I, O>) - Method in class de.learnlib.algorithms.ttt.mealy.TTTHypothesisMealy
getTransitionProperty(HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis
getTreeIncoming() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState
getTreeTarget() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition
getTreeTarget() - Method in class de.learnlib.algorithms.ttt.base.TTTTransition
getUndirectedAnalyzers() - Static method in class de.learnlib.acex.analyzers.AcexAnalyzers
getUnit() - Method in class de.learnlib.statistics.StatisticData
getUpperId() - Method in class de.learnlib.algorithms.nlstar.Row
getUpperPrimes() - Method in class de.learnlib.algorithms.nlstar.ObservationTable
getUpperRow(int) - Method in class de.learnlib.algorithms.nlstar.ObservationTable
getUpperRows() - Method in class de.learnlib.algorithms.nlstar.ObservationTable
getValue() - Method in class de.learnlib.drivers.reflect.ReturnValue
GlobalSuffixFeature - Interface in de.learnlib.algorithms.features.globalsuffixes
GlobalSuffixFinder<I,D> - Interface in de.learnlib.counterexamples: Interface for a global suffix finder.
GlobalSuffixFinders - Class in de.learnlib.counterexamples: A collection of suffix-based global counterexample analyzers.
GlobalSuffixLearner<M,I,D> - Interface in de.learnlib.algorithms.features.globalsuffixes: Common interface for learning algorithms that use a global suffix set.
GlobalSuffixLearner.GlobalSuffixLearnerDFA - Interface in de.learnlib.algorithms.features.globalsuffixes
GlobalSuffixLearner.GlobalSuffixLearnerMealy<I,O> - Interface in de.learnlib.algorithms.features.globalsuffixes
graphView() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis
GraphView() - Constructor for class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis.GraphView
graphView() - Method in class de.learnlib.algorithms.ttt.base.DiscriminationTree
GraphView() - Constructor for class de.learnlib.algorithms.ttt.base.DiscriminationTree.GraphView
graphView() - Method in class de.learnlib.algorithms.ttt.base.TTTHypothesis
GraphView() - Constructor for class de.learnlib.algorithms.ttt.base.TTTHypothesis.GraphView
graphView() - Method in class de.learnlib.discriminationtree.DiscriminationTree
GraphView() - Constructor for class de.learnlib.discriminationtree.DiscriminationTree.GraphView

H

handleClassicLStar(DefaultQuery<I, D>, ObservationTable<I, D>, MembershipOracle<I, D>) - Static method in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
handleCounterexample(DefaultQuery<RI, RD>, ObservationTable<RI, RD>, SuffixOutput<RI, RD>, MembershipOracle<RI, RD>) - Method in interface de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandler
handleGlobalSuffixes(ObservationTable<I, D>, List<? extends Word>, MembershipOracle<I, D>) - Static method in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
handleLocalSuffix(Query<I, D>, ObservationTable<I, D>, int, boolean, MembershipOracle<I, D>) - Static method in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
handleLocalSuffix(Query<I, D>, ObservationTable<I, D>, int, MembershipOracle<I, D>) - Static method in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
handleSuffix1by1(DefaultQuery<I, D>, ObservationTable<I, D>, MembershipOracle<I, D>) - Static method in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
hasContents() - Method in class de.learnlib.algorithms.lstargeneric.table.Row
hashCode() - Method in class de.learnlib.api.Query
hashCode() - Method in class de.learnlib.drivers.reflect.Error
hashCode() - Method in class de.learnlib.drivers.reflect.ReturnValue
hasStateLabel() - Method in class de.learnlib.algorithms.ttt.base.SplitData: Checks whether there is a state label associated with this node, regardless of its value.
hasSystemStates() - Method in class de.learnlib.filters.reuse.tree.ReuseNode
HistogramDataSet - Class in de.learnlib.statistics: A simple histogram data set.
HistogramDataSet(String, String) - Constructor for class de.learnlib.statistics.HistogramDataSet
HistogramOracle<I,D> - Class in de.learnlib.oracles: Collects a histogram of passed query lengths.
HistogramOracle(MembershipOracle<I, D>, String) - Constructor for class de.learnlib.oracles.HistogramOracle
HState<I,O,SP,TP> - Class in de.learnlib.algorithms.discriminationtree.hypothesis
HState(int) - Constructor for class de.learnlib.algorithms.discriminationtree.hypothesis.HState
HState(int, int, HTransition<I, O, SP, TP>) - Constructor for class de.learnlib.algorithms.discriminationtree.hypothesis.HState
HTransition<I,O,SP,TP> - Class in de.learnlib.algorithms.discriminationtree.hypothesis
HTransition(HState<I, O, SP, TP>, I, DTNode<I, O, HState<I, O, SP, TP>>) - Constructor for class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition
hypothesis - Variable in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner
hypothesis - Variable in class de.learnlib.algorithms.ttt.base.BaseTTTLearner
hypothesisOutput() - Method in class de.learnlib.algorithms.lstargeneric.AbstractLStar
hypothesisOutput() - Method in class de.learnlib.algorithms.lstargeneric.dfa.ExtensibleLStarDFA
hypothesisOutput() - Method in class de.learnlib.algorithms.lstargeneric.mealy.ClassicLStarMealy
hypothesisOutput() - Method in class de.learnlib.algorithms.lstargeneric.mealy.ExtensibleLStarMealy

I

ignoreAndContinue(AO) - Static method in class de.learnlib.mapper.api.Mapper.MappedException
IN_LOVES - Static variable in class de.learnlib.examples.dfa.ExamplePaulAndMary
IN_MARY - Static variable in class de.learnlib.examples.dfa.ExamplePaulAndMary
IN_PAUL - Static variable in class de.learnlib.examples.dfa.ExamplePaulAndMary
IncomingList<I,D> - Class in de.learnlib.algorithms.ttt.base: The head of the intrusive linked list for storing incoming transitions of a DT node.
IncomingList() - Constructor for class de.learnlib.algorithms.ttt.base.IncomingList
IncomingListElem<I,D> - Class in de.learnlib.algorithms.ttt.base: An element in an IncomingList.
IncomingListElem() - Constructor for class de.learnlib.algorithms.ttt.base.IncomingListElem
Inconsistency<I,D> - Class in de.learnlib.algorithms.lstargeneric.table: A description of an inconsistency in an ObservationTable.
Inconsistency(Row, Row, int) - Constructor for class de.learnlib.algorithms.lstargeneric.table.Inconsistency: Constructor.
Inconsistency - Class in de.learnlib.algorithms.nlstar: An (RFSA) inconsistency in an ObservationTable.
Inconsistency(Row, Row, int, int) - Constructor for class de.learnlib.algorithms.nlstar.Inconsistency: Constructor.
InconsistencyDataHolder - Class in de.learnlib.algorithms.baselinelstar
InconsistencyDataHolder(ObservationTableRow, ObservationTableRow, I) - Constructor for class de.learnlib.algorithms.baselinelstar.InconsistencyDataHolder
incorporateCounterExample(DefaultQuery<I, D>) - Method in class de.learnlib.algorithms.lstargeneric.AbstractLStar: Incorporates the information provided by a counterexample into the observation data structure.
increment(long) - Method in class de.learnlib.statistics.Counter
increment() - Method in class de.learnlib.statistics.Counter
IncrementalWMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> - Class in de.learnlib.eqtests.basic
IncrementalWMethodEQOracle(Alphabet, MembershipOracle<I, D>) - Constructor for class de.learnlib.eqtests.basic.IncrementalWMethodEQOracle
IncrementalWMethodEQOracle(Alphabet, MembershipOracle<I, D>, int) - Constructor for class de.learnlib.eqtests.basic.IncrementalWMethodEQOracle
IncrementalWMethodEQOracle.DFAIncrementalWMethodEQOracle - Class in de.learnlib.eqtests.basic
IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle<I,O> - Class in de.learnlib.eqtests.basic
initialize(List<Word>, List<Word>, MembershipOracle<I, D>) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable: Initializes an observation table using a specified set of suffixes.
initialize() - Method in class de.learnlib.algorithms.nlstar.ObservationTable
initialize() - Method in class de.learnlib.algorithms.ttt.base.TTTHypothesis: Initializes the automaton, adding an initial state.
initializeState(HState<I, D, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner
initializeState(TTTState<I, D>) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner: Initializes a state.
initializeState(TTTState<I, Boolean>) - Method in class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFA
initialPrefixes() - Method in class de.learnlib.algorithms.lstargeneric.AbstractLStar
initialPrefixes() - Static method in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar.BuilderDefaults
initialPrefixes - Variable in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar
initialPrefixes() - Method in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar
initialSplitters() - Static method in class de.learnlib.algorithms.dhc.mealy.MealyDHC.BuilderDefaults
initialSuffixes() - Method in class de.learnlib.algorithms.lstargeneric.AbstractLStar: Returns the list of initial suffixes which are used to initialize the table.
initialSuffixes() - Method in class de.learnlib.algorithms.lstargeneric.dfa.ExtensibleLStarDFA
initialSuffixes() - Static method in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar.BuilderDefaults
initialSuffixes - Variable in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar
initialSuffixes() - Method in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar
initialSuffixes() - Method in class de.learnlib.algorithms.lstargeneric.mealy.ClassicLStarMealy
initialSuffixes() - Method in class de.learnlib.algorithms.lstargeneric.mealy.ExtensibleLStarMealy
innerNodes() - Method in class de.learnlib.algorithms.ttt.base.DTNode
innerNodesIterator() - Method in class de.learnlib.algorithms.ttt.base.DTNode
insert(E) - Method in class de.learnlib.filters.reuse.tree.BoundedDeque: Inserts an element into the deque, and returns the one that had to be evicted in case of a capacity violation.
insert(Word, ReuseCapableOracle.QueryResult<S, O>) - Method in class de.learnlib.filters.reuse.tree.ReuseTree: Inserts the given Word with ReuseCapableOracle.QueryResult into the tree starting from the root node of the tree.
insert(Word, ReuseNode<S, I, O>, ReuseCapableOracle.QueryResult<S, O>) - Method in class de.learnlib.filters.reuse.tree.ReuseTree: Inserts the given Word (suffix of a membership query) with ReuseCapableOracle.QueryResult (suffix output) into the tree starting from the ReuseNode (contains prefix with prefix output) in the tree.
insertAllIncoming(IncomingList<I, D>) - Method in class de.learnlib.algorithms.ttt.base.IncomingList
insertAllIncoming(TTTTransition<I, D>) - Method in class de.learnlib.algorithms.ttt.base.IncomingList
insertBlock(DTNode<I, D>) - Method in class de.learnlib.algorithms.ttt.base.BlockList: Inserts a block into the list.
insertIncoming(TTTTransition<I, D>) - Method in class de.learnlib.algorithms.ttt.base.IncomingList
INSTANCE - Static variable in class de.learnlib.drivers.reflect.Unobserved
internalHyp - Variable in class de.learnlib.algorithms.lstargeneric.AbstractAutomatonLStar
InvalidRowException - Exception in de.learnlib.algorithms.features.observationtable
InvalidRowException() - Constructor for exception de.learnlib.algorithms.features.observationtable.InvalidRowException
InvalidRowException(String) - Constructor for exception de.learnlib.algorithms.features.observationtable.InvalidRowException
isAccepting(TTTState<I, Boolean>) - Method in class de.learnlib.algorithms.ttt.dfa.TTTHypothesisDFA
isAccepting() - Method in class de.learnlib.algorithms.ttt.dfa.TTTStateDFA
isAccessSequence(Word) - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHC
isAccessSequence(Word) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis
isAccessSequence(Word) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
isAccessSequence(Word) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner
isAccessSequence(Word) - Method in interface de.learnlib.api.AccessSequenceTransformer
isBounded() - Method in class de.learnlib.filters.reuse.tree.BoundedDeque: Retrieves whether capacity restriction is in effect.
isClosed() - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable
isClosed() - Method in class de.learnlib.algorithms.features.observationtable.reader.SimpleObservationTable
isConsistent(Collection<? extends I>) - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable
isConsistent(Collection<? extends I>) - Method in class de.learnlib.algorithms.features.observationtable.reader.SimpleObservationTable
isCounterexample(DefaultQuery<I, D>, SuffixOutput<I, D>) - Static method in class de.learnlib.oracles.MQUtil
isEmpty() - Method in class de.learnlib.algorithms.ttt.base.BlockList: Checks whether this list is empty.
isEmpty() - Method in class de.learnlib.discriminationtree.BooleanMap
isEmpty() - Method in class de.learnlib.filters.reuse.tree.BoundedDeque
isInitialConsistencyCheckRequired() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
isInitialized() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable: Checks whether this observation table has been initialized yet (i.e., contains any rows).
isInitialized() - Method in class de.learnlib.algorithms.ttt.base.TTTHypothesis: Checks whether this automaton was initialized (i.e., TTTHypothesis.initialize() has been called).
isInner() - Method in class de.learnlib.algorithms.ttt.base.DTNode
isLeaf() - Method in class de.learnlib.algorithms.ttt.base.DTNode
isLeaf() - Method in class de.learnlib.discriminationtree.DTNode
isLoggable(LogRecord) - Method in class de.learnlib.logging.filter.CategoryFilter
isMarked(D) - Method in class de.learnlib.algorithms.ttt.base.SplitData: Checks whether the corresponding node is marked with the given label.
isNew() - Method in class de.learnlib.algorithms.nlstar.Row
isPrime() - Method in class de.learnlib.algorithms.nlstar.Row
isRoot() - Method in class de.learnlib.algorithms.ttt.base.TTTState: Checks whether this state is the initial state (i.e., the root of the spanning tree).
isRoot() - Method in class de.learnlib.discriminationtree.DTNode
isShortPrefix() - Method in class de.learnlib.algorithms.lstargeneric.table.Row: Retrieves whether this is a short prefix row.
isShortPrefixRow() - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable.Row: Retrieves whether this row is a short or a long prefix row.
isShortPrefixRow() - Method in class de.learnlib.algorithms.nlstar.Row
isTemp() - Method in class de.learnlib.algorithms.ttt.base.DTNode
isTree() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition
isTree() - Method in class de.learnlib.algorithms.ttt.base.TTTTransition
iterator() - Method in class de.learnlib.algorithms.features.observationtable.ObservationTable.AbstractRow
iterator() - Method in class de.learnlib.algorithms.ttt.base.BlockList
iterator() - Method in class de.learnlib.algorithms.ttt.base.IncomingList
iterator() - Method in class de.learnlib.filters.reuse.tree.BoundedDeque

K

KearnsVaziraniDFA - Class in de.learnlib.algorithms.kv.dfa: The Kearns/Vazirani algorithm for learning DFA, as described in the book "An Introduction to Computational Learning Theory" by Michael Kearns and Umesh Vazirani.
KearnsVaziraniDFA(Alphabet, MembershipOracle<I, Boolean>, boolean, AcexAnalyzer) - Constructor for class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA: Constructor.
KearnsVaziraniMealy<I,O> - Class in de.learnlib.algorithms.kv.mealy: An adaption of the Kearns/Vazirani algorithm for Mealy machines.
KearnsVaziraniMealy(Alphabet, MembershipOracle<I, Word<O>>, boolean, AcexAnalyzer) - Constructor for class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealy
keySet() - Method in class de.learnlib.discriminationtree.BooleanMap

L

lcaInfo(DTNode<I, O, D>, DTNode<I, O, D>) - Method in class de.learnlib.discriminationtree.DiscriminationTree
LCAInfo(DTNode<I, O, D>, O, O) - Constructor for class de.learnlib.discriminationtree.DiscriminationTree.LCAInfo
LearnerVariantList<M,I,D> - Interface in de.learnlib.testsupport.it.learner: A write-only list to store multiple variants of a learning algorithm.
LearnerVariantList.DFALearnerVariantList - Interface in de.learnlib.testsupport.it.learner
LearnerVariantList.MealyLearnerVariantList<I,O> - Interface in de.learnlib.testsupport.it.learner
LearnerVariantList.MealySymLearnerVariantList<I,O> - Interface in de.learnlib.testsupport.it.learner
LearningAlgorithm<M,I,D> - Interface in de.learnlib.api: Basic interface for a model inference algorithm.
LearningAlgorithm.DFALearner - Interface in de.learnlib.api
LearningAlgorithm.MealyLearner<I,O> - Interface in de.learnlib.api
LearningCache<A,I,O> - Interface in de.learnlib.cache: Interface for a cache used in automata learning.
LearningCache.DFALearningCache - Interface in de.learnlib.cache: Specialization of the LearningCache interface for DFA learning.
LearningCache.MealyLearningCache<I,O> - Interface in de.learnlib.cache: Specialization of the LearningCache interface for Mealy machine learning.
LearningCacheOracle<A,I,D> - Interface in de.learnlib.cache: A learning cache that also serves as a membership oracle.
LearningCacheOracle.DFALearningCacheOracle - Interface in de.learnlib.cache: Specialization of the LearningCacheOracle interface for DFA learning.
LearningCacheOracle.MealyLearningCacheOracle<I,O> - Interface in de.learnlib.cache: Specialization of the LearningCacheOracle interface for Mealy machine learning.
LearningExample<I,D,A extends UniversalAutomaton<?,I,?,?,?> & SuffixOutput<I,D>> - Interface in de.learnlib.examples
LearningExample.DFALearningExample - Interface in de.learnlib.examples
LearningExample.MealyLearningExample<I,O> - Interface in de.learnlib.examples
LearningExamples - Class in de.learnlib.examples
LearnLibLocalPropertiesAutomataLibSettingsSource - Class in de.learnlib.settings.sources
LearnLibLocalPropertiesAutomataLibSettingsSource() - Constructor for class de.learnlib.settings.sources.LearnLibLocalPropertiesAutomataLibSettingsSource
LearnLibLocalPropertiesSource - Class in de.learnlib.settings.sources
LearnLibLocalPropertiesSource() - Constructor for class de.learnlib.settings.sources.LearnLibLocalPropertiesSource
LearnLibPropertiesAutomataLibSettingsSource - Class in de.learnlib.settings.sources
LearnLibPropertiesAutomataLibSettingsSource() - Constructor for class de.learnlib.settings.sources.LearnLibPropertiesAutomataLibSettingsSource
LearnLibPropertiesSource - Class in de.learnlib.settings.sources
LearnLibPropertiesSource() - Constructor for class de.learnlib.settings.sources.LearnLibPropertiesSource
LearnLibSettings - Class in de.learnlib.settings
LearnLibSettingsSource - Interface in de.learnlib.settings
LearnLibSystemPropertiesSource - Class in de.learnlib.settings.sources
LearnLibSystemPropertiesSource() - Constructor for class de.learnlib.settings.sources.LearnLibSystemPropertiesSource
LearnLogger - Class in de.learnlib.logging: LearnLib specific logger.
LearnLogRecord - Class in de.learnlib.logging
LearnLogRecord(Level, String, Category) - Constructor for class de.learnlib.logging.LearnLogRecord
leastCommonAncestor(DTNode<I, D>, DTNode<I, D>) - Method in class de.learnlib.algorithms.ttt.base.DiscriminationTree
leastCommonAncestor - Variable in class de.learnlib.discriminationtree.DiscriminationTree.LCAInfo
leastCommonAncestor(DTNode<I, O, D>, DTNode<I, O, D>) - Method in class de.learnlib.discriminationtree.DiscriminationTree
LINEAR_BWD - Static variable in class de.learnlib.acex.analyzers.AcexAnalyzers: Analyzer that linearly scans through the abstract counterexample in descending order.
LINEAR_FWD - Static variable in class de.learnlib.acex.analyzers.AcexAnalyzers: Analyzer that linearly scans through the abstract counterexample in ascending order.
linearSearchBwd(AbstractCounterexample, int, int) - Static method in class de.learnlib.acex.analyzers.AcexAnalysisAlgorithms: Scan linearly through the counterexample in descending order.
linearSearchFwd(AbstractCounterexample, int, int) - Static method in class de.learnlib.acex.analyzers.AcexAnalysisAlgorithms: Scan linearly through the counterexample in ascending order.
LLConsoleFormatter - Class in de.learnlib.logging: Extends SimpleFormatter to include categories in output.
LLConsoleFormatter() - Constructor for class de.learnlib.logging.LLConsoleFormatter
loadLearnLibV2Benchmark(String) - Static method in class de.learnlib.examples.dfa.DFABenchmarks
loadPeterson2() - Static method in class de.learnlib.examples.dfa.DFABenchmarks
loadPeterson3() - Static method in class de.learnlib.examples.dfa.DFABenchmarks
loadPots2() - Static method in class de.learnlib.examples.dfa.DFABenchmarks
loadPots3() - Static method in class de.learnlib.examples.dfa.DFABenchmarks
LocalSuffixFinder<I,D> - Interface in de.learnlib.counterexamples: Suffix-based local counterexample analyzer.
LocalSuffixFinders - Class in de.learnlib.counterexamples: A collection of suffix-based local counterexample analyzers.
logConfig(String) - Method in class de.learnlib.logging.LearnLogger: logs setup details
logCounterexample(String) - Method in class de.learnlib.logging.LearnLogger: log counterexample
logDataStructure(Object) - Method in class de.learnlib.logging.LearnLogger: log a data structure
logEvent(String) - Method in class de.learnlib.logging.LearnLogger: logs an event.
logModel(Object) - Method in class de.learnlib.logging.LearnLogger: log a model
logPhase(String) - Method in class de.learnlib.logging.LearnLogger: logs a learning phase at level INFO.
logProfilingInfo(StatisticData) - Method in class de.learnlib.logging.LearnLogger: log a piece of profiling info
logQuery(String) - Method in class de.learnlib.logging.LearnLogger: logs a learning query at level INFO.
logResults() - Static method in class de.learnlib.statistics.SimpleProfiler: log results in category PROFILING.
logStatistic(StatisticData) - Method in class de.learnlib.logging.LearnLogger: log statistic info
LStarDFAUtil - Class in de.learnlib.algorithms.lstargeneric.dfa
LStarDFAUtil() - Constructor for class de.learnlib.algorithms.lstargeneric.dfa.LStarDFAUtil
LStarMealyUtil - Class in de.learnlib.algorithms.lstargeneric.mealy
LStarMealyUtil() - Constructor for class de.learnlib.algorithms.lstargeneric.mealy.LStarMealyUtil

M

main(String[]) - Static method in class de.learnlib.examples.example1.Example
main(String[]) - Static method in class de.learnlib.examples.example2.Example
main(String[]) - Static method in class de.learnlib.examples.example3.Example
makeShort(Row) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
makeShort(int) - Method in class de.learnlib.algorithms.lstargeneric.table.Row: Makes this row a short prefix row.
makeTree(HState<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition
makeUpper(List<Row>) - Method in class de.learnlib.algorithms.nlstar.ObservationTable
MALER_PNUELI - Static variable in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
MALER_PNUELI - Static variable in class de.learnlib.counterexamples.GlobalSuffixFinders: Adds all suffixes of the input word, as suggested by Maler & Pnueli.
MalerPnueliDFA - Class in de.learnlib.algorithms.malerpnueli
MalerPnueliDFA(Alphabet, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithms.malerpnueli.MalerPnueliDFA
MalerPnueliDFA(Alphabet, MembershipOracle<I, Boolean>, List<Word>, ClosingStrategy<? super I, ? super Boolean>) - Constructor for class de.learnlib.algorithms.malerpnueli.MalerPnueliDFA
MalerPnueliMealy<I,O> - Class in de.learnlib.algorithms.malerpnueli
MalerPnueliMealy(Alphabet, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithms.malerpnueli.MalerPnueliMealy
MalerPnueliMealy(Alphabet, MembershipOracle<I, Word<O>>, List<Word>, ClosingStrategy<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithms.malerpnueli.MalerPnueliMealy
mapInput(AbstractMethodInput) - Method in class de.learnlib.drivers.reflect.SimplePOJODataMapper
mapInput(AI) - Method in interface de.learnlib.mapper.api.Mapper: Method that maps an abstract input to a corresponding concrete input.
mapInput(String) - Method in class de.learnlib.mapper.StringMapper
mapOutput(Object) - Method in class de.learnlib.drivers.reflect.SimplePOJODataMapper
mapOutput(CO) - Method in interface de.learnlib.mapper.api.Mapper: Method that maps a concrete output to a corresponding abstract output.
mapOutput(Object) - Method in class de.learnlib.mapper.StringMapper
MappedSUL<AI,AO,CI,CO> - Class in de.learnlib.mapper
MappedSUL(Mapper<? super AI, ? extends AO, ? extends CI, ? super CO>, SUL<? super CI, ? extends CO>) - Constructor for class de.learnlib.mapper.MappedSUL
Mapper<AI,AO,CI,CO> - Interface in de.learnlib.mapper.api: A mapper that lifts a SUL from an "abstract" to a "concrete" level.
Mapper.MappedException<AO> - Class in de.learnlib.mapper.api
Mappers - Class in de.learnlib.mapper: Utility methods for manipulating mappers.
mapTransition(TTTTransition<I, D>) - Method in class de.learnlib.algorithms.ttt.base.TTTHypothesis
mapTransition(TTTTransition<I, Boolean>) - Method in class de.learnlib.algorithms.ttt.dfa.TTTHypothesisDFA
mapTransition(TTTTransition<I, Word<O>>) - Method in class de.learnlib.algorithms.ttt.mealy.TTTHypothesisMealy
mapUnwrappedException(RuntimeException) - Method in class de.learnlib.drivers.reflect.SimplePOJODataMapper
mapUnwrappedException(RuntimeException) - Method in class de.learnlib.mapper.AbstractMapper
mapUnwrappedException(RuntimeException) - Method in interface de.learnlib.mapper.api.Mapper: Maps an unwrapped RuntimeException to an abstract output symbol, or rethrows it if it is unmappable.
mapWrappedException(SULException) - Method in class de.learnlib.mapper.AbstractMapper
mapWrappedException(SULException) - Method in interface de.learnlib.mapper.api.Mapper: Maps a wrapped SULException to an abstract output symbol, or rethrows it if it is unmappable.
mark(D) - Method in class de.learnlib.algorithms.ttt.base.SplitData: Mark this node with the given label.
MAX_SIZE - Static variable in class de.learnlib.examples.example2.Example.BoundedStringQueue
MealyCacheConsistencyTest<I,O> - Class in de.learnlib.cache.mealy: An EquivalenceOracle that tests an hypothesis for consistency with the contents of a MealyCacheOracle.
MealyCacheConsistencyTest(IncrementalMealyBuilder<I, O>, Lock) - Constructor for class de.learnlib.cache.mealy.MealyCacheConsistencyTest: Constructor.
MealyCacheOracle<I,O> - Class in de.learnlib.cache.mealy: Mealy cache.
MealyCacheOracle(IncrementalMealyBuilder<I, O>, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.cache.mealy.MealyCacheOracle
MealyCacheOracle(IncrementalMealyBuilder<I, O>, Lock, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.cache.mealy.MealyCacheOracle
MealyCacheOracle(Alphabet, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.cache.mealy.MealyCacheOracle: Deprecated.
since 2014-01-23. Use MealyCacheOracle.createDAGCacheOracle(Alphabet, MembershipOracle) to reproduce old behavior.
MealyCacheOracle(Alphabet, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.cache.mealy.MealyCacheOracle: Deprecated.
since 2014-01-23. Use MealyCacheOracle.createDAGCacheOracle(Alphabet, Mapping, MembershipOracle) to reproduce old behavior.
MealyCaches - Class in de.learnlib.cache.mealy
MealyCounterOracle(MembershipOracle<I, Word<O>>, String) - Constructor for class de.learnlib.oracles.CounterOracle.MealyCounterOracle
MealyDHC<I,O> - Class in de.learnlib.algorithms.dhc.mealy
MealyDHC(Alphabet, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithms.dhc.mealy.MealyDHC: Constructor, provided for backwards compatibility reasons.
MealyDHC(Alphabet, MembershipOracle<I, Word<O>>, GlobalSuffixFinder<? super I, ? super Word<O>>, Collection<? extends Word>) - Constructor for class de.learnlib.algorithms.dhc.mealy.MealyDHC: Constructor.
MealyDHC.BuilderDefaults - Class in de.learnlib.algorithms.dhc.mealy
MealyEQOracleChain(EquivalenceOracle<? super MealyMachine<?, I, ?, O>, I, Word<O>>...) - Constructor for class de.learnlib.eqtests.basic.EQOracleChain.MealyEQOracleChain
MealyEQOracleChain(List<? extends EquivalenceOracle<? super MealyMachine<?, I, ?, O>, I, Word<O>>>) - Constructor for class de.learnlib.eqtests.basic.EQOracleChain.MealyEQOracleChain
MealyExperiment(LearningAlgorithm<? extends MealyMachine<?, I, ?, O>, I, Word<O>>, EquivalenceOracle<? super MealyMachine<?, I, ?, O>, I, Word<O>>, Alphabet) - Constructor for class de.learnlib.experiments.Experiment.MealyExperiment
MealyIncrementalWMethodEQOracle(Alphabet, MembershipOracle<I, Word<O>>, int) - Constructor for class de.learnlib.eqtests.basic.IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle
MealyIncrementalWMethodEQOracle(Alphabet, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.eqtests.basic.IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle
MealyRandomWordsEQOracle(MembershipOracle<I, Word<O>>, int, int, int, Random) - Constructor for class de.learnlib.eqtests.basic.RandomWordsEQOracle.MealyRandomWordsEQOracle
MealyRandomWordsEQOracle(MembershipOracle<I, Word<O>>, int, int, int, Random, int) - Constructor for class de.learnlib.eqtests.basic.RandomWordsEQOracle.MealyRandomWordsEQOracle
MealySimulatorEQOracle(MealyMachine<?, I, ?, O>) - Constructor for class de.learnlib.eqtests.basic.SimulatorEQOracle.MealySimulatorEQOracle
MealySimulatorOracle(MealyMachine<?, I, ?, O>) - Constructor for class de.learnlib.oracles.SimulatorOracle.MealySimulatorOracle
MealyUtil - Class in de.learnlib.mealy: Utility class helping to unify various approaches to actively learning Mealy machines.
MealyWMethodEQOracle(int, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.eqtests.basic.WMethodEQOracle.MealyWMethodEQOracle
MealyWpMethodEQOracle(int, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.eqtests.basic.WpMethodEQOracle.MealyWpMethodEQOracle
MembershipOracle<I,D> - Interface in de.learnlib.api: Membership oracle interface.
MembershipOracle.DFAMembershipOracle - Interface in de.learnlib.api
MembershipOracle.MealyMembershipOracle<I,O> - Interface in de.learnlib.api
MQUtil - Class in de.learnlib.oracles
MQUtil() - Constructor for class de.learnlib.oracles.MQUtil
MultiDTNode<I,O,D> - Class in de.learnlib.discriminationtree
MultiDTNode(D) - Constructor for class de.learnlib.discriminationtree.MultiDTNode
MultiDTNode(DTNode<I, O, D>, O, D) - Constructor for class de.learnlib.discriminationtree.MultiDTNode
MultiDTree<I,O,D> - Class in de.learnlib.discriminationtree
MultiDTree(MembershipOracle<I, O>) - Constructor for class de.learnlib.discriminationtree.MultiDTree
MultiDTree(D, MembershipOracle<I, O>) - Constructor for class de.learnlib.discriminationtree.MultiDTree

N

name() - Method in class de.learnlib.drivers.reflect.AbstractMethodInput
NamedAcexAnalyzer - Class in de.learnlib.acex.analyzers: An abstract counterexample analyzer that carries a name.
NamedAcexAnalyzer(String) - Constructor for class de.learnlib.acex.analyzers.NamedAcexAnalyzer: Constructor.
needsConsistencyCheck() - Method in interface de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandler
newDynamicParallelOracle(MembershipOracle<I, D>) - Static method in class de.learnlib.parallelism.ParallelOracleBuilders
newDynamicParallelOracle(Supplier<? extends MembershipOracle<I, D>>) - Static method in class de.learnlib.parallelism.ParallelOracleBuilders
newState(int, TTTTransition<I, D>, int) - Method in class de.learnlib.algorithms.ttt.base.TTTHypothesis
newState(int, TTTTransition<I, Boolean>, int) - Method in class de.learnlib.algorithms.ttt.dfa.TTTHypothesisDFA
newState - Variable in class de.learnlib.filters.reuse.ReuseCapableOracle.QueryResult
newStaticParallelOracle(MembershipOracle<I, D>) - Static method in class de.learnlib.parallelism.ParallelOracleBuilders
newStaticParallelOracle(Supplier<? extends MembershipOracle<I, D>>) - Static method in class de.learnlib.parallelism.ParallelOracleBuilders
newStaticParallelOracle(MembershipOracle<I, D>, MembershipOracle<I, D>...) - Static method in class de.learnlib.parallelism.ParallelOracleBuilders
newStaticParallelOracle(Collection<? extends MembershipOracle<I, D>>) - Static method in class de.learnlib.parallelism.ParallelOracleBuilders
nextBlock - Variable in class de.learnlib.algorithms.ttt.base.BlockListElem
nextIncoming - Variable in class de.learnlib.algorithms.ttt.base.IncomingListElem
NFALearner - Interface in de.learnlib.nfa
NFALearnerWrapper - Class in de.learnlib.nfa
NFALearnerWrapper(Alphabet, LearningAlgorithm<? extends NFA<?, I>, I, Boolean>) - Constructor for class de.learnlib.nfa.NFALearnerWrapper
NLStarLearner - Class in de.learnlib.algorithms.nlstar: The NL* algorithm, as described in the paper "Angluin-Style Learning of NFA" by B.
NLStarLearner(Alphabet, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithms.nlstar.NLStarLearner: Constructor.
NO_DISTINGUISHING_SUFFIX - Static variable in interface de.learnlib.algorithms.features.observationtable.ObservationTable: Used to indicate that no distinguishing suffix exists in ObservationTable.findDistinguishingSuffixIndex(Inconsistency) and ObservationTable.findDistinguishingSuffixIndex(Row, Row).
NO_MISMATCH - Static variable in class de.learnlib.mealy.MealyUtil
nodeIDs() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis.GraphView
nodeNew - Variable in class de.learnlib.discriminationtree.DTNode.SplitResult
nodeOld - Variable in class de.learnlib.discriminationtree.DTNode.SplitResult
NodeResult(ReuseNode<S, I, O>, S, int) - Constructor for class de.learnlib.filters.reuse.tree.ReuseNode.NodeResult
nonTreeTarget() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition
NoSuchRowException - Exception in de.learnlib.algorithms.features.observationtable
NoSuchRowException() - Constructor for exception de.learnlib.algorithms.features.observationtable.NoSuchRowException
NoSuchRowException(String) - Constructor for exception de.learnlib.algorithms.features.observationtable.NoSuchRowException
numDistinctRows() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
numLongPrefixRows() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
numShortPrefixRows() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
numSuffixes() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
numTotalRows() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

O

ObservationTable - Class in de.learnlib.algorithms.baselinelstar: The internal storage mechanism for BaselineLStar.
ObservationTable() - Constructor for class de.learnlib.algorithms.baselinelstar.ObservationTable
ObservationTable<I,D> - Interface in de.learnlib.algorithms.features.observationtable: An observation table is a common method for learning algorithms to store organize their observations.
ObservationTable<I,D> - Class in de.learnlib.algorithms.lstargeneric.table: Observation table class.
ObservationTable(Alphabet) - Constructor for class de.learnlib.algorithms.lstargeneric.table.ObservationTable: Constructor.
ObservationTable - Class in de.learnlib.algorithms.nlstar: The observation table implementation for the NL* algorithm.
ObservationTable(Alphabet, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithms.nlstar.ObservationTable
ObservationTable.AbstractRow<I,D> - Class in de.learnlib.algorithms.features.observationtable
ObservationTable.DefaultInconsistency<I,D> - Class in de.learnlib.algorithms.features.observationtable
ObservationTable.Inconsistency<I,D> - Interface in de.learnlib.algorithms.features.observationtable: Representation of an inconsistency in the observation table.
ObservationTable.Row<I,D> - Interface in de.learnlib.algorithms.features.observationtable: A single row in the observation table.
ObservationTableASCIIWriter<I,D> - Class in de.learnlib.algorithms.features.observationtable.writer
ObservationTableASCIIWriter(Function<? super Word<? extends I>, ? extends String>, Function<? super D, ? extends String>, boolean) - Constructor for class de.learnlib.algorithms.features.observationtable.writer.ObservationTableASCIIWriter
ObservationTableASCIIWriter(boolean) - Constructor for class de.learnlib.algorithms.features.observationtable.writer.ObservationTableASCIIWriter
ObservationTableASCIIWriter() - Constructor for class de.learnlib.algorithms.features.observationtable.writer.ObservationTableASCIIWriter
ObservationTableCEXHandler<I,D> - Interface in de.learnlib.algorithms.lstargeneric.ce
ObservationTableCEXHandlers - Class in de.learnlib.algorithms.lstargeneric.ce
ObservationTableCEXHandlers() - Constructor for class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
ObservationTableFeature<I,D> - Interface in de.learnlib.algorithms.features.observationtable
ObservationTableHTMLWriter<I,D> - Class in de.learnlib.algorithms.features.observationtable.writer: Writes an observation table as a HTML table.
ObservationTableHTMLWriter(Function<? super Word<? extends I>, ? extends String>, Function<? super D, ? extends String>) - Constructor for class de.learnlib.algorithms.features.observationtable.writer.ObservationTableHTMLWriter
ObservationTablePrinter - Class in de.learnlib.algorithms.baselinelstar: With this class the contents of an ObservationTable can be printed in a human-readable format.
ObservationTablePrinter() - Constructor for class de.learnlib.algorithms.baselinelstar.ObservationTablePrinter
ObservationTableReader<I,D> - Interface in de.learnlib.algorithms.features.observationtable.reader: Reads an ObservationTable from a string source.
ObservationTableWriter<I,D> - Interface in de.learnlib.algorithms.features.observationtable.writer
offer(String) - Method in class de.learnlib.examples.example2.Example.BoundedStringQueue
oracle - Variable in class de.learnlib.algorithms.lstargeneric.AbstractLStar
OracleQueryAnswerer<I,D> - Class in de.learnlib.oracles
OracleQueryAnswerer(MembershipOracle<I, D>) - Constructor for class de.learnlib.oracles.OracleQueryAnswerer
OTLearner<M,I,D> - Interface in de.learnlib.algorithms.features.observationtable
OTLearner.OTLearnerDFA - Interface in de.learnlib.algorithms.features.observationtable
OTLearner.OTLearnerMealy<I,O> - Interface in de.learnlib.algorithms.features.observationtable
OTUtils - Class in de.learnlib.algorithms.features.observationtable
out_coffee - Static variable in class de.learnlib.examples.mealy.ExampleCoffeeMachine
out_error - Static variable in class de.learnlib.examples.mealy.ExampleCoffeeMachine
out_ok - Static variable in class de.learnlib.examples.mealy.ExampleCoffeeMachine
output - Variable in class de.learnlib.filters.reuse.ReuseCapableOracle.QueryResult
output(MembershipOracle<I, D>, Word) - Static method in class de.learnlib.oracles.MQUtil
output(MembershipOracle<I, D>, Word, Word) - Static method in class de.learnlib.oracles.MQUtil
outputToString(D) - Method in class de.learnlib.algorithms.features.observationtable.writer.AbstractObservationTableWriter

P

ParallelOracle<I,D> - Interface in de.learnlib.parallelism: Basic interface for MembershipOracles that can process queries in parallel.
ParallelOracle.PoolPolicy - Enum in de.learnlib.parallelism: The policy for dealing with thread pools.
ParallelOracleBuilders - Class in de.learnlib.parallelism: Builders for (static and dynamic) parallel oracles.
ParallelOracleInterruptedException - Exception in de.learnlib.parallelism: Exception that is thrown if a parallel oracle is interrupted during execution.
ParallelOracleInterruptedException(Throwable) - Constructor for exception de.learnlib.parallelism.ParallelOracleInterruptedException
ParallelSingleQueryOracle<I,D> - Interface in de.learnlib.oracles
parent - Variable in class de.learnlib.discriminationtree.DTNode
parentOutcome - Variable in class de.learnlib.discriminationtree.DTNode
PARTITION_BWD - Static variable in class de.learnlib.acex.analyzers.AcexAnalyzers: Analyzer that searches for a suffix index using partition search.
PARTITION_FWD - Static variable in class de.learnlib.acex.analyzers.AcexAnalyzers
partitionSearchBwd(AbstractCounterexample, int, int) - Static method in class de.learnlib.acex.analyzers.AcexAnalysisAlgorithms: Search for a suffix index using a partition search
partitionSearchFwd(AbstractCounterexample, int, int) - Static method in class de.learnlib.acex.analyzers.AcexAnalysisAlgorithms
pass(SULException) - Static method in class de.learnlib.mapper.api.Mapper.MappedException
PassiveAcceptorLearner<M extends FiniteStateAcceptor<?,I>,I> - Interface in de.learnlib.passive.api
PassiveDFALearner - Interface in de.learnlib.passive.api
PassiveLearningAlgorithm<M,I,D> - Interface in de.learnlib.passive.api
PassiveNFALearner - Interface in de.learnlib.passive.api
peek() - Method in class de.learnlib.filters.reuse.tree.BoundedDeque: Retrieves, but does not remove the top-most element, i.e., the element that is either the top of the stack or the head of the queue, depending on the configured BoundedDeque.AccessPolicy.
PlottableLogRecord - Class in de.learnlib.logging: LogRecord with a piece of plottable data.
PlottableLogRecord(Level, Object, Category) - Constructor for class de.learnlib.logging.PlottableLogRecord
poll() - Method in class de.learnlib.examples.example2.Example.BoundedStringQueue
post() - Method in interface de.learnlib.api.SUL: shut down SUL.
post() - Method in class de.learnlib.cache.sul.SULCache
post() - Method in class de.learnlib.drivers.api.TestDriver
post() - Method in class de.learnlib.drivers.reflect.SimplePOJODataMapper
post() - Method in class de.learnlib.mapper.AbstractContextExecutableInputSUL
post() - Method in class de.learnlib.mapper.AbstractMapper
post() - Method in interface de.learnlib.mapper.api.Mapper: Method that is invoked after all translation steps on a word are performed.
post() - Method in class de.learnlib.mapper.ExecutableInputSUL
post() - Method in class de.learnlib.mapper.MappedSUL
post() - Method in class de.learnlib.oracles.ResetCounterSUL
post() - Method in class de.learnlib.oracles.SymbolCounterSUL
postFinalizeDiscriminator(DTNode<I, D>, BaseTTTLearner.Splitter<I, D>) - Method in interface de.learnlib.algorithms.ttt.base.TTTEventListener
postSplit(TTTTransition<I, D>, Word) - Method in interface de.learnlib.algorithms.ttt.base.TTTEventListener
pre() - Method in interface de.learnlib.api.SUL: setup SUL.
pre() - Method in class de.learnlib.cache.sul.SULCache
pre() - Method in class de.learnlib.drivers.api.TestDriver
pre() - Method in class de.learnlib.drivers.reflect.SimplePOJODataMapper
pre() - Method in class de.learnlib.mapper.AbstractContextExecutableInputSUL
pre() - Method in class de.learnlib.mapper.AbstractMapper
pre() - Method in interface de.learnlib.mapper.api.Mapper: Method that is invoked before any translation steps on a word are performed.
pre() - Method in class de.learnlib.mapper.ExecutableInputSUL
pre() - Method in class de.learnlib.mapper.MappedSUL
pre() - Method in class de.learnlib.oracles.ResetCounterSUL
pre() - Method in class de.learnlib.oracles.SymbolCounterSUL
predictSuccOutcome(TTTTransition<I, D>, DTNode<I, D>) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner
predictSuccOutcome(TTTTransition<I, Boolean>, DTNode<I, Boolean>) - Method in class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFA
predictSuccOutcome(TTTTransition<I, Word<O>>, DTNode<I, Word<O>>) - Method in class de.learnlib.algorithms.ttt.mealy.TTTLearnerMealy
preFinalizeDiscriminator(DTNode<I, D>, BaseTTTLearner.Splitter<I, D>) - Method in interface de.learnlib.algorithms.ttt.base.TTTEventListener
prefix - Variable in class de.learnlib.oracles.AbstractQuery
prefixLength - Variable in class de.learnlib.filters.reuse.tree.ReuseNode.NodeResult: The prefix length for a membership query that leads to the ReuseNode in the reuse tree.
PrefixTransformAcex<I,O> - Class in de.learnlib.counterexamples.prefixtransform: An abstract counterexample whose data is derived from prefix transformation.
PrefixTransformAcex(Word, MembershipOracle<I, O>, AccessSequenceTransformer, SuffixOutput<I, O>) - Constructor for class de.learnlib.counterexamples.prefixtransform.PrefixTransformAcex
preSplit(TTTTransition<I, D>, Word) - Method in interface de.learnlib.algorithms.ttt.base.TTTEventListener
prevIncoming - Variable in class de.learnlib.algorithms.ttt.base.TTTTransition
processContents(Row, List<D>, boolean) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
processQueries(Collection<? extends Query<I, D>>) - Method in interface de.learnlib.api.MembershipOracle: Processes the specified collection of queries.
processQueries(Collection<? extends Query<I, Boolean>>) - Method in class de.learnlib.cache.dfa.DFACacheOracle
processQueries(Collection<? extends Query<I, Boolean>>) - Method in class de.learnlib.cache.dfa.DFAHashCacheOracle
processQueries(Collection<? extends Query<I, Word<O>>>) - Method in class de.learnlib.cache.mealy.MealyCacheOracle
processQueries(Collection<? extends Query<I, Word<O>>>) - Method in class de.learnlib.filters.reuse.ReuseOracle: Processes the specified collection of queries.
processQueries(Collection<? extends Query<I, D>>) - Method in class de.learnlib.oracles.AbstractSingleQueryOracle
processQueries(Collection<? extends Query<I, D>>) - Method in class de.learnlib.oracles.CounterOracle
processQueries(Collection<? extends Query<I, D>>) - Method in class de.learnlib.oracles.FilterChain
processQueries(Collection<? extends Query<I, D>>) - Method in class de.learnlib.oracles.HistogramOracle
processQueries(Collection<? extends Query<I, D>>) - Method in interface de.learnlib.oracles.ParallelSingleQueryOracle
processQueries(Collection<? extends Query<I, D>>) - Method in class de.learnlib.oracles.QueryAnswererOracle
processQueries(Collection<? extends Query<I, D>>) - Method in class de.learnlib.oracles.SafeOracle
processQueries(Collection<? extends Query<I, D>>) - Method in class de.learnlib.parallelism.DynamicParallelOracle
processQueries(Collection<? extends Query<I, D>>) - Method in class de.learnlib.parallelism.StaticParallelOracle
processQuery(Word) - Method in interface de.learnlib.filters.reuse.ReuseCapableOracle: An implementation needs to provide a fresh system state, process the whole query and return a ReuseCapableOracle.QueryResult with the resulting system state (ReuseCapableOracle.QueryResult.newState) and the SUL output to that query (ReuseCapableOracle.QueryResult.output).
put(boolean, V) - Method in class de.learnlib.discriminationtree.BooleanMap
put(Boolean, V) - Method in class de.learnlib.discriminationtree.BooleanMap
putAll(Map<? extends Boolean, ? extends V>) - Method in class de.learnlib.discriminationtree.BooleanMap

Q

query(Word, Word) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner: Performs a membership query.
query(AccessSequenceProvider, Word) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner: Performs a membership query, using an access sequence as its prefix.
Query<I,D> - Class in de.learnlib.api
Query() - Constructor for class de.learnlib.api.Query
query(MembershipOracle<I, D>, Word, Word) - Static method in class de.learnlib.oracles.MQUtil
query(MembershipOracle<I, D>, Word) - Static method in class de.learnlib.oracles.MQUtil
QueryAnswerer<I,D> - Interface in de.learnlib.api
QueryAnswererOracle<I,D> - Class in de.learnlib.oracles
QueryAnswererOracle(QueryAnswerer<I, D>) - Constructor for class de.learnlib.oracles.QueryAnswererOracle
QueryResult(Word<O>, S) - Constructor for class de.learnlib.filters.reuse.ReuseCapableOracle.QueryResult

R

RandomWalkEQOracle<I,O> - Class in de.learnlib.eqtests.basic.mealy: Performs a random walk over the hypothesis.
RandomWalkEQOracle(double, long, Random, SUL<I, O>) - Constructor for class de.learnlib.eqtests.basic.mealy.RandomWalkEQOracle: Constructor.
RandomWalkEQOracle(double, long, boolean, Random, SUL<I, O>) - Constructor for class de.learnlib.eqtests.basic.mealy.RandomWalkEQOracle
RandomWordsEQOracle<I,D,A extends OutputAutomaton<?,I,?,D>> - Class in de.learnlib.eqtests.basic
RandomWordsEQOracle(MembershipOracle<I, D>, int, int, int, Random, int) - Constructor for class de.learnlib.eqtests.basic.RandomWordsEQOracle
RandomWordsEQOracle(MembershipOracle<I, D>, int, int, int, Random) - Constructor for class de.learnlib.eqtests.basic.RandomWordsEQOracle
RandomWordsEQOracle.DFARandomWordsEQOracle - Class in de.learnlib.eqtests.basic
RandomWordsEQOracle.MealyRandomWordsEQOracle<I,O> - Class in de.learnlib.eqtests.basic
read(String, Alphabet) - Method in interface de.learnlib.algorithms.features.observationtable.reader.ObservationTableReader: Reads the string representation of an observation table and returns an implementation of ObservationTable which allows access to short and long prefixes as well as suffixes.
read(String, Alphabet) - Method in class de.learnlib.algorithms.features.observationtable.reader.SuffixASCIIReader
reduceCounterExample(MealyMachine<?, I, ?, O>, DefaultQuery<I, Word<O>>) - Static method in class de.learnlib.mealy.MealyUtil
refineHypothesis(DefaultQuery<I, Boolean>) - Method in class de.learnlib.algorithms.baselinelstar.BaselineLStar
refineHypothesis(DefaultQuery<I, Word<O>>) - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHC
refineHypothesis(DefaultQuery<I, D>) - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner
refineHypothesis(DefaultQuery<I, Boolean>) - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA
refineHypothesis(DefaultQuery<I, Word<O>>) - Method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealy
refineHypothesis(DefaultQuery<I, D>) - Method in class de.learnlib.algorithms.lstargeneric.AbstractLStar
refineHypothesis(DefaultQuery<I, Boolean>) - Method in class de.learnlib.algorithms.nlstar.NLStarLearner
refineHypothesis(DefaultQuery<I, D>) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner
refineHypothesis(DefaultQuery<I, D>) - Method in interface de.learnlib.api.LearningAlgorithm: Triggers a refinement of the model by providing a counterexample.
refineHypothesis(DefaultQuery<I, Boolean>) - Method in class de.learnlib.nfa.NFALearnerWrapper
refineHypothesisInternal(DefaultQuery<I, D>) - Method in class de.learnlib.algorithms.lstargeneric.AbstractAutomatonLStar
refineHypothesisInternal(DefaultQuery<I, D>) - Method in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar
refineHypothesisSingle(DefaultQuery<I, D>) - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner
remove(Object) - Method in class de.learnlib.discriminationtree.BooleanMap
removeEventListener(TTTEventListener<I, D>) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner
repeatedCounterexampleEvaluation() - Static method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner.BuilderDefaults
repeatedCounterexampleEvaluation() - Static method in class de.learnlib.algorithms.discriminationtree.dfa.DTLearnerDFA.BuilderDefaults
repeatOutput(AO, AO) - Static method in class de.learnlib.mapper.api.Mapper.MappedException
repeatOutput(AO) - Static method in class de.learnlib.mapper.api.Mapper.MappedException
reset() - Static method in class de.learnlib.statistics.SimpleProfiler: reset internal data.
ResetCounterSUL<I,O> - Class in de.learnlib.oracles
ResetCounterSUL(String, SUL<I, O>) - Constructor for class de.learnlib.oracles.ResetCounterSUL
retrieve() - Method in class de.learnlib.filters.reuse.tree.BoundedDeque: Retrieves and remove the top-most element, i.e., the element that is either the top of the stack or the head of the queue, depending on the configured BoundedDeque.AccessPolicy.
ReturnValue - Class in de.learnlib.drivers.reflect: Error output.
ReturnValue(Object) - Constructor for class de.learnlib.drivers.reflect.ReturnValue
ReuseCapableOracle<S,I,O> - Interface in de.learnlib.filters.reuse: Required interface for the ReuseOracle.
ReuseCapableOracle.QueryResult<S,O> - Class in de.learnlib.filters.reuse
ReuseEdge<S,I,O> - Class in de.learnlib.filters.reuse.tree: A ReuseEdge connects two ReuseNode's in the ReuseTree and is labeled with input and output behavior.
ReuseEdge(ReuseNode<S, I, O>, ReuseNode<S, I, O>, I, O) - Constructor for class de.learnlib.filters.reuse.tree.ReuseEdge: Default constructor.
ReuseException - Exception in de.learnlib.filters.reuse: This exception will be thrown whenever some nondeterministic behavior in the reuse tree is detected when inserting new queries.
ReuseException(String) - Constructor for exception de.learnlib.filters.reuse.ReuseException
ReuseNode<S,I,O> - Class in de.learnlib.filters.reuse.tree: A ReuseNode is a vertex in the ReuseTree that contains (a possible empty) set of outgoing ReuseEdges.
ReuseNode(int, int, int, BoundedDeque.AccessPolicy, BoundedDeque.EvictPolicy) - Constructor for class de.learnlib.filters.reuse.tree.ReuseNode
reuseNode - Variable in class de.learnlib.filters.reuse.tree.ReuseNode.NodeResult
ReuseNode.NodeResult<S,I,O> - Class in de.learnlib.filters.reuse.tree
ReuseOracle<S,I,O> - Class in de.learnlib.filters.reuse: The reuse oracle is a MembershipOracle.MealyMembershipOracle that is able to Cache queries: Each processed query will not be delegated again (instead the answer will be retrieved from the ReuseTree) Pump queries: If the ReuseTree is configured to know which symbols are model invariant input symbols via ReuseOracle.ReuseOracleBuilder.withInvariantInputs(Set) (like a read from a database which does not change the SUL) or configured for failure output symbols via ReuseOracle.ReuseOracleBuilder.withFailureOutputs(Set) (e.g. a roll back mechanism exists for the invoked symbol) the oracle could ''pump'' those symbols inside a query once seen.
ReuseOracle.ReuseOracleBuilder<S,I,O> - Class in de.learnlib.filters.reuse
ReuseOracleBuilder(Alphabet, Supplier<? extends ReuseCapableOracle<S, I, O>>) - Constructor for class de.learnlib.filters.reuse.ReuseOracle.ReuseOracleBuilder
ReuseTree<S,I,O> - Class in de.learnlib.filters.reuse.tree: The ReuseTree is a tree like structure consisting of nodes (see ReuseNode) and edges (see ReuseEdge) that is used by the ReuseOracle: Nodes may contain a system state (see ReuseNode.fetchSystemState(boolean)) that could be used for executing suffixes of membership queries.
ReuseTree.ReuseTreeBuilder<S,I,O> - Class in de.learnlib.filters.reuse.tree
ReuseTreeBuilder(Alphabet) - Constructor for class de.learnlib.filters.reuse.tree.ReuseTree.ReuseTreeBuilder
RIVEST_SCHAPIRE - Static variable in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
RIVEST_SCHAPIRE - Static variable in class de.learnlib.counterexamples.GlobalSuffixFinders: Adds the single suffix found by the access sequence transformation using binary search.
RIVEST_SCHAPIRE - Static variable in class de.learnlib.counterexamples.LocalSuffixFinders: Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations using a binary search, as proposed by Rivest & Schapire.
RIVEST_SCHAPIRE_ALLSUFFIXES - Static variable in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
RIVEST_SCHAPIRE_ALLSUFFIXES - Static variable in class de.learnlib.counterexamples.GlobalSuffixFinders: Adds the suffix found by the access sequence transformation using binary search, and all of its suffixes.
RivestSchapireDFA - Class in de.learnlib.algorithms.rivestschapire
RivestSchapireDFA(Alphabet, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithms.rivestschapire.RivestSchapireDFA
RivestSchapireDFA(Alphabet, MembershipOracle<I, Boolean>, List<Word>, ClosingStrategy<? super I, ? super Boolean>) - Constructor for class de.learnlib.algorithms.rivestschapire.RivestSchapireDFA
RivestSchapireMealy<I,O> - Class in de.learnlib.algorithms.rivestschapire
RivestSchapireMealy(Alphabet, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithms.rivestschapire.RivestSchapireMealy
RivestSchapireMealy(Alphabet, MembershipOracle<I, Word<O>>, List<Word>, ClosingStrategy<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithms.rivestschapire.RivestSchapireMealy
Row - Class in de.learnlib.algorithms.lstargeneric.table: A row in an observation table.
Row(Word, int) - Constructor for class de.learnlib.algorithms.lstargeneric.table.Row: Constructor.
Row(Word, int, int) - Constructor for class de.learnlib.algorithms.lstargeneric.table.Row: Constructor for short prefix rows.
Row - Class in de.learnlib.algorithms.nlstar: A single row in the ObservationTable for NL*.
Row(Word) - Constructor for class de.learnlib.algorithms.nlstar.Row
rowContents(Row) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
run() - Method in class de.learnlib.experiments.Experiment
runExperiment1() - Method in class de.learnlib.examples.example3.Example
runExperiment2() - Method in class de.learnlib.examples.example3.Example

S

SafeOracle<I,D> - Class in de.learnlib.oracles
SafeOracle(MembershipOracle<I, D>) - Constructor for class de.learnlib.oracles.SafeOracle
safeToStringFunction(Function<? super T, ? extends String>) - Static method in class de.learnlib.algorithms.features.observationtable.writer.AbstractObservationTableWriter
SampleSetEQOracle<I,D> - Class in de.learnlib.eqtests.basic: An equivalence oracle that tests a hypothesis against a fixed set of sample queries.
SampleSetEQOracle(boolean) - Constructor for class de.learnlib.eqtests.basic.SampleSetEQOracle: Constructor.
selectClosingRows(List<List<Row>>) - Method in class de.learnlib.algorithms.lstargeneric.AbstractLStar: This method selects a set of rows to use for closing the table.
selectClosingRows(List<List<Row<RI>>>, ObservationTable<RI, RD>, MembershipOracle<RI, RD>) - Method in class de.learnlib.algorithms.lstargeneric.closing.CloseRandomStrategy
selectClosingRows(List<List<Row<RI>>>, ObservationTable<RI, RO>, MembershipOracle<RI, RO>) - Method in interface de.learnlib.algorithms.lstargeneric.closing.ClosingStrategy: Given a list of row equivalence classes, this method selects for each of the classes one (representative) row which is being closed.
selectClosingRows(List<List<Row>>) - Method in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar
setChild(D, DTNode<I, D>) - Method in class de.learnlib.algorithms.ttt.base.DTNode
setData(D) - Method in class de.learnlib.discriminationtree.DTNode
setDT(DTNode<I, O, HState<I, O, SP, TP>>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition
setDTLeaf(DTNode<I, O, HState<I, O, SP, TP>>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState
setGlobalFilter(Filter) - Static method in class de.learnlib.logging.LearnLogger: apply a filter to all handlers of the root logger.
setLogModels(boolean) - Method in class de.learnlib.experiments.Experiment
setMaxDepth(int) - Method in class de.learnlib.eqtests.basic.IncrementalWMethodEQOracle
setMaxDepth(int) - Method in class de.learnlib.eqtests.basic.WMethodEQOracle
setNext(MembershipOracle<I, D>) - Method in interface de.learnlib.api.Filter: sets oracle for processing membership queries.
setNext(MembershipOracle<I, D>) - Method in class de.learnlib.oracles.CounterOracle
setNext(MembershipOracle<I, D>) - Method in class de.learnlib.oracles.HistogramOracle: set used oracle.
setOutputToString(Function<? super D, ? extends String>) - Method in class de.learnlib.algorithms.features.observationtable.writer.AbstractObservationTableWriter
setProfile(boolean) - Method in class de.learnlib.experiments.Experiment
setProperty(SP) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState
setProperty(TP) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition
setRowContentId(int) - Method in class de.learnlib.algorithms.lstargeneric.table.Row: Sets the ID of the row contents.
setRowSeparators(boolean) - Method in class de.learnlib.algorithms.features.observationtable.writer.ObservationTableASCIIWriter
setStateLabel(D) - Method in class de.learnlib.algorithms.ttt.base.SplitData: Sets the state label associated with this split data.
setSuccessor(int, Row) - Method in class de.learnlib.algorithms.lstargeneric.table.Row: Sets the successor row for this short prefix row and the given alphabet symbol (by index).
setTransition(int, HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState
setTransition(S, I, S, Row, int, Row) - Method in class de.learnlib.algorithms.lstargeneric.AbstractAutomatonLStar
setWordToString(Function<? super Word<? extends I>, ? extends String>) - Method in class de.learnlib.algorithms.features.observationtable.writer.AbstractObservationTableWriter
SHAHBAZ - Static variable in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
SHAHBAZ - Static variable in class de.learnlib.counterexamples.GlobalSuffixFinders: Adds all suffixes of the remainder of the input word, after stripping a maximal one-letter extension of an access sequence
shortenCounterExample(MealyMachine<?, I, ?, O>, DefaultQuery<I, Word<O>>) - Static method in class de.learnlib.mealy.MealyUtil
shutdown() - Method in class de.learnlib.parallelism.DynamicParallelOracle
shutdown() - Method in interface de.learnlib.parallelism.ParallelOracle: Shuts down all worker threads, but waits for any queued queries to be processed.
shutdown() - Method in class de.learnlib.parallelism.StaticParallelOracle
shutdownNow() - Method in class de.learnlib.parallelism.DynamicParallelOracle
shutdownNow() - Method in interface de.learnlib.parallelism.ParallelOracle: Shuts down all worker threads, and attempts to abort any query processing currently taking place.
shutdownNow() - Method in class de.learnlib.parallelism.StaticParallelOracle
sift(AccessSequenceProvider) - Method in class de.learnlib.algorithms.ttt.base.DiscriminationTree: Sifts an access sequence provided by an object into the tree, starting at the root.
sift(AccessSequenceProvider, boolean) - Method in class de.learnlib.algorithms.ttt.base.DiscriminationTree: Sifts an access sequence provided by an object into the tree, starting at the root.
sift(Word) - Method in class de.learnlib.algorithms.ttt.base.DiscriminationTree
sift(Word, boolean) - Method in class de.learnlib.algorithms.ttt.base.DiscriminationTree
sift(DTNode<I, D>, AccessSequenceProvider, boolean) - Method in class de.learnlib.algorithms.ttt.base.DiscriminationTree
sift(DTNode<I, D>, Word, boolean) - Method in class de.learnlib.algorithms.ttt.base.DiscriminationTree
sift(Word) - Method in class de.learnlib.discriminationtree.DiscriminationTree
sift(DTNode<I, O, D>, Word) - Method in class de.learnlib.discriminationtree.DiscriminationTree
SimpleEQOracle<A extends InputAlphabetHolder,I,D> - Class in de.learnlib.eqtests.basic
SimpleEQOracle(EquivalenceOracle<A, I, D>) - Constructor for class de.learnlib.eqtests.basic.SimpleEQOracle
SimpleObservationTable<I,D> - Class in de.learnlib.algorithms.features.observationtable.reader: This class represents the data structure of an ObservationTable wihout providing any meaningful functionalily.
SimpleObservationTable(List<? extends Word>) - Constructor for class de.learnlib.algorithms.features.observationtable.reader.SimpleObservationTable
SimplePOJODataMapper - Class in de.learnlib.drivers.reflect: Basic stateless data mapper for objects.
SimplePOJODataMapper(Constructor<?>, Object...) - Constructor for class de.learnlib.drivers.reflect.SimplePOJODataMapper
SimplePOJOTestDriver - Class in de.learnlib.drivers.reflect: Simple test driver for plain java objects.
SimplePOJOTestDriver(Constructor<?>, Object...) - Constructor for class de.learnlib.drivers.reflect.SimplePOJOTestDriver
SimplePOJOTestDriver(Class<?>) - Constructor for class de.learnlib.drivers.reflect.SimplePOJOTestDriver
SimpleProfiler - Class in de.learnlib.statistics: Very rudimentary profiler.
SimpleProfiler() - Constructor for class de.learnlib.statistics.SimpleProfiler
simulator(A) - Static method in class de.learnlib.eqtests.basic.EquivalenceQueries
SimulatorEQOracle<I,D> - Class in de.learnlib.eqtests.basic
SimulatorEQOracle(R) - Constructor for class de.learnlib.eqtests.basic.SimulatorEQOracle
SimulatorEQOracle.DFASimulatorEQOracle - Class in de.learnlib.eqtests.basic
SimulatorEQOracle.MealySimulatorEQOracle<I,O> - Class in de.learnlib.eqtests.basic
SimulatorOracle<I,D> - Class in de.learnlib.oracles: A membership oracle backed by an automaton.
SimulatorOracle(SuffixOutput<I, D>) - Constructor for class de.learnlib.oracles.SimulatorOracle: Constructor.
SimulatorOracle.DFASimulatorOracle - Class in de.learnlib.oracles
SimulatorOracle.MealySimulatorOracle<I,O> - Class in de.learnlib.oracles
size() - Method in class de.learnlib.algorithms.features.observationtable.ObservationTable.AbstractRow
size() - Method in interface de.learnlib.algorithms.features.observationtable.ObservationTable.Row: Retrieves the size (length) of this row.
size() - Method in class de.learnlib.discriminationtree.BooleanMap
size() - Method in class de.learnlib.filters.reuse.tree.BoundedDeque
split(DTNode<I, D>, Word, D...) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner
split(Word, O, O, D) - Method in class de.learnlib.discriminationtree.DTNode
SplitData<I,D> - Class in de.learnlib.algorithms.ttt.base: Data associated with a DTNode while an enclosing subtree is being split.
SplitData() - Constructor for class de.learnlib.algorithms.ttt.base.SplitData
SplitResult(DTNode<I, O, D>, DTNode<I, O, D>) - Constructor for class de.learnlib.discriminationtree.DTNode.SplitResult
Splitter(TTTState<I, D>, TTTState<I, D>, int) - Constructor for class de.learnlib.algorithms.ttt.base.BaseTTTLearner.Splitter
Splitter(TTTState<I, D>, TTTState<I, D>, int, DTNode<I, D>) - Constructor for class de.learnlib.algorithms.ttt.base.BaseTTTLearner.Splitter
spQuery(HState<I, D, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner
spQuery(HState<I, Boolean, Boolean, Void>) - Method in class de.learnlib.algorithms.discriminationtree.dfa.DTLearnerDFA
spQuery(HState<I, Word<O>, Void, O>) - Method in class de.learnlib.algorithms.discriminationtree.mealy.DTLearnerMealy
start(String) - Static method in class de.learnlib.statistics.SimpleProfiler: start activity.
startLearning() - Method in class de.learnlib.algorithms.baselinelstar.BaselineLStar
startLearning() - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHC
startLearning() - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner
startLearning() - Method in class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA
startLearning() - Method in class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealy
startLearning() - Method in class de.learnlib.algorithms.lstargeneric.AbstractAutomatonLStar
startLearning() - Method in class de.learnlib.algorithms.lstargeneric.AbstractLStar
startLearning() - Method in class de.learnlib.algorithms.nlstar.NLStarLearner
startLearning() - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner
startLearning() - Method in interface de.learnlib.api.LearningAlgorithm: Starts the model inference process, creating an initial hypothesis in the provided model object.
startLearning() - Method in class de.learnlib.nfa.NFALearnerWrapper
state1 - Variable in class de.learnlib.algorithms.ttt.base.BaseTTTLearner.Splitter
state2 - Variable in class de.learnlib.algorithms.ttt.base.BaseTTTLearner.Splitter
stateIDs() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis
stateInfos - Variable in class de.learnlib.algorithms.lstargeneric.AbstractAutomatonLStar
stateProperty(Row) - Method in class de.learnlib.algorithms.lstargeneric.AbstractAutomatonLStar: Derives a state property from the corresponding row.
stateProperty(Row) - Method in class de.learnlib.algorithms.lstargeneric.dfa.ExtensibleLStarDFA
stateProperty(Row) - Method in class de.learnlib.algorithms.lstargeneric.mealy.ClassicLStarMealy
stateProperty(Row) - Method in class de.learnlib.algorithms.lstargeneric.mealy.ExtensibleLStarMealy
StaticParallelOracle<I,D> - Class in de.learnlib.parallelism: A membership oracle that statically distributes a set of queries among several threads.
StaticParallelOracle(Collection<? extends MembershipOracle<I, D>>, int, ParallelOracle.PoolPolicy) - Constructor for class de.learnlib.parallelism.StaticParallelOracle
StaticParallelOracleBuilder<I,D> - Class in de.learnlib.parallelism: A builder for a StaticParallelOracle.
StaticParallelOracleBuilder(Collection<? extends MembershipOracle<I, D>>) - Constructor for class de.learnlib.parallelism.StaticParallelOracleBuilder
StaticParallelOracleBuilder(Supplier<? extends MembershipOracle<I, D>>) - Constructor for class de.learnlib.parallelism.StaticParallelOracleBuilder
StatisticData - Class in de.learnlib.statistics: Common interface for statistical data.
StatisticData(String, String) - Constructor for class de.learnlib.statistics.StatisticData
StatisticLogRecord - Class in de.learnlib.logging
StatisticLogRecord(Level, StatisticData, Category) - Constructor for class de.learnlib.logging.StatisticLogRecord
StatisticOracle<I,O> - Interface in de.learnlib.statistics: Common interface for oracles keeping statistics.
StatisticSUL<I,O> - Interface in de.learnlib.statistics
step(I) - Method in interface de.learnlib.api.SUL: make one step on the SUL.
step(I) - Method in class de.learnlib.cache.sul.SULCache
step(AI) - Method in class de.learnlib.drivers.api.TestDriver
step(I) - Method in class de.learnlib.mapper.AbstractContextExecutableInputSUL
step(I) - Method in class de.learnlib.mapper.ExecutableInputSUL
step(AI) - Method in class de.learnlib.mapper.MappedSUL
step(I) - Method in class de.learnlib.oracles.ResetCounterSUL
step(I) - Method in class de.learnlib.oracles.SymbolCounterSUL
stop(String) - Static method in class de.learnlib.statistics.SimpleProfiler: stop activity.
StringMapper<CI> - Class in de.learnlib.mapper
StringMapper(Alphabet<CI>) - Constructor for class de.learnlib.mapper.StringMapper
subtree1Label - Variable in class de.learnlib.discriminationtree.DiscriminationTree.LCAInfo
subtree2Label - Variable in class de.learnlib.discriminationtree.DiscriminationTree.LCAInfo
subtreeLabel(DTNode<I, D>) - Method in class de.learnlib.algorithms.ttt.base.DTNode
subtreeLeaves() - Method in class de.learnlib.algorithms.ttt.base.DTNode
subtreeLeavesIterator() - Method in class de.learnlib.algorithms.ttt.base.DTNode
subtreeNodesIterator() - Method in class de.learnlib.algorithms.ttt.base.DTNode
subtreeStates() - Method in class de.learnlib.algorithms.ttt.base.DTNode
subtreeStatesIterator() - Method in class de.learnlib.algorithms.ttt.base.DTNode
succSeparator - Variable in class de.learnlib.algorithms.ttt.base.BaseTTTLearner.Splitter
suffix - Variable in class de.learnlib.oracles.AbstractQuery
SUFFIX1BY1 - Static variable in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
SuffixASCIIReader<I,D> - Class in de.learnlib.algorithms.features.observationtable.reader
SuffixASCIIReader() - Constructor for class de.learnlib.algorithms.features.observationtable.reader.SuffixASCIIReader
SuffixASCIIWriter<I,D> - Class in de.learnlib.algorithms.features.observationtable.writer: A writer which stores the suffixes of an ObservationTable in plaintext.
SuffixASCIIWriter() - Constructor for class de.learnlib.algorithms.features.observationtable.writer.SuffixASCIIWriter
suffixesForLocalOutput(Query<I, D>, int) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders: Transforms a suffix index returned by a LocalSuffixFinder into a list containing the single distinguishing suffix.
suffixesForLocalOutput(Query<I, D>, int, boolean) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders: Transforms a suffix index returned by a LocalSuffixFinder into a list of distinguishing suffixes.
suffixFinder() - Static method in class de.learnlib.algorithms.dhc.mealy.MealyDHC.BuilderDefaults
suffixFinder() - Static method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner.BuilderDefaults
suffixFinder() - Static method in class de.learnlib.algorithms.discriminationtree.dfa.DTLearnerDFA.BuilderDefaults
suffixFinder() - Static method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner.BuilderDefaults
SUL<I,O> - Interface in de.learnlib.api: Interface for a system under learning (SUL) that can make single steps.
SULCache<I,O> - Class in de.learnlib.cache.sul: A cache to be used with a SUL.
SULCache(Alphabet, SUL<I, O>) - Constructor for class de.learnlib.cache.sul.SULCache: Deprecated.
since 2014-01-24. Use Caches.createSULCache(Alphabet, SUL)
SULCache(IncrementalMealyBuilder<I, O>, SUL<I, O>) - Constructor for class de.learnlib.cache.sul.SULCache
SULCache(IncrementalMealyBuilder<I, O>, Lock, SUL<I, O>) - Constructor for class de.learnlib.cache.sul.SULCache
SULCaches - Class in de.learnlib.cache.sul
SULException - Exception in de.learnlib.api: Unchecked exception class that can be used by implementors of a SUL to wrap any exceptions that occur during the SUL.step(Object) methods.
SULException(Throwable) - Constructor for exception de.learnlib.api.SULException: Creates a SULException wrapped around a Throwable.
SULOracle<I,O> - Class in de.learnlib.oracles: A wrapper around a system under learning (SUL).
SULOracle(SUL<I, O>) - Constructor for class de.learnlib.oracles.SULOracle
SupportsGrowingAlphabet - Interface in de.learnlib.api
SymbolCounterSUL<I,O> - Class in de.learnlib.oracles
SymbolCounterSUL(String, SUL<I, O>) - Constructor for class de.learnlib.oracles.SymbolCounterSUL
SymbolEQOracleWrapper<A extends SODetOutputAutomaton<?,I,?,Word<O>>,I,O> - Class in de.learnlib.eqtests.basic.mealy
SymbolEQOracleWrapper(EquivalenceOracle<? super A, I, Word<O>>) - Constructor for class de.learnlib.eqtests.basic.mealy.SymbolEQOracleWrapper
symbolIdx - Variable in class de.learnlib.algorithms.ttt.base.BaseTTTLearner.Splitter
SystemOnlyFilter - Class in de.learnlib.logging.filter: No learning related output.
SystemOnlyFilter() - Constructor for class de.learnlib.logging.filter.SystemOnlyFilter
systemState - Variable in class de.learnlib.filters.reuse.tree.ReuseNode.NodeResult
SystemStateHandler<S> - Interface in de.learnlib.filters.reuse.tree: A implementation of this interface that is set to the ReuseTree (see ReuseOracle.ReuseOracleBuilder.withSystemStateHandler(SystemStateHandler)) will be informed about all removed system states whenever ReuseTree.disposeSystemstates() gets called.
systemStatesIterator() - Method in class de.learnlib.filters.reuse.tree.ReuseNode

T

table - Variable in class de.learnlib.algorithms.lstargeneric.AbstractLStar
target - Variable in class de.learnlib.algorithms.ttt.base.TTTHypothesis.TTTEdge
test(int) - Method in interface de.learnlib.acex.AbstractCounterexample
test(int) - Method in class de.learnlib.acex.impl.BaseAbstractCounterexample: Tests the effect of performing a prefix transformation for the given index.
testAll() - Method in class de.learnlib.testsupport.it.learner.AbstractLearnerIT
TestDriver<AI,AO,CI extends ExecutableInput<CO>,CO> - Class in de.learnlib.drivers.api: A test driver executes
TestDriver(Mapper<AI, AO, CI, CO>) - Constructor for class de.learnlib.drivers.api.TestDriver
toShortPrefixes(List<Row>, MembershipOracle<I, D>) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable: Moves the specified rows to the set of short prefix rows.
toString() - Method in class de.learnlib.acex.analyzers.NamedAcexAnalyzer
toString() - Method in class de.learnlib.acex.impl.BaseAbstractCounterexample
toString() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState
toString(ObservationTable<? extends I, ? extends D>, ObservationTableWriter<I, D>) - Static method in class de.learnlib.algorithms.features.observationtable.OTUtils
toString() - Method in class de.learnlib.algorithms.lstargeneric.closing.CloseRandomStrategy
toString() - Method in class de.learnlib.algorithms.ttt.base.TTTState
toString() - Method in class de.learnlib.api.Query: Returns the string representation of this query.
toString() - Method in class de.learnlib.counterexamples.AcexLocalSuffixFinder
toString() - Method in class de.learnlib.drivers.reflect.AbstractMethodInput
toString() - Method in class de.learnlib.drivers.reflect.ConcreteMethodInput
toString() - Method in class de.learnlib.drivers.reflect.Error
toString() - Method in class de.learnlib.drivers.reflect.ReturnValue
toString() - Method in class de.learnlib.drivers.reflect.Unobserved
toString() - Method in class de.learnlib.examples.dfa.ExampleKeylock
toString() - Method in class de.learnlib.filters.reuse.tree.ReuseEdge
toString() - Method in class de.learnlib.nfa.NFALearnerWrapper
toString() - Method in class de.learnlib.oracles.DefaultQuery
toString() - Method in class de.learnlib.statistics.Counter
toStringWithAnswer(D) - Method in class de.learnlib.oracles.AbstractQuery: Returns the string representation of this query, including a possible answer.
tpQuery(HTransition<I, D, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner
tpQuery(HTransition<I, Boolean, Boolean, Void>) - Method in class de.learnlib.algorithms.discriminationtree.dfa.DTLearnerDFA
tpQuery(HTransition<I, Word<O>, Void, O>) - Method in class de.learnlib.algorithms.discriminationtree.mealy.DTLearnerMealy
transformAccessSequence(Word) - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHC
transformAccessSequence(Word) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis
transformAccessSequence(Word) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
transformAccessSequence(Word) - Method in class de.learnlib.algorithms.ttt.base.BaseTTTLearner
transformAccessSequence(Word) - Method in interface de.learnlib.api.AccessSequenceTransformer
transition - Variable in class de.learnlib.algorithms.ttt.base.TTTHypothesis.TTTEdge
transitionProperty(Row, int) - Method in class de.learnlib.algorithms.lstargeneric.AbstractAutomatonLStar: Derives a transition property from the corresponding transition.
transitionProperty(Row, int) - Method in class de.learnlib.algorithms.lstargeneric.dfa.ExtensibleLStarDFA
transitionProperty(Row, int) - Method in class de.learnlib.algorithms.lstargeneric.mealy.ClassicLStarMealy
transitionProperty(Row, int) - Method in class de.learnlib.algorithms.lstargeneric.mealy.ExtensibleLStarMealy
TTTEdge(TTTTransition<I, D>, TTTState<I, D>) - Constructor for class de.learnlib.algorithms.ttt.base.TTTHypothesis.TTTEdge
TTTEventListener<I,D> - Interface in de.learnlib.algorithms.ttt.base
TTTHypothesis<I,D,T> - Class in de.learnlib.algorithms.ttt.base: Hypothesis DFA for the TTT algorithm.
TTTHypothesis(Alphabet) - Constructor for class de.learnlib.algorithms.ttt.base.TTTHypothesis: Constructor.
TTTHypothesis.GraphView - Class in de.learnlib.algorithms.ttt.base
TTTHypothesis.TTTEdge<I,D> - Class in de.learnlib.algorithms.ttt.base
TTTHypothesisDFA - Class in de.learnlib.algorithms.ttt.dfa
TTTHypothesisDFA(Alphabet) - Constructor for class de.learnlib.algorithms.ttt.dfa.TTTHypothesisDFA
TTTHypothesisMealy<I,O> - Class in de.learnlib.algorithms.ttt.mealy
TTTHypothesisMealy(Alphabet) - Constructor for class de.learnlib.algorithms.ttt.mealy.TTTHypothesisMealy
TTTLearnerDFA - Class in de.learnlib.algorithms.ttt.dfa
TTTLearnerDFA(Alphabet, MembershipOracle<I, Boolean>, LocalSuffixFinder<? super I, ? super Boolean>) - Constructor for class de.learnlib.algorithms.ttt.dfa.TTTLearnerDFA
TTTLearnerMealy<I,O> - Class in de.learnlib.algorithms.ttt.mealy
TTTLearnerMealy(Alphabet, MembershipOracle<I, Word<O>>, LocalSuffixFinder<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithms.ttt.mealy.TTTLearnerMealy
TTTState<I,D> - Class in de.learnlib.algorithms.ttt.base: A state in a TTTHypothesis.
TTTState(int, TTTTransition<I, D>, int) - Constructor for class de.learnlib.algorithms.ttt.base.TTTState
TTTStateDFA - Class in de.learnlib.algorithms.ttt.dfa
TTTStateDFA(int, TTTTransition<I, Boolean>, int) - Constructor for class de.learnlib.algorithms.ttt.dfa.TTTStateDFA
TTTTransition<I,D> - Class in de.learnlib.algorithms.ttt.base: A transition in a TTTHypothesis.
TTTTransition(TTTState<I, D>, I) - Constructor for class de.learnlib.algorithms.ttt.base.TTTTransition
TTTTransitionMealy<I,O> - Class in de.learnlib.algorithms.ttt.mealy
TTTTransitionMealy(TTTState<I, Word<O>>, I) - Constructor for class de.learnlib.algorithms.ttt.mealy.TTTTransitionMealy

U

UNDIRECTED_ANALYZERS - Static variable in class de.learnlib.acex.analyzers.AcexAnalyzers
Unobserved - Class in de.learnlib.drivers.reflect: Unobserved indicates that the corresponding input was not executed on the system.
updateHypothesis() - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner
updateInternalHypothesis() - Method in class de.learnlib.algorithms.lstargeneric.AbstractAutomatonLStar: Performs the L*-style hypothesis construction.
updateInternalHypothesis() - Method in class de.learnlib.algorithms.lstargeneric.mealy.ExtensibleLStarMealy
updateOutputs() - Method in class de.learnlib.algorithms.lstargeneric.mealy.ExtensibleLStarMealy
updateTransition(HTransition<I, D, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner

V

valueOf(String) - Static method in enum de.learnlib.acex.analyzers.AcexAnalyzers.Direction: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.learnlib.examples.mealy.ExampleCoffeeMachine.Input: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.learnlib.examples.mealy.ExampleStack.Input: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.learnlib.examples.mealy.ExampleStack.Output: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.learnlib.filters.reuse.tree.BoundedDeque.AccessPolicy: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.learnlib.filters.reuse.tree.BoundedDeque.EvictPolicy: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.learnlib.logging.Category: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.learnlib.parallelism.ParallelOracle.PoolPolicy: Returns the enum constant of this type with the specified name.
values() - Static method in enum de.learnlib.acex.analyzers.AcexAnalyzers.Direction: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
values() - Static method in class de.learnlib.algorithms.lstargeneric.closing.ClosingStrategies
values() - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders
values() - Static method in class de.learnlib.counterexamples.LocalSuffixFinders
values() - Method in class de.learnlib.discriminationtree.BooleanMap
values() - Static method in enum de.learnlib.examples.mealy.ExampleCoffeeMachine.Input: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.learnlib.examples.mealy.ExampleStack.Input: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.learnlib.examples.mealy.ExampleStack.Output: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.learnlib.filters.reuse.tree.BoundedDeque.AccessPolicy: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.learnlib.filters.reuse.tree.BoundedDeque.EvictPolicy: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.learnlib.logging.Category: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.learnlib.parallelism.ParallelOracle.PoolPolicy: Returns an array containing the constants of this enum type, in the order they are declared.

W

withAccessPolicy(BoundedDeque.AccessPolicy) - Method in class de.learnlib.filters.reuse.ReuseOracle.ReuseOracleBuilder
withAccessPolicy(BoundedDeque.AccessPolicy) - Method in class de.learnlib.filters.reuse.tree.ReuseTree.ReuseTreeBuilder
withBatchSize(int) - Method in class de.learnlib.parallelism.DynamicParallelOracleBuilder
withCustomExecutor(ExecutorService) - Method in class de.learnlib.parallelism.DynamicParallelOracleBuilder
withDefaultBatchSize() - Method in class de.learnlib.parallelism.DynamicParallelOracleBuilder
withDefaultExecutor() - Method in class de.learnlib.parallelism.DynamicParallelOracleBuilder
withDefaultMinBatchSize() - Method in class de.learnlib.parallelism.StaticParallelOracleBuilder
withDefaultNumInstances() - Method in class de.learnlib.parallelism.StaticParallelOracleBuilder
withDefaultPoolPolicy() - Method in class de.learnlib.parallelism.DynamicParallelOracleBuilder
withDefaultPoolPolicy() - Method in class de.learnlib.parallelism.StaticParallelOracleBuilder
withDefaultPoolSize() - Method in class de.learnlib.parallelism.DynamicParallelOracleBuilder
withEnabledSystemstateInvalidation(boolean) - Method in class de.learnlib.filters.reuse.ReuseOracle.ReuseOracleBuilder
withEnabledSystemstateInvalidation(boolean) - Method in class de.learnlib.filters.reuse.tree.ReuseTree.ReuseTreeBuilder
withEvictPolicy(BoundedDeque.EvictPolicy) - Method in class de.learnlib.filters.reuse.ReuseOracle.ReuseOracleBuilder
withEvictPolicy(BoundedDeque.EvictPolicy) - Method in class de.learnlib.filters.reuse.tree.ReuseTree.ReuseTreeBuilder
withFailureOutputs(Set<O>) - Method in class de.learnlib.filters.reuse.ReuseOracle.ReuseOracleBuilder
withFailureOutputs(Set<O>) - Method in class de.learnlib.filters.reuse.tree.ReuseTree.ReuseTreeBuilder
withInvariantInputs(Set) - Method in class de.learnlib.filters.reuse.ReuseOracle.ReuseOracleBuilder
withInvariantInputs(Set) - Method in class de.learnlib.filters.reuse.tree.ReuseTree.ReuseTreeBuilder
withMaxSystemStates(int) - Method in class de.learnlib.filters.reuse.ReuseOracle.ReuseOracleBuilder
withMaxSystemStates(int) - Method in class de.learnlib.filters.reuse.tree.ReuseTree.ReuseTreeBuilder
withMinBatchSize(int) - Method in class de.learnlib.parallelism.StaticParallelOracleBuilder
withNumInstances(int) - Method in class de.learnlib.parallelism.StaticParallelOracleBuilder
withPoolPolicy(ParallelOracle.PoolPolicy) - Method in class de.learnlib.parallelism.DynamicParallelOracleBuilder
withPoolPolicy(ParallelOracle.PoolPolicy) - Method in class de.learnlib.parallelism.StaticParallelOracleBuilder
withPoolSize(int) - Method in class de.learnlib.parallelism.DynamicParallelOracleBuilder
withSystemStateHandler(SystemStateHandler<S>) - Method in class de.learnlib.filters.reuse.ReuseOracle.ReuseOracleBuilder
withSystemStateHandler(SystemStateHandler<S>) - Method in class de.learnlib.filters.reuse.tree.ReuseTree.ReuseTreeBuilder
wMethod(int, MembershipOracle<I, D>) - Static method in class de.learnlib.eqtests.basic.EquivalenceQueries
WMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> - Class in de.learnlib.eqtests.basic: Implements an equivalence test by applying the W-method test on the given hypothesis automaton, as described in "Testing software design modeled by finite state machines" by T.S.
WMethodEQOracle(int, MembershipOracle<I, D>) - Constructor for class de.learnlib.eqtests.basic.WMethodEQOracle: Constructor.
WMethodEQOracle.DFAWMethodEQOracle - Class in de.learnlib.eqtests.basic
WMethodEQOracle.MealyWMethodEQOracle<I,O> - Class in de.learnlib.eqtests.basic
wordToString(Word<? extends I>) - Method in class de.learnlib.algorithms.features.observationtable.writer.AbstractObservationTableWriter
wpMethod(int, MembershipOracle<I, D>) - Static method in class de.learnlib.eqtests.basic.EquivalenceQueries
WpMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> - Class in de.learnlib.eqtests.basic: Implements an equivalence test by applying the Wp-method test on the given hypothesis automaton, as described in "Test Selection Based on Finite State Models" by S.
WpMethodEQOracle(int, MembershipOracle<I, D>) - Constructor for class de.learnlib.eqtests.basic.WpMethodEQOracle: Constructor.
WpMethodEQOracle.DFAWpMethodEQOracle - Class in de.learnlib.eqtests.basic
WpMethodEQOracle.MealyWpMethodEQOracle<I,O> - Class in de.learnlib.eqtests.basic
wrapSymbolLearner(LearningAlgorithm<M, I, O>) - Static method in class de.learnlib.mealy.MealyUtil
wrapWordOracle(MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.mealy.MealyUtil
write(ObservationTable<? extends I, ? extends D>, PrintStream) - Method in class de.learnlib.algorithms.features.observationtable.writer.AbstractObservationTableWriter
write(ObservationTable<? extends I, ? extends D>, StringBuilder) - Method in class de.learnlib.algorithms.features.observationtable.writer.AbstractObservationTableWriter
write(ObservationTable<? extends I, ? extends D>, File) - Method in class de.learnlib.algorithms.features.observationtable.writer.AbstractObservationTableWriter
write(ObservationTable<? extends I, ? extends D>, Appendable) - Method in class de.learnlib.algorithms.features.observationtable.writer.ObservationTableASCIIWriter
write(ObservationTable<? extends I, ? extends D>, Appendable) - Method in class de.learnlib.algorithms.features.observationtable.writer.ObservationTableHTMLWriter
write(ObservationTable<? extends I, ? extends D>, Appendable) - Method in interface de.learnlib.algorithms.features.observationtable.writer.ObservationTableWriter
write(ObservationTable<? extends I, ? extends D>, PrintStream) - Method in interface de.learnlib.algorithms.features.observationtable.writer.ObservationTableWriter
write(ObservationTable<? extends I, ? extends D>, StringBuilder) - Method in interface de.learnlib.algorithms.features.observationtable.writer.ObservationTableWriter
write(ObservationTable<? extends I, ? extends D>, File) - Method in interface de.learnlib.algorithms.features.observationtable.writer.ObservationTableWriter
write(ObservationTable<? extends I, ? extends D>, Appendable) - Method in class de.learnlib.algorithms.features.observationtable.writer.SuffixASCIIWriter
writeHTMLToFile(ObservationTable<I, D>, File, Function<? super Word<? extends I>, ? extends String>, Function<? super D, ? extends String>) - Static method in class de.learnlib.algorithms.features.observationtable.OTUtils
writeHTMLToFile(ObservationTable<I, D>, File) - Static method in class de.learnlib.algorithms.features.observationtable.OTUtils

_

_this - Variable in class de.learnlib.drivers.reflect.SimplePOJODataMapper

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