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

A

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

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

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

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

AbstractSingleQueryOracle<I,D> - Class in de.learnlib.oracles

Deprecated.

since 2015-05-10. This class is no longer necessary due to the introduction of default methods. Instead, implement SingleQueryOracle (or the respective specialization) directly.

AbstractSingleQueryOracle() - Constructor for class de.learnlib.oracles.AbstractSingleQueryOracle

Deprecated.

AbstractSingleQueryOracle.AbstractSingleQueryOracleDFA<I> - Class in de.learnlib.oracles

Deprecated.

AbstractSingleQueryOracle.AbstractSingleQueryOracleMealy<I,O> - Class in de.learnlib.oracles

Deprecated.

AbstractSingleQueryOracleDFA() - Constructor for class de.learnlib.oracles.AbstractSingleQueryOracle.AbstractSingleQueryOracleDFA

Deprecated.

AbstractSingleQueryOracleMealy() - Constructor for class de.learnlib.oracles.AbstractSingleQueryOracle.AbstractSingleQueryOracleMealy

Deprecated.

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

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

addDataPoint(Long) - Method in class de.learnlib.statistics.HistogramDataSet

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

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

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

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

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

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

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

addSample(Word<I>, 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<I>>) - Method in interface de.learnlib.passive.api.PassiveLearningAlgorithm

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

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

Answers the 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

answerQueriesAuto(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<I>) - Method in interface de.learnlib.api.MembershipOracle

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

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

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

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

answerQuery(Word<I>, Word<I>) - Method in class de.learnlib.oracles.OracleQueryAnswerer

Deprecated.

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

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

C

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

Returns whether this SUL is capable of forking.

canFork() - Method in class de.learnlib.oracles.ResetCounterSUL

canFork() - Method in class de.learnlib.oracles.SymbolCounterSUL

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

checkQuery(Query<I, D>) - Method in class de.learnlib.oracles.SafeOracle

Deprecated.

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

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<I> - Class in de.learnlib.oracles

CounterOracle.MealyCounterOracle<I,O> - Class in de.learnlib.oracles

D

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

de.learnlib.experiments - package de.learnlib.experiments

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

de.learnlib.logging.filter - package de.learnlib.logging.filter

de.learnlib.mealy - package de.learnlib.mealy

de.learnlib.nfa - package de.learnlib.nfa

de.learnlib.oracles - package de.learnlib.oracles

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

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<I>, Word<I>) - Constructor for class de.learnlib.oracles.DefaultQuery

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

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

DefaultQuery(Word<I>, 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.

DFACounterOracle(MembershipOracle<I, Boolean>, String) - Constructor for class de.learnlib.oracles.CounterOracle.DFACounterOracle

DFAExperiment(LearningAlgorithm<? extends DFA<?, I>, I, Boolean>, EquivalenceOracle<? super DFA<?, I>, I, Boolean>, Alphabet<I>) - Constructor for class de.learnlib.experiments.Experiment.DFAExperiment

E

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

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<I> - 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.

Experiment<A> - Class in de.learnlib.experiments

runs a learning experiment.

Experiment(LearningAlgorithm<? extends A, I, D>, EquivalenceOracle<? super A, I, D>, Alphabet<I>) - Constructor for class de.learnlib.experiments.Experiment

Experiment.DFAExperiment<I> - 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

F

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

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

Searches for a counterexample disproving the subjected hypothesis.

findMismatch(MealyMachine<?, I, ?, O>, Word<I>, Word<O>) - Static method in class de.learnlib.mealy.MealyUtil

findMismatch(Word<O>, Word<O>) - Static method in class de.learnlib.mealy.MealyUtil

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

Forks this SUL, if possible.

fork() - Method in class de.learnlib.oracles.ResetCounterSUL

fork() - Method in class de.learnlib.oracles.SymbolCounterSUL

format(LogRecord) - Method in class de.learnlib.logging.LLConsoleFormatter

G

getBool(String, boolean) - Method in class de.learnlib.settings.LearnLibSettings

getBoolean(String) - Method in class de.learnlib.settings.LearnLibSettings

getCategory() - Method in class de.learnlib.logging.LearnLogRecord

getCount() - Method in class de.learnlib.oracles.CounterOracle

getCount() - Method in class de.learnlib.statistics.Counter

getCounter() - Method in class de.learnlib.oracles.CounterOracle

getData() - Method in class de.learnlib.logging.PlottableLogRecord

getData() - Method in class de.learnlib.logging.StatisticLogRecord

getDetails() - Method in class de.learnlib.statistics.Counter

getDetails() - Method in class de.learnlib.statistics.HistogramDataSet

getDetails() - Method in class de.learnlib.statistics.StatisticData

getEnumValue(String, Class<E>) - Method in class de.learnlib.settings.LearnLibSettings

getEnumValue(String, Class<E>, E) - Method in class de.learnlib.settings.LearnLibSettings

getFinalHypothesis() - Method in class de.learnlib.experiments.Experiment

getHistogram() - Method in class de.learnlib.statistics.HistogramDataSet

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

Returns the current hypothesis model.

getHypothesisModel() - Method in class de.learnlib.nfa.NFALearnerWrapper

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

Retrieves the input word of this query.

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

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.

getMean() - Method in class de.learnlib.statistics.HistogramDataSet

getMedian() - Method in class de.learnlib.statistics.HistogramDataSet

getName() - Method in class de.learnlib.statistics.StatisticData

getOutput() - Method in class de.learnlib.oracles.DefaultQuery

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

Returns the prefix part of this query.

getPrefix() - Method in class de.learnlib.oracles.AbstractQuery

getPriority() - Method in class de.learnlib.settings.sources.LearnLibLocalPropertiesAutomataLibSettingsSource

getPriority() - Method in class de.learnlib.settings.sources.LearnLibPropertiesAutomataLibSettingsSource

getProperty(String) - Method in class de.learnlib.settings.LearnLibSettings

getProperty(String, String) - Method in class de.learnlib.settings.LearnLibSettings

getResults() - Static method in class de.learnlib.statistics.SimpleProfiler

get profiling results as string.

getRounds() - Method in class de.learnlib.experiments.Experiment

getSize() - Method in class de.learnlib.statistics.HistogramDataSet

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

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

Returns the suffix part of this query.

getSuffix() - Method in class de.learnlib.oracles.AbstractQuery

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

getUnit() - Method in class de.learnlib.statistics.StatisticData

H

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

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

I

increment(long) - Method in class de.learnlib.statistics.Counter

increment() - Method in class de.learnlib.statistics.Counter

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

isCounterexample(DefaultQuery<I, D>, SuffixOutput<I, D>) - Static method in class de.learnlib.oracles.MQUtil

isLoggable(LogRecord) - Method in class de.learnlib.logging.filter.CategoryFilter

isNormalized() - Method in class de.learnlib.oracles.DefaultQuery

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

L

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

Basic interface for a model inference algorithm.

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

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

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

LLConsoleFormatter - Class in de.learnlib.logging

Extends SimpleFormatter to include categories in output.

LLConsoleFormatter() - Constructor for class de.learnlib.logging.LLConsoleFormatter

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

M

MealyCounterOracle(MembershipOracle<I, Word<O>>, String) - Constructor for class de.learnlib.oracles.CounterOracle.MealyCounterOracle

MealyExperiment(LearningAlgorithm<? extends MealyMachine<?, I, ?, O>, I, Word<O>>, EquivalenceOracle<? super MealyMachine<?, I, ?, O>, I, Word<O>>, Alphabet<I>) - Constructor for class de.learnlib.experiments.Experiment.MealyExperiment

MealyUtil - Class in de.learnlib.mealy

Utility class helping to unify various approaches to actively learning Mealy machines.

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

Membership oracle interface.

MembershipOracle.DFAMembershipOracle<I> - 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

N

NFALearner<I> - Interface in de.learnlib.nfa

NFALearnerWrapper<I> - Class in de.learnlib.nfa

NFALearnerWrapper(Alphabet<I>, LearningAlgorithm<? extends NFA<?, I>, I, Boolean>) - Constructor for class de.learnlib.nfa.NFALearnerWrapper

NO_MISMATCH - Static variable in class de.learnlib.mealy.MealyUtil

normalize(MembershipOracle<I, D>, DefaultQuery<I, D>) - Static method in class de.learnlib.oracles.MQUtil

O

OracleQueryAnswerer<I,D> - Class in de.learnlib.oracles

Deprecated.

since 2015-05-10. MembershipOracle now extends QueryAnswerer, rendering this class obsolete.

OracleQueryAnswerer(MembershipOracle<I, D>) - Constructor for class de.learnlib.oracles.OracleQueryAnswerer

Deprecated.

output(MembershipOracle<I, D>, Word<I>) - Static method in class de.learnlib.oracles.MQUtil

Deprecated.

output(MembershipOracle<I, D>, Word<I>, Word<I>) - Static method in class de.learnlib.oracles.MQUtil

Deprecated.

P

PARALLEL_THRESHOLD - Static variable in class de.learnlib.oracles.MQUtil

ParallelSingleQueryOracle<I,D> - Interface in de.learnlib.oracles

Deprecated.

since 2015-05-10. Parallelization of query processing should not be determined by an oracle implementation and always be configurable. Instead, implement SingleQueryOracle (or the respective specialization) and use the MQUtil.PARALLEL_THRESHOLD variable (or setting) to configure parallelization.

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

PassiveDFALearner<I> - Interface in de.learnlib.passive.api

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

PassiveNFALearner<I> - Interface in de.learnlib.passive.api

PlottableLogRecord - Class in de.learnlib.logging

LogRecord with a piece of plottable data.

PlottableLogRecord(Level, Object, Category) - Constructor for class de.learnlib.logging.PlottableLogRecord

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

shut down SUL.

post() - Method in class de.learnlib.oracles.ResetCounterSUL

post() - Method in class de.learnlib.oracles.SymbolCounterSUL

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

setup SUL.

pre() - Method in class de.learnlib.oracles.ResetCounterSUL

pre() - Method in class de.learnlib.oracles.SymbolCounterSUL

prefix - Variable in class de.learnlib.oracles.AbstractQuery

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

Processes the specified collection of queries.

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

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

Deprecated.

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

Deprecated.

processQueries(Collection<? extends Query<I, Word<O>>>) - Method in class de.learnlib.oracles.SULOracle

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

Processes a single query.

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

Q

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

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(MembershipOracle<I, D>, Word<I>, Word<I>) - Static method in class de.learnlib.oracles.MQUtil

query(MembershipOracle<I, D>, Word<I>) - 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

R

reduceCounterExample(MealyMachine<?, I, ?, O>, DefaultQuery<I, Word<O>>) - Static method in class de.learnlib.mealy.MealyUtil

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

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

run() - Method in class de.learnlib.experiments.Experiment

S

SafeOracle<I,D> - Class in de.learnlib.oracles

Deprecated.

since 2015-05-10. This class has no real (and reasonable) use case. All it does is to check whether the collection of queries passed to SafeOracle.processQueries(Collection) is being modified. However, this is highly unlikely, and wrapping the passed queries using Collections.unmodifiableCollection(Collection) is a way better approach for intercepting these cases than wrapping the oracle.

SafeOracle(MembershipOracle<I, D>) - Constructor for class de.learnlib.oracles.SafeOracle

Deprecated.

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

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.

setProfile(boolean) - Method in class de.learnlib.experiments.Experiment

shortenCounterExample(MealyMachine<?, I, ?, O>, DefaultQuery<I, Word<O>>) - Static method in class de.learnlib.mealy.MealyUtil

SimpleProfiler - Class in de.learnlib.statistics

Very rudimentary profiler.

SimpleProfiler() - Constructor for class de.learnlib.statistics.SimpleProfiler

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

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

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

start(String) - Static method in class de.learnlib.statistics.SimpleProfiler

start activity.

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

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.oracles.ResetCounterSUL

step(I) - Method in class de.learnlib.oracles.SymbolCounterSUL

stop(String) - Static method in class de.learnlib.statistics.SimpleProfiler

stop activity.

suffix - Variable in class de.learnlib.oracles.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

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

SystemOnlyFilter - Class in de.learnlib.logging.filter

No learning related output.

SystemOnlyFilter() - Constructor for class de.learnlib.logging.filter.SystemOnlyFilter

T

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

Returns the string representation of this query.

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.

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

V

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

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

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.

W

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

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