Module de.learnlib.common.util

Package de.learnlib.util

Class DFAExperiment<I>

java.lang.Object

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

de.learnlib.util.DFAExperiment<I>

Type Parameters:

I - input symbol type

public class DFAExperiment<I>
extends Experiment<DFA<?,I>,I,Boolean>

A type-specific refinement of Experiment.

Field Summary

Fields inherited from class de.learnlib.util.Experiment

equivalenceAlgorithm, inputs, KEY_DUR_CEX, KEY_DUR_LEARN, KEY_FINAL_SIZE, KEY_ROUNDS, learningAlgorithm, LOGGER, serializer, statistics

Constructor Summary

Constructors

Constructor	Description
DFAExperiment(LearningAlgorithm.DFALearner<I> learningAlgorithm, EquivalenceOracle.DFAEquivalenceOracle<I> equivalenceAlgorithm, Alphabet<I> inputs)	Delegates to Experiment(LearningAlgorithm, EquivalenceOracle, Alphabet).
DFAExperiment(LearningAlgorithm.DFALearner<I> learningAlgorithm, EquivalenceOracle.DFAEquivalenceOracle<I> equivalenceAlgorithm, Alphabet<I> inputs, InputModelSerializer<I,? super DFA<?,I>> serializer)	Delegates to Experiment(LearningAlgorithm, EquivalenceOracle, Alphabet, InputModelSerializer).

Method Summary

Methods inherited from class de.learnlib.util.Experiment

getFinalHypothesis, getRound, initializeLearning, postRefinementHook, run

Methods inherited from class java.lang.Object

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

Constructor Details

DFAExperiment

public DFAExperiment(LearningAlgorithm.DFALearner<I> learningAlgorithm,
 EquivalenceOracle.DFAEquivalenceOracle<I> equivalenceAlgorithm,
 Alphabet<I> inputs)

Delegates to Experiment(LearningAlgorithm, EquivalenceOracle, Alphabet).

Parameters:

learningAlgorithm - maps to the learningAlgorithm parameter of the delegate

equivalenceAlgorithm - maps to the equivalenceAlgorithm parameter of the delegate

inputs - maps to the inputs parameter of the delegate

DFAExperiment

public DFAExperiment(LearningAlgorithm.DFALearner<I> learningAlgorithm,
 EquivalenceOracle.DFAEquivalenceOracle<I> equivalenceAlgorithm,
 Alphabet<I> inputs,
 InputModelSerializer<I,? super DFA<?,I>> serializer)

Delegates to Experiment(LearningAlgorithm, EquivalenceOracle, Alphabet, InputModelSerializer).

Parameters:

learningAlgorithm - maps to the learningAlgorithm parameter of the delegate

equivalenceAlgorithm - maps to the equivalenceAlgorithm parameter of the delegate

inputs - maps to the inputs parameter of the delegate

serializer - maps to the serializer parameter of the delegate