Package de.learnlib.util
Class Experiment<A>
- java.lang.Object
-
- de.learnlib.util.Experiment<A>
-
- Type Parameters:
A
- the automaton type
- Direct Known Subclasses:
Experiment.DFAExperiment
,Experiment.MealyExperiment
,Experiment.MooreExperiment
public class Experiment<A> extends Object
runs a learning experiment.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
Experiment.DFAExperiment<I>
static class
Experiment.MealyExperiment<I,O>
static class
Experiment.MooreExperiment<I,O>
-
Field Summary
Fields Modifier and Type Field Description static String
COUNTEREXAMPLE_PROFILE_KEY
static String
LEARNING_PROFILE_KEY
-
Constructor Summary
Constructors Constructor Description Experiment(LearningAlgorithm<? extends A,I,D> learningAlgorithm, EquivalenceOracle<? super A,I,D> equivalenceAlgorithm, Alphabet<I> inputs)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description A
getFinalHypothesis()
Counter
getRounds()
A
run()
void
setLogModels(boolean logModels)
void
setProfile(boolean profile)
-
-
-
Field Detail
-
LEARNING_PROFILE_KEY
public static final String LEARNING_PROFILE_KEY
- See Also:
- Constant Field Values
-
COUNTEREXAMPLE_PROFILE_KEY
public static final String COUNTEREXAMPLE_PROFILE_KEY
- See Also:
- Constant Field Values
-
-
Constructor Detail
-
Experiment
public Experiment(LearningAlgorithm<? extends A,I,D> learningAlgorithm, EquivalenceOracle<? super A,I,D> equivalenceAlgorithm, Alphabet<I> inputs)
-
-
Method Detail
-
run
public A run()
-
getFinalHypothesis
public A getFinalHypothesis()
-
setLogModels
public void setLogModels(boolean logModels)
- Parameters:
logModels
- flag whether models should be logged
-
setProfile
public void setProfile(boolean profile)
- Parameters:
profile
- flag whether learning process should be profiled
-
getRounds
public Counter getRounds()
- Returns:
- the rounds
-
-