Package 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>, Experiment.MooreExperiment<I,O>
-
-
Field Summary
-
Fields inherited from class de.learnlib.util.Experiment
COUNTEREXAMPLE_PROFILE_KEY, LEARNING_PROFILE_KEY
-
-
Constructor Summary
Constructors Constructor 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
-
-