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

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

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

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

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

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

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

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

answerQueriesParallel(QueryAnswerer<I, D>, Collection<? extends Query<I, D>>) - 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, D>) - Method in class de.learnlib.oracles.SafeOracle

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

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

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

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

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

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

O

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

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

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

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

P

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

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

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

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

Q

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

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

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

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