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

A

AbstractQuery<I,D> - Class in de.learnlib.api.query

AbstractQuery(Word<I>) - Constructor for class de.learnlib.api.query.AbstractQuery

AbstractQuery(Word<I>, Word<I>) - Constructor for class de.learnlib.api.query.AbstractQuery

AbstractQuery(Query<I, ?>) - Constructor for class de.learnlib.api.query.AbstractQuery

accepts(A, Iterable<? extends I>, int) - Method in interface de.learnlib.api.oracle.AutomatonOracle

Returns whether the given input is accepted by the given hypothesis.

accepts(DFA<?, I>, Iterable<? extends I>, int) - Method in interface de.learnlib.api.oracle.AutomatonOracle.DFAOracle

accepts(MealyMachine<?, I, ?, O>, Iterable<? extends I>, int) - Method in interface de.learnlib.api.oracle.AutomatonOracle.MealyOracle

AccessSequenceProvider<I> - Interface in de.learnlib.api

Common interface for objects that have an access sequence associated with them (e.g., states and transitions of a hypotheses).

AccessSequenceTransformer<I> - Interface in de.learnlib.api

addGlobalSuffixes(Collection<? extends Word<I>>) - Method in interface de.learnlib.api.algorithm.feature.GlobalSuffixFeature

Add the provided suffixes to the collection of global suffixes.

addNegativeSample(Word<I>) - Method in interface de.learnlib.api.algorithm.PassiveLearningAlgorithm.PassiveAcceptorLearner

addNegativeSamples(Collection<? extends Word<I>>) - Method in interface de.learnlib.api.algorithm.PassiveLearningAlgorithm.PassiveAcceptorLearner

addNegativeSamples(Word<I>...) - Method in interface de.learnlib.api.algorithm.PassiveLearningAlgorithm.PassiveAcceptorLearner

addPositiveSample(Word<I>) - Method in interface de.learnlib.api.algorithm.PassiveLearningAlgorithm.PassiveAcceptorLearner

addPositiveSamples(Collection<? extends Word<I>>) - Method in interface de.learnlib.api.algorithm.PassiveLearningAlgorithm.PassiveAcceptorLearner

addPositiveSamples(Word<I>...) - Method in interface de.learnlib.api.algorithm.PassiveLearningAlgorithm.PassiveAcceptorLearner

addSample(Word<I>, D) - Method in interface de.learnlib.api.algorithm.PassiveLearningAlgorithm

addSample(DefaultQuery<I, D>) - Method in interface de.learnlib.api.algorithm.PassiveLearningAlgorithm

addSamples(Collection<? extends DefaultQuery<I, D>>) - Method in interface de.learnlib.api.algorithm.PassiveLearningAlgorithm

addSamples(DefaultQuery<I, D>...) - Method in interface de.learnlib.api.algorithm.PassiveLearningAlgorithm

addSamples(D, Word<I>...) - Method in interface de.learnlib.api.algorithm.PassiveLearningAlgorithm

addSamples(D, Collection<? extends Word<I>>) - Method in interface de.learnlib.api.algorithm.PassiveLearningAlgorithm

addWord(Word<I>) - Method in interface de.learnlib.api.oracle.AutomatonOracle

Add a new input word.

addWords(A, Collection<? extends I>, Word<I>) - Method in interface de.learnlib.api.oracle.AutomatonOracle

Adds words to a datastructure.

answer(D) - Method in class de.learnlib.api.query.DefaultQuery

answer(D, int) - Method in class de.learnlib.api.query.OmegaQuery

answer(D) - Method in class de.learnlib.api.query.Query

Answers the query.

answerQuery(Word<I>) - Method in interface de.learnlib.api.oracle.MembershipOracle

answerQuery(Word<I>, Word<I>) - Method in interface de.learnlib.api.oracle.MembershipOracle

answerQuery(Word<I>, Word<I>, int) - Method in interface de.learnlib.api.oracle.OmegaMembershipOracle

answerQuery(Word<I>, Word<I>, int) - Method in interface de.learnlib.api.oracle.OmegaQueryAnswerer

answerQuery(Word<I>) - Method in interface de.learnlib.api.oracle.QueryAnswerer

answerQuery(Word<I>, Word<I>) - Method in interface de.learnlib.api.oracle.QueryAnswerer

answerQuery(Word<I>, Word<I>) - Method in interface de.learnlib.api.oracle.SingleQueryOracle

asDefaultQuery() - Method in class de.learnlib.api.query.OmegaQuery

asOracle() - Method in interface de.learnlib.api.oracle.MembershipOracle

asOracle() - Method in interface de.learnlib.api.oracle.OmegaMembershipOracle

asOracle() - Method in interface de.learnlib.api.oracle.OmegaQueryAnswerer

asOracle() - Method in interface de.learnlib.api.oracle.QueryAnswerer

AutomatonOracle<A extends DeterministicAutomaton<?,I,?>,I,D> - Interface in de.learnlib.api.oracle

Finds counterexamples (to particular claims) to an hypothesis, while generating words that are in the given hypothesis.

AutomatonOracle.DFAOracle<I> - Interface in de.learnlib.api.oracle

AutomatonOracle.MealyOracle<I,O> - Interface in de.learnlib.api.oracle

B

BatchInterruptedException - Exception in de.learnlib.api.oracle.parallelism

Exception that is thrown if a parallel batch is interrupted during processing.

BatchInterruptedException(Throwable) - Constructor for exception de.learnlib.api.oracle.parallelism.BatchInterruptedException

BatchProcessor<T> - Interface in de.learnlib.api.oracle.parallelism

A markup interface for classes that can process a batch of work in a parallel environment (e.g. a MembershipOracle when used by a ParallelOracle).

BlackBoxOracle<A extends Output<I,D>,I,D> - Interface in de.learnlib.api.oracle

Decides whether some words that do not satisfy properties evaluated by BlackBoxOracle.getPropertyOracles() on a given hypothesis, are included in a language.

BlackBoxOracle.DFABlackBoxOracle<I> - Interface in de.learnlib.api.oracle

BlackBoxOracle.MealyBlackBoxOracle<I,O> - Interface in de.learnlib.api.oracle

C

canFork() - Method in interface de.learnlib.api.SUL

Returns whether this SUL is capable of forking.

Category - Enum in de.learnlib.api.logging

Categories for markers.

computeModel() - Method in interface de.learnlib.api.algorithm.PassiveLearningAlgorithm

currentlyEnabledInputs() - Method in interface de.learnlib.api.StateLocalInputSUL

Returns the enabled symbols for the current state of the SUL.

D

de.learnlib.api - package de.learnlib.api

de.learnlib.api.algorithm - package de.learnlib.api.algorithm

de.learnlib.api.algorithm.feature - package de.learnlib.api.algorithm.feature

de.learnlib.api.exception - package de.learnlib.api.exception

de.learnlib.api.logging - package de.learnlib.api.logging

de.learnlib.api.oracle - package de.learnlib.api.oracle

de.learnlib.api.oracle.parallelism - package de.learnlib.api.oracle.parallelism

de.learnlib.api.query - package de.learnlib.api.query

de.learnlib.api.setting - package de.learnlib.api.setting

de.learnlib.api.statistic - package de.learnlib.api.statistic

deepCopies() - Method in interface de.learnlib.api.ObservableSUL

Returns whether each state retrieved with ObservableSUL.getState() is a deep copy.

DefaultQuery<I,D> - Class in de.learnlib.api.query

A query is a container for tests a learning algorithms performs, containing the actual test and the corresponding result.

DefaultQuery(Word<I>, Word<I>, D) - Constructor for class de.learnlib.api.query.DefaultQuery

DefaultQuery(Word<I>, Word<I>) - Constructor for class de.learnlib.api.query.DefaultQuery

DefaultQuery(Word<I>) - Constructor for class de.learnlib.api.query.DefaultQuery

DefaultQuery(Word<I>, D) - Constructor for class de.learnlib.api.query.DefaultQuery

DefaultQuery(Query<I, ?>) - Constructor for class de.learnlib.api.query.DefaultQuery

DFALoggingPropertyOracle(PropertyOracle.DFAPropertyOracle<I, P>) - Constructor for class de.learnlib.api.logging.LoggingPropertyOracle.DFALoggingPropertyOracle

disprove(A, Collection<? extends I>) - Method in class de.learnlib.api.logging.LoggingPropertyOracle

Try to disprove this propertyOracle, and log whenever it is disproved.

disprove(A, Collection<? extends I>) - Method in interface de.learnlib.api.oracle.PropertyOracle

Try to disprove the property with the given hypothesis.

doFindCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.api.logging.LoggingPropertyOracle

Try to find a counterexample to the given hypothesis, and log whenever such a spurious counterexample is found.

doFindCounterExample(A, Collection<? extends I>) - Method in interface de.learnlib.api.oracle.PropertyOracle

Unconditionally find a counterexample, i.e. regardless of whether the property can be disproved.

E

EmptinessOracle<A extends Output<I,D>,I,D> - Interface in de.learnlib.api.oracle

Decides whether the intersection of the language of a given hypothesis and some other language (e.g. from a SUL is empty.

EmptinessOracle.DFAEmptinessOracle<I> - Interface in de.learnlib.api.oracle

EmptinessOracle.MealyEmptinessOracle<I,O> - Interface in de.learnlib.api.oracle

equals(Object) - Method in class de.learnlib.api.query.OmegaQuery

equals(Object) - Method in class de.learnlib.api.query.Query

EquivalenceOracle<A,I,D> - Interface in de.learnlib.api.oracle

An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).

EquivalenceOracle.DFAEquivalenceOracle<I> - Interface in de.learnlib.api.oracle

A specialization of the EquivalenceOracle interface for a DFA learning scenario.

EquivalenceOracle.MealyEquivalenceOracle<I,O> - Interface in de.learnlib.api.oracle

A specialization of the EquivalenceOracle interface for a Mealy learning scenario.

F

Filter<I,D> - Interface in de.learnlib.api.oracle

A filter is an oracle that can be used as the middle element in a chain of oracles.

findCounterExample(A, Collection<? extends I>, int) - Method in interface de.learnlib.api.oracle.AutomatonOracle

Find a counterexample for a given hypothesis.

findCounterExample(A, Collection<? extends I>) - Method in interface de.learnlib.api.oracle.AutomatonOracle

Finds a counter example to the given hypothesis.

findCounterExample(A, Collection<? extends I>) - Method in interface de.learnlib.api.oracle.EmptinessOracle

findCounterExample(A, Collection<? extends I>) - Method in interface de.learnlib.api.oracle.EquivalenceOracle

Searches for a counterexample disproving the subjected hypothesis.

findCounterExample(L, Collection<? extends I>) - Method in interface de.learnlib.api.oracle.LassoOracle

findCounterExample(A, Collection<? extends I>) - Method in interface de.learnlib.api.oracle.PropertyOracle

Try to find a counterexample to the given hypothesis if the property can not be disproved.

fork() - Method in interface de.learnlib.api.ObservableSUL

fork() - Method in interface de.learnlib.api.StateLocalInputSUL

fork() - Method in interface de.learnlib.api.SUL

Forks this SUL, if possible.

G

getAccessSequence() - Method in interface de.learnlib.api.AccessSequenceProvider

Retrieves the access sequence of this object.

getCounterExample() - Method in class de.learnlib.api.logging.LoggingPropertyOracle

getCounterExample() - Method in interface de.learnlib.api.oracle.PropertyOracle

Returns the counterexample for the property if PropertyOracle.isDisproved(), null otherwise.

getDetails() - Method in interface de.learnlib.api.statistic.StatisticData

getGlobalSuffixes() - Method in interface de.learnlib.api.algorithm.feature.GlobalSuffixFeature

Retrieves the global suffixes of this learner.

getHypothesisModel() - Method in interface de.learnlib.api.algorithm.LearningAlgorithm

Returns the current hypothesis model.

getInput() - Method in class de.learnlib.api.query.Query

Retrieves the input word of this query.

getLogger(Class<?>) - Static method in interface de.learnlib.api.logging.LearnLogger

Convenience method for easing the common practice of using a class name as the name for the logger.

getLogger(String) - Static method in interface de.learnlib.api.logging.LearnLogger

get an instance of a logger for name. assumes that there is no ordinary logger of the same name.

getLoop() - Method in class de.learnlib.api.query.OmegaQuery

getMembershipOracle() - Method in interface de.learnlib.api.oracle.OmegaMembershipOracle.DFAOmegaMembershipOracle

getMembershipOracle() - Method in interface de.learnlib.api.oracle.OmegaMembershipOracle

Returns a regular membership oracle.

getMembershipOracle() - Method in interface de.learnlib.api.oracle.OmegaMembershipOracle.MealyOmegaMembershipOracle

getMultiplier() - Method in interface de.learnlib.api.oracle.AutomatonOracle

Returns the multiplier used to compute the number of queries this automaton oracle should perform to decide whether a given hypothesis is a counter example.

getName() - Method in interface de.learnlib.api.statistic.StatisticData

getOutput() - Method in class de.learnlib.api.query.DefaultQuery

getOutput() - Method in class de.learnlib.api.query.OmegaQuery

getPeriodicity() - Method in class de.learnlib.api.query.OmegaQuery

getPrefix() - Method in class de.learnlib.api.query.AbstractQuery

getPrefix() - Method in class de.learnlib.api.query.OmegaQuery

getPrefix() - Method in class de.learnlib.api.query.Query

Returns the prefix part of this query.

getProperty() - Method in class de.learnlib.api.logging.LoggingPropertyOracle

getProperty() - Method in interface de.learnlib.api.oracle.PropertyOracle

Returns the property.

getPropertyOracles() - Method in interface de.learnlib.api.oracle.BlackBoxOracle

Returns the property oracles that this black-box oracle uses to evaluate properties.

getRepeat() - Method in class de.learnlib.api.query.OmegaQuery

getState() - Method in interface de.learnlib.api.ObservableSUL

Returns the current state of the system.

getStatisticalData() - Method in interface de.learnlib.api.statistic.StatisticCollector

Returns this statistical data gathered by this collector.

getSuffix() - Method in class de.learnlib.api.query.AbstractQuery

getSuffix() - Method in class de.learnlib.api.query.Query

Returns the suffix part of this query.

getSummary() - Method in interface de.learnlib.api.statistic.StatisticData

getUnit() - Method in interface de.learnlib.api.statistic.StatisticData

GlobalSuffixFeature<I> - Interface in de.learnlib.api.algorithm.feature

GlobalSuffixLearner<M,I,D> - Interface in de.learnlib.api.algorithm.feature

Common interface for learning algorithms that use a global suffix set.

GlobalSuffixLearner.GlobalSuffixLearnerDFA<I> - Interface in de.learnlib.api.algorithm.feature

GlobalSuffixLearner.GlobalSuffixLearnerMealy<I,O> - Interface in de.learnlib.api.algorithm.feature

H

hashCode() - Method in class de.learnlib.api.query.OmegaQuery

hashCode() - Method in class de.learnlib.api.query.Query

I

InclusionOracle<A extends Output<I,D>,I,D> - Interface in de.learnlib.api.oracle

Decides whether the language of a given hypothesis is included in some other language (e.g. from a SUL.

InclusionOracle.DFAInclusionOracle<I> - Interface in de.learnlib.api.oracle

InclusionOracle.MealyInclusionOracle<I,O> - Interface in de.learnlib.api.oracle

isAccessSequence(Word<I>) - Method in interface de.learnlib.api.AccessSequenceTransformer

isCounterExample(A, Iterable<? extends I>, D) - Method in interface de.learnlib.api.oracle.AutomatonOracle

Returns whether the given input and output is a counter example for the given hypothesis.

isCounterExample(Output<I, D>, Iterable<? extends I>, D) - Method in interface de.learnlib.api.oracle.EmptinessOracle

isCounterExample(Output<I, D>, Iterable<? extends I>, D) - Method in interface de.learnlib.api.oracle.InclusionOracle

isCounterExample(Output<I, D>, Iterable<? extends I>, D) - Method in interface de.learnlib.api.oracle.LassoOracle

Returns whether the given input and output is a counter example for the given hypothesis.

isDisproved() - Method in class de.learnlib.api.logging.LoggingPropertyOracle

isDisproved() - Method in interface de.learnlib.api.oracle.PropertyOracle

Returns whether the property is disproved.

isNormalized() - Method in class de.learnlib.api.query.DefaultQuery

Checks if the query is normalized, i.e., if all the information is stored in the suffix part of the counterexample.

isSameState(Word<I>, S, Word<I>, S) - Method in interface de.learnlib.api.oracle.OmegaMembershipOracle

Returns whether two states are equal, or if both access sequences w1, and w2 end up in the same state.

isUltimatelyPeriodic() - Method in class de.learnlib.api.query.OmegaQuery

L

LassoEmptinessOracle<L extends Lasso<I,D>,I,D> - Interface in de.learnlib.api.oracle

An emptiness oracle for lassos.

LassoEmptinessOracle.DFALassoEmptinessOracle<I> - Interface in de.learnlib.api.oracle

LassoEmptinessOracle.MealyLassoEmptinessOracle<I,O> - Interface in de.learnlib.api.oracle

LassoOracle<L extends Lasso<I,D>,I,D> - Interface in de.learnlib.api.oracle

An automaton oracle for lassos.

LassoOracle.DFALassoOracle<I> - Interface in de.learnlib.api.oracle

LassoOracle.MealyLassoOracle<I,O> - Interface in de.learnlib.api.oracle

LearningAlgorithm<M,I,D> - Interface in de.learnlib.api.algorithm

Basic interface for a model inference algorithm.

LearningAlgorithm.DFALearner<I> - Interface in de.learnlib.api.algorithm

LearningAlgorithm.MealyLearner<I,O> - Interface in de.learnlib.api.algorithm

LearnLibSettingsSource - Interface in de.learnlib.api.setting

LearnLogger - Interface in de.learnlib.api.logging

LearnLib specific logger.

logConfig(String) - Method in interface de.learnlib.api.logging.LearnLogger

logs setup details.

logCounterexample(String) - Method in interface de.learnlib.api.logging.LearnLogger

log counterexample.

logDataStructure(Object) - Method in interface de.learnlib.api.logging.LearnLogger

log a data structure.

logEvent(String) - Method in interface de.learnlib.api.logging.LearnLogger

logs an event.

LoggingPropertyOracle<I,A extends Output<I,D>,P,D> - Class in de.learnlib.api.logging

A PropertyOracle that performs logging.

LoggingPropertyOracle(PropertyOracle<I, A, P, D>) - Constructor for class de.learnlib.api.logging.LoggingPropertyOracle

Constructs a new LoggingPropertyOracle.

LoggingPropertyOracle.DFALoggingPropertyOracle<I,P> - Class in de.learnlib.api.logging

LoggingPropertyOracle.MealyLoggingPropertyOracle<I,O,P> - Class in de.learnlib.api.logging

logModel(Object) - Method in interface de.learnlib.api.logging.LearnLogger

log a model.

logPhase(String) - Method in interface de.learnlib.api.logging.LearnLogger

logs a learning phase at level INFO.

logProfilingInfo(StatisticData) - Method in interface de.learnlib.api.logging.LearnLogger

log a piece of profiling info.

logQuery(String) - Method in interface de.learnlib.api.logging.LearnLogger

logs a learning query at level INFO.

logStatistic(StatisticData) - Method in interface de.learnlib.api.logging.LearnLogger

log statistic info.

logSystem(String) - Method in interface de.learnlib.api.logging.LearnLogger

logs a system message at level INFO.

longestASPrefix(Word<I>) - Method in interface de.learnlib.api.AccessSequenceTransformer

M

mapInput(AI) - Method in interface de.learnlib.api.Mapper

Method that maps an abstract input to a corresponding concrete input.

mapOutput(CO) - Method in interface de.learnlib.api.Mapper

Method that maps a concrete output to a corresponding abstract output.

Mapper<AI,AO,CI,CO> - Interface in de.learnlib.api

A mapper that lifts a SUL or MembershipOracle from an "abstract" to a "concrete" level.

Mapper.AsynchronousMapper<AI,AO,CI,CO> - Interface in de.learnlib.api

A mapper refinement to establish the contract of a asynchronous, query-wise translation of input words.

Mapper.SynchronousMapper<AI,AO,CI,CO> - Interface in de.learnlib.api

A mapper refinement to establish the contract of a synchronized, symbol-wise translation of input words for reactive systems.

MealyLoggingPropertyOracle(PropertyOracle.MealyPropertyOracle<I, O, P>) - Constructor for class de.learnlib.api.logging.LoggingPropertyOracle.MealyLoggingPropertyOracle

MembershipOracle<I,D> - Interface in de.learnlib.api.oracle

Membership oracle interface.

MembershipOracle.DFAMembershipOracle<I> - Interface in de.learnlib.api.oracle

MembershipOracle.MealyMembershipOracle<I,O> - Interface in de.learnlib.api.oracle

A specialization of the MembershipOracle that binds the output domain to Words of the specified output type.

N

nextInput() - Method in interface de.learnlib.api.oracle.AutomatonOracle

Returns the next input word, or null if there is no next input.

NFALearner<I> - Interface in de.learnlib.api.algorithm

O

ObservableSUL<S,I,O> - Interface in de.learnlib.api

A System Under Learning (SUL) where at any point in time the internal state can be observed.

OmegaMembershipOracle<S,I,D> - Interface in de.learnlib.api.oracle

Answers OmegaQuerys, similar to a MembershipOracle.

OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I> - Interface in de.learnlib.api.oracle

OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O> - Interface in de.learnlib.api.oracle

OmegaQuery<I,D> - Class in de.learnlib.api.query

A query that represents information about infinite words in an ultimately periodic pattern.

OmegaQuery(Word<I>, Word<I>, int) - Constructor for class de.learnlib.api.query.OmegaQuery

OmegaQueryAnswerer<S,I,D> - Interface in de.learnlib.api.oracle

Answers OmegaQuerys.

P

ParallelOmegaOracle<S,I,D> - Interface in de.learnlib.api.oracle.parallelism

ParallelOracle equivalent for OmegaMembershipOracle.

ParallelOracle<I,D> - Interface in de.learnlib.api.oracle.parallelism

Basic interface for MembershipOracles that can process queries in parallel.

PassiveLearningAlgorithm<M,I,D> - Interface in de.learnlib.api.algorithm

PassiveLearningAlgorithm.PassiveAcceptorLearner<M extends FiniteStateAcceptor<?,I>,I> - Interface in de.learnlib.api.algorithm

Basic interface for passive learning algorithms that infer finite-state acceptors (DFAs or NFAs).

PassiveLearningAlgorithm.PassiveDFALearner<I> - Interface in de.learnlib.api.algorithm

Basic interface for passive learning algorithms that infer DFAs.

PassiveLearningAlgorithm.PassiveMealyLearner<I,O> - Interface in de.learnlib.api.algorithm

Basic interface for passive learning algorithms that infer Mealy machines.

PassiveLearningAlgorithm.PassiveNFALearner<I> - Interface in de.learnlib.api.algorithm

Basic interface for passive learning algorithms that infer NFAs.

post() - Method in interface de.learnlib.api.Mapper

Method that is invoked after all translation steps on a word are performed.

post() - Method in interface de.learnlib.api.SUL

shut down SUL.

pre() - Method in interface de.learnlib.api.Mapper

Method that is invoked before any translation steps on a word are performed.

pre() - Method in interface de.learnlib.api.oracle.AutomatonOracle

Setup method which is called immediately before AutomatonOracle.findCounterExample(DeterministicAutomaton, Collection, int) is called.

pre() - Method in interface de.learnlib.api.SUL

setup SUL.

prefix - Variable in class de.learnlib.api.query.AbstractQuery

processBatch(Collection<? extends Query<I, D>>) - Method in interface de.learnlib.api.oracle.MembershipOracle

processBatch(Collection<? extends OmegaQuery<I, D>>) - Method in interface de.learnlib.api.oracle.OmegaMembershipOracle

processBatch(Collection<? extends T>) - Method in interface de.learnlib.api.oracle.parallelism.BatchProcessor

Process the batch.

processInput(A, Word<I>) - Method in interface de.learnlib.api.oracle.AutomatonOracle

Processes the given input.

processInput(Word<I>, Word<I>, int) - Method in interface de.learnlib.api.oracle.LassoOracle

Processes the given omega query.

processQueries(Collection<? extends Query<I, D>>) - Method in interface de.learnlib.api.oracle.MembershipOracle

Processes the specified collection of queries.

processQueries(Collection<? extends OmegaQuery<I, D>>) - Method in interface de.learnlib.api.oracle.OmegaMembershipOracle

processQueries(Collection<? extends OmegaQuery<I, D>>) - Method in interface de.learnlib.api.oracle.SingleQueryOmegaOracle

processQueries(Collection<? extends Query<I, D>>) - Method in interface de.learnlib.api.oracle.SingleQueryOracle

processQueries(Collection<? extends Query<I, Word<O>>>) - Method in interface de.learnlib.api.oracle.SymbolQueryOracle

processQuery(Query<I, D>) - Method in interface de.learnlib.api.oracle.MembershipOracle

Processes a single query.

processQuery(OmegaQuery<I, D>) - Method in interface de.learnlib.api.oracle.OmegaMembershipOracle

processQuery(OmegaQuery<I, D>) - Method in interface de.learnlib.api.oracle.SingleQueryOmegaOracle

processQuery(Query<I, D>) - Method in interface de.learnlib.api.oracle.SingleQueryOracle

PropertyOracle<I,A extends Output<I,D>,P,D> - Interface in de.learnlib.api.oracle

A PropertyOracle can disprove a property, and used to find a counter example to an hypothesis.

PropertyOracle.DFAPropertyOracle<I,P> - Interface in de.learnlib.api.oracle

PropertyOracle.MealyPropertyOracle<I,O,P> - Interface in de.learnlib.api.oracle

Q

query(I) - Method in interface de.learnlib.api.oracle.SymbolQueryOracle

Query the system under learning for a new symbol.

Query<I,D> - Class in de.learnlib.api.query

A query is the basic form of interaction between a learner and a (membership) oracle, or teacher.

Query() - Constructor for class de.learnlib.api.query.Query

QueryAnswerer<I,D> - Interface in de.learnlib.api.oracle

R

refineHypothesis(DefaultQuery<I, D>) - Method in interface de.learnlib.api.algorithm.LearningAlgorithm

Triggers a refinement of the model by providing a counterexample.

reset() - Method in interface de.learnlib.api.oracle.SymbolQueryOracle

Reset the system under learning.

Resumable<T extends Serializable> - Interface in de.learnlib.api

Data structures that implement this interface can be "suspended" by means of exposing a serializable state object that contains all data that is necessary to resume from this state at a later point in time.

resume(T) - Method in interface de.learnlib.api.Resumable

Resume the datastructure from a previously serialized point in time.

S

setMultiplier(double) - Method in interface de.learnlib.api.oracle.AutomatonOracle

setNext(MembershipOracle<I, D>) - Method in interface de.learnlib.api.oracle.Filter

sets oracle for processing membership queries.

setProperty(P) - Method in class de.learnlib.api.logging.LoggingPropertyOracle

setProperty(P) - Method in interface de.learnlib.api.oracle.PropertyOracle

Set the property.

shutdown() - Method in interface de.learnlib.api.oracle.parallelism.ThreadPool

Shuts down all worker threads, but waits for any queued queries to be processed.

shutdownNow() - Method in interface de.learnlib.api.oracle.parallelism.ThreadPool

Shuts down all worker threads, and attempts to abort any query processing currently taking place.

SingleQueryOmegaOracle<S,I,D> - Interface in de.learnlib.api.oracle

An OmegaMembershipOracle that answers single queries.

SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I> - Interface in de.learnlib.api.oracle

SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S,I,O> - Interface in de.learnlib.api.oracle

SingleQueryOracle<I,D> - Interface in de.learnlib.api.oracle

Base interface for oracles whose semantic is defined in terms of directly answering single queries (like a QueryAnswerer, and that cannot profit from batch processing of queries.

SingleQueryOracle.SingleQueryOracleDFA<I> - Interface in de.learnlib.api.oracle

SingleQueryOracle.SingleQueryOracleMealy<I,O> - Interface in de.learnlib.api.oracle

Slf4jDelegator - Class in de.learnlib.api.logging

A simple LearnLogger implementation, that delegates all calls to a given Logger instance.

Slf4jDelegator(Logger) - Constructor for class de.learnlib.api.logging.Slf4jDelegator

startLearning() - Method in interface de.learnlib.api.algorithm.LearningAlgorithm

Starts the model inference process, creating an initial hypothesis in the provided model object.

StateLocalInputSUL<I,O> - Interface in de.learnlib.api

A System Under Learning (SUL) which can additionally report the inputs that the SUL can process in its current state, i.e. inputs that will not trigger a SULException when used in the next invocation of the SUL.step(Object) method return an otherwise "undefined" behavior.

StatisticCollector - Interface in de.learnlib.api.statistic

A utility interface to indicate that the implementing class collects statistical information that may be obtained via its StatisticCollector.getStatisticalData() method.

StatisticData - Interface in de.learnlib.api.statistic

Common interface for statistical data.

StatisticLearner<M,I,D> - Interface in de.learnlib.api.statistic

Common interface for learners keeping statistics.

StatisticLearner.DFAStatisticLearner<I> - Interface in de.learnlib.api.statistic

StatisticLearner.MealyStatisticLearner<I,O> - Interface in de.learnlib.api.statistic

StatisticOracle<I,D> - Interface in de.learnlib.api.statistic

Common interface for oracles keeping statistics.

StatisticSUL<I,O> - Interface in de.learnlib.api.statistic

step(I) - Method in interface de.learnlib.api.SUL

make one step on the SUL.

suffix - Variable in class de.learnlib.api.query.AbstractQuery

SUL<I,O> - Interface in de.learnlib.api

Interface for a system under learning (SUL) that can make single steps.

SULException - Exception in de.learnlib.api.exception

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.exception.SULException

Creates a SULException wrapped around a Throwable.

suspend() - Method in interface de.learnlib.api.Resumable

Expose the serializable state object.

SymbolQueryOracle<I,O> - Interface in de.learnlib.api.oracle

Symbol query interface.

T

ThreadPool - Interface in de.learnlib.api.oracle.parallelism

A markup interface for a component that manages a pool of threads that may want to be shut down after usage.

ThreadPool.PoolPolicy - Enum in de.learnlib.api.oracle.parallelism

The policy for dealing with thread pools.

toMarkerLabel() - Method in enum de.learnlib.api.logging.Category

toString() - Method in class de.learnlib.api.logging.LoggingPropertyOracle

toString() - Method in class de.learnlib.api.query.DefaultQuery

toString() - Method in class de.learnlib.api.query.OmegaQuery

toString() - Method in class de.learnlib.api.query.Query

Returns the string representation of this query.

toStringWithAnswer(D) - Method in class de.learnlib.api.query.AbstractQuery

Returns the string representation of this query, including a possible answer.

transformAccessSequence(Word<I>) - Method in interface de.learnlib.api.AccessSequenceTransformer

V

valueOf(String) - Static method in enum de.learnlib.api.logging.Category

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum de.learnlib.api.oracle.parallelism.ThreadPool.PoolPolicy

Returns the enum constant of this type with the specified name.

values() - Static method in enum de.learnlib.api.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.api.oracle.parallelism.ThreadPool.PoolPolicy

Returns an array containing the constants of this enum type, in the order they are declared.

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