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

A

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

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

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

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

answer(O) - Method in class de.learnlib.oracles.DefaultQuery

answerQueries(QueryAnswerer<I, O>, Collection<? extends Query<I, O>>) - Static method in class de.learnlib.oracles.MQUtil

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

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

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

C

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, O>) - Method in class de.learnlib.oracles.SafeOracle

Counter - Class in de.learnlib.statistics

simple counter.

Counter(String, String) - Constructor for class de.learnlib.statistics.Counter

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

Counts queries.

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

CounterOracle.DFACounterOracle<I> - Class in de.learnlib.oracles

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

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

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

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

de.learnlib.statistics - package de.learnlib.statistics

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

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

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

E

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

EquivalenceOracle<A,I,O> - 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

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

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

runs a learning experiment.

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

Experiment.DFAExperiment<I> - Class in de.learnlib.experiments

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

Experiment.MealyExperiment<I,O> - Class in de.learnlib.experiments

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

ExperimentalDataFilter - Class in de.learnlib.logging.filter

only some categories.

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

F

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

A chain of oracles.

FilterChain(MembershipOracle<I, O>, Filter<I, O>...) - 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(Word<O>, Word<O>) - Static method in class de.learnlib.mealy.MealyUtil

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

G

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

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

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

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.

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

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

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

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

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

Collects a histogram of passed query lengths.

HistogramOracle(MembershipOracle<I, O>, 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

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

L

LearningAlgorithm<M,I,O> - 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

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

MealyUtil - Class in de.learnlib.mealy

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

MembershipOracle<I,O> - 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

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

O

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

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

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

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

P

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, O>>) - Method in interface de.learnlib.api.MembershipOracle

Processes the specified collection of queries.

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

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

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

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

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

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

Q

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

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

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

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

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

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

QueryAnswererOracle(QueryAnswerer<I, O>) - 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, O>) - Method in interface de.learnlib.api.LearningAlgorithm

Triggers a refinement of the model by providing a counterexample.

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

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

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, O>) - Method in interface de.learnlib.api.Filter

sets oracle for processing membership queries.

setNext(MembershipOracle<I, O>) - Method in class de.learnlib.oracles.CounterOracle

setNext(MembershipOracle<I, O>) - 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

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.

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.

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

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