de.learnlib.util

Class Experiment.DFAExperiment<I>

java.lang.Object

de.learnlib.util.Experiment<DFA<?,I>>

de.learnlib.util.Experiment.DFAExperiment<I>

Enclosing class:

Experiment<A>

public static class Experiment.DFAExperiment<I>
extends Experiment<DFA<?,I>>

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.util.Experiment

Experiment.DFAExperiment<I>, Experiment.MealyExperiment<I,O>

Field Summary

Fields inherited from class de.learnlib.util.Experiment

COUNTEREXAMPLE_PROFILE_KEY, LEARNING_PROFILE_KEY

Constructor Summary

Constructors

Constructor and Description
DFAExperiment(LearningAlgorithm<? extends DFA<?,I>,I,Boolean> learningAlgorithm, EquivalenceOracle<? super DFA<?,I>,I,Boolean> equivalenceAlgorithm, Alphabet<I> inputs)

Method Summary

Methods inherited from class de.learnlib.util.Experiment

getFinalHypothesis, getRounds, run, setLogModels, setProfile

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DFAExperiment

public DFAExperiment(LearningAlgorithm<? extends DFA<?,I>,I,Boolean> learningAlgorithm,
                     EquivalenceOracle<? super DFA<?,I>,I,Boolean> equivalenceAlgorithm,
                     Alphabet<I> inputs)