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

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

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

addAlphabetSymbol(I) - Method in interface de.learnlib.api.algorithm.feature.SupportsGrowingAlphabet

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

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

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>) - 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

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

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

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

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.query - package de.learnlib.api.query

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

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

debug(String) - Method in class de.learnlib.api.logging.Slf4jDelegator

debug(String, Object) - Method in class de.learnlib.api.logging.Slf4jDelegator

debug(String, Object, Object) - Method in class de.learnlib.api.logging.Slf4jDelegator

debug(String, Object...) - Method in class de.learnlib.api.logging.Slf4jDelegator

debug(String, Throwable) - Method in class de.learnlib.api.logging.Slf4jDelegator

debug(Marker, String) - Method in class de.learnlib.api.logging.Slf4jDelegator

debug(Marker, String, Object) - Method in class de.learnlib.api.logging.Slf4jDelegator

debug(Marker, String, Object, Object) - Method in class de.learnlib.api.logging.Slf4jDelegator

debug(Marker, String, Object...) - Method in class de.learnlib.api.logging.Slf4jDelegator

debug(Marker, String, Throwable) - Method in class de.learnlib.api.logging.Slf4jDelegator

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

E

equals(Object) - Method in class de.learnlib.api.logging.Slf4jDelegator

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.

error(String) - Method in class de.learnlib.api.logging.Slf4jDelegator

error(String, Object) - Method in class de.learnlib.api.logging.Slf4jDelegator

error(String, Object, Object) - Method in class de.learnlib.api.logging.Slf4jDelegator

error(String, Object...) - Method in class de.learnlib.api.logging.Slf4jDelegator

error(String, Throwable) - Method in class de.learnlib.api.logging.Slf4jDelegator

error(Marker, String) - Method in class de.learnlib.api.logging.Slf4jDelegator

error(Marker, String, Object) - Method in class de.learnlib.api.logging.Slf4jDelegator

error(Marker, String, Object, Object) - Method in class de.learnlib.api.logging.Slf4jDelegator

error(Marker, String, Object...) - Method in class de.learnlib.api.logging.Slf4jDelegator

error(Marker, String, Throwable) - Method in class de.learnlib.api.logging.Slf4jDelegator

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>) - Method in interface de.learnlib.api.oracle.EquivalenceOracle

Searches for a counterexample disproving the subjected hypothesis.

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.

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.

getName() - Method in class de.learnlib.api.logging.Slf4jDelegator

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

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

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

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

Returns the prefix part of this query.

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

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

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.logging.Slf4jDelegator

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

I

info(String) - Method in class de.learnlib.api.logging.Slf4jDelegator

info(String, Object) - Method in class de.learnlib.api.logging.Slf4jDelegator

info(String, Object, Object) - Method in class de.learnlib.api.logging.Slf4jDelegator

info(String, Object...) - Method in class de.learnlib.api.logging.Slf4jDelegator

info(String, Throwable) - Method in class de.learnlib.api.logging.Slf4jDelegator

info(Marker, String) - Method in class de.learnlib.api.logging.Slf4jDelegator

info(Marker, String, Object) - Method in class de.learnlib.api.logging.Slf4jDelegator

info(Marker, String, Object, Object) - Method in class de.learnlib.api.logging.Slf4jDelegator

info(Marker, String, Object...) - Method in class de.learnlib.api.logging.Slf4jDelegator

info(Marker, String, Throwable) - Method in class de.learnlib.api.logging.Slf4jDelegator

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

isDebugEnabled() - Method in class de.learnlib.api.logging.Slf4jDelegator

isDebugEnabled(Marker) - Method in class de.learnlib.api.logging.Slf4jDelegator

isErrorEnabled() - Method in class de.learnlib.api.logging.Slf4jDelegator

isErrorEnabled(Marker) - Method in class de.learnlib.api.logging.Slf4jDelegator

isInfoEnabled() - Method in class de.learnlib.api.logging.Slf4jDelegator

isInfoEnabled(Marker) - Method in class de.learnlib.api.logging.Slf4jDelegator

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.

isTraceEnabled() - Method in class de.learnlib.api.logging.Slf4jDelegator

isTraceEnabled(Marker) - Method in class de.learnlib.api.logging.Slf4jDelegator

isWarnEnabled() - Method in class de.learnlib.api.logging.Slf4jDelegator

isWarnEnabled(Marker) - Method in class de.learnlib.api.logging.Slf4jDelegator

L

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.

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.

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

N

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

P

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

PassiveLearningAlgorithm.PassiveAcceptorLearner<M extends net.automatalib.automata.fsa.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.SUL

setup SUL.

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

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

Processes the specified collection of queries.

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(Query<I, D>) - Method in interface de.learnlib.api.oracle.SingleQueryOracle

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.

ResumableLearner<T extends Serializable> - Interface in de.learnlib.api.algorithm.feature

Learning algorithms that implement this interface can be "suspended" by means of exposing a serializable state object that contains all data that is necessary to resume learning process from a previous state.

resume(T) - Method in interface de.learnlib.api.algorithm.feature.ResumableLearner

Does not get the learner to continue learning.

S

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

sets oracle for processing membership queries.

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.

StatisticData - Interface in de.learnlib.api.statistic

Common interface for statistical data.

StatisticOracle<I,O> - 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.

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

suspend() - Method in interface de.learnlib.api.algorithm.feature.ResumableLearner

Expose the serializable learner state object.

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

Symbol query interface.

T

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

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

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.

trace(String) - Method in class de.learnlib.api.logging.Slf4jDelegator

trace(String, Object) - Method in class de.learnlib.api.logging.Slf4jDelegator

trace(String, Object, Object) - Method in class de.learnlib.api.logging.Slf4jDelegator

trace(String, Object...) - Method in class de.learnlib.api.logging.Slf4jDelegator

trace(String, Throwable) - Method in class de.learnlib.api.logging.Slf4jDelegator

trace(Marker, String) - Method in class de.learnlib.api.logging.Slf4jDelegator

trace(Marker, String, Object) - Method in class de.learnlib.api.logging.Slf4jDelegator

trace(Marker, String, Object, Object) - Method in class de.learnlib.api.logging.Slf4jDelegator

trace(Marker, String, Object...) - Method in class de.learnlib.api.logging.Slf4jDelegator

trace(Marker, String, Throwable) - Method in class de.learnlib.api.logging.Slf4jDelegator

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.

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.

W

warn(String) - Method in class de.learnlib.api.logging.Slf4jDelegator

warn(String, Object) - Method in class de.learnlib.api.logging.Slf4jDelegator

warn(String, Object...) - Method in class de.learnlib.api.logging.Slf4jDelegator

warn(String, Object, Object) - Method in class de.learnlib.api.logging.Slf4jDelegator

warn(String, Throwable) - Method in class de.learnlib.api.logging.Slf4jDelegator

warn(Marker, String) - Method in class de.learnlib.api.logging.Slf4jDelegator

warn(Marker, String, Object) - Method in class de.learnlib.api.logging.Slf4jDelegator

warn(Marker, String, Object, Object) - Method in class de.learnlib.api.logging.Slf4jDelegator

warn(Marker, String, Object...) - Method in class de.learnlib.api.logging.Slf4jDelegator

warn(Marker, String, Throwable) - Method in class de.learnlib.api.logging.Slf4jDelegator

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