Skip navigation links
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 
Skip navigation links

Copyright © 2018. All rights reserved.