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

A

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

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

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

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

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

O

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

Deprecated.

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

Deprecated.

P

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

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

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

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

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

stop activity.

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 D E F G I L M N O P Q R S T W