A C D E F G I L M N P R S T W
All Classes All Packages

A

AbstractBFOracle<A extends net.automatalib.automaton.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.

C

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

cumulated(String) - Static method in class de.learnlib.util.statistic.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.moore - package de.learnlib.util.moore

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

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

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

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

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

G

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

Returns the final hypothesis model.

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

getInput() - Method in class de.learnlib.util.mealy.PresetAdaptiveQuery

getInput() - Method in class de.learnlib.util.mealy.WordAdaptiveQuery

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

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

getOutput() - Method in class de.learnlib.util.mealy.WordAdaptiveQuery

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

Returns the counter for the number of refinement rounds the experiment took.

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

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

MooreUtil - Class in de.learnlib.util.moore

Utility class helping to unify various approaches to actively learning Moore 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

NO_MISMATCH - Static variable in class de.learnlib.util.moore.MooreUtil

P

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

Clears the queue.

PresetAdaptiveQuery<I,O> - Class in de.learnlib.util.mealy

Wraps a given (non-empty) Query as an AdaptiveQuery so that it can be answered by an AdaptiveMembershipOracle.

PresetAdaptiveQuery(Query<I, Word<O>>) - Constructor for class de.learnlib.util.mealy.PresetAdaptiveQuery

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

processOutput(O) - Method in class de.learnlib.util.mealy.PresetAdaptiveQuery

processOutput(O) - Method in class de.learnlib.util.mealy.WordAdaptiveQuery

R

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

reduceCounterExample(MooreMachine<?, I, ?, O>, DefaultQuery<I, Word<O>>) - Static method in class de.learnlib.util.moore.MooreUtil

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

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

Reset internal data.

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

Run the experiment, once.

S

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

Decides whether intermediate hypothesis models should be logged.

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

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

Decides whether the experiment runtime should be profiled.

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

shortenCounterExample(MooreMachine<?, I, ?, O>, DefaultQuery<I, Word<O>>) - Static method in class de.learnlib.util.moore.MooreUtil

SimpleProfiler - Class in de.learnlib.util.statistic

Very rudimentary profiler.

start(String) - Static method in class de.learnlib.util.statistic.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.statistic.SimpleProfiler

Stop the timer identified by the given key.

T

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

W

WordAdaptiveQuery<I,O> - Class in de.learnlib.util.mealy

Wraps a given (non-empty) Word as an AdaptiveQuery so that it can be answered by an AdaptiveMembershipOracle.

WordAdaptiveQuery(Word<I>) - Constructor for class de.learnlib.util.mealy.WordAdaptiveQuery

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

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

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

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

A C D E F G I L M N P R S T W
All Classes All Packages