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

A

AbstractBFOracle<A extends DeterministicAutomaton<?,I,?>,I,D> - Class in de.learnlib.util

An AutomatonOracle that processes words in a breadth-first manner.

AbstractBFOracle(MembershipOracle<I, D>, double) - Constructor for class de.learnlib.util.AbstractBFOracle

addWord(Word<I>) - Method in class de.learnlib.util.AbstractBFOracle

Adds a new input word to the queue.

answerOmegaQueries(OmegaQueryAnswerer<S, I, D>, Collection<? extends OmegaQuery<I, D>>) - Static method in class de.learnlib.util.MQUtil

answerOmegaQueriesAuto(OmegaQueryAnswerer<S, I, D>, Collection<? extends OmegaQuery<I, D>>) - Static method in class de.learnlib.util.MQUtil

answerOmegaQueriesParallel(OmegaQueryAnswerer<S, I, D>, Collection<? extends OmegaQuery<I, D>>) - Static method in class de.learnlib.util.MQUtil

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

answerQueriesAuto(QueryAnswerer<I, D>, Collection<? extends Query<I, D>>) - Static method in class de.learnlib.util.MQUtil

answerQueriesParallel(QueryAnswerer<I, D>, Collection<? extends Query<I, D>>) - Static method in class de.learnlib.util.MQUtil

C

COUNTEREXAMPLE_PROFILE_KEY - Static variable in class de.learnlib.util.Experiment

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

Return the counter for the cumulated (passed) time of the given timer.

D

de.learnlib.util - package de.learnlib.util

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

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

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

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

E

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

runs a learning experiment.

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

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

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

F

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

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

G

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

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

getMembershipOracle() - Method in class de.learnlib.util.AbstractBFOracle

getMultiplier() - Method in class de.learnlib.util.AbstractBFOracle

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

Get profiling results as string.

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

I

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

L

LEARNING_PROFILE_KEY - Static variable in class de.learnlib.util.Experiment

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

Log results in category PROFILING.

M

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

MealyUtil - Class in de.learnlib.util.mealy

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

MQUtil - Class in de.learnlib.util

N

nextInput() - Method in class de.learnlib.util.AbstractBFOracle

Returns the next input word, by popping from a queue.

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

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

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

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

P

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

pre() - Method in class de.learnlib.util.AbstractBFOracle

Clears the queue.

processInput(A, Word<I>) - Method in class de.learnlib.util.AbstractBFOracle

Q

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

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

R

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

refineHypothesis(DefaultQuery<I, Boolean>) - Method in class de.learnlib.util.nfa.NFALearnerWrapper

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

Reset internal data.

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

S

setLogModels(boolean) - Method in class de.learnlib.util.Experiment

setMultiplier(double) - Method in class de.learnlib.util.AbstractBFOracle

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

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

SimpleProfiler - Class in de.learnlib.util.statistics

Very rudimentary profiler.

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

Start the timer identified by the given key.

startLearning() - Method in class de.learnlib.util.nfa.NFALearnerWrapper

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

Stop the timer identified by the given key.

T

toString() - Method in class de.learnlib.util.nfa.NFALearnerWrapper

W

wrapSymbolLearner(LearningAlgorithm<M, I, O>) - Static method in class de.learnlib.util.mealy.MealyUtil

wrapWordOracle(MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.util.mealy.MealyUtil

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