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

Modifier and Type	Method	Description
A	getFinalHypothesis()
Counter	getRounds()
A	run()
void	setLogModels(boolean logModels)
void	setProfile(boolean profile)

Methods inherited from class java.lang.Object

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

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