Package de.learnlib.filter.statistic.learner

Class RefinementCounterLearner<M,I,D>

java.lang.Object

de.learnlib.filter.statistic.learner.RefinementCounterLearner<M,I,D>

Type Parameters:

M - automaton type

I - input symbol type

D - output domain type

All Implemented Interfaces:

LearningAlgorithm<M,I,D>, StatisticCollector, StatisticLearner<M,I,D>

Direct Known Subclasses:

DFARefinementCounterLearner, MealyRefinementCounterLearner, MooreRefinementCounterLearner

public class RefinementCounterLearner<M,I,D>
extends Object
implements StatisticLearner<M,I,D>

Counts the number of hypothesis refinements.

The value of the Counter returned by getStatisticalData() returns the same value as Experiment.getRounds().

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.algorithm.LearningAlgorithm

LearningAlgorithm.DFALearner<I extends Object>, LearningAlgorithm.MealyLearner<I extends Object,O extends Object>, LearningAlgorithm.MooreLearner<I extends Object,O extends Object>, LearningAlgorithm.NFALearner<I extends Object>

Nested classes/interfaces inherited from interface de.learnlib.statistic.StatisticLearner

StatisticLearner.DFAStatisticLearner<I extends Object>, StatisticLearner.MealyStatisticLearner<I extends Object,O extends Object>, StatisticLearner.MooreStatisticLearner<I extends Object,O extends Object>

Constructor Summary

Constructors

Constructor	Description
RefinementCounterLearner(LearningAlgorithm<M,I,D> learningAlgorithm)

Method Summary

Modifier and Type	Method	Description
M	getHypothesisModel()
Counter	getStatisticalData()
boolean	refineHypothesis(DefaultQuery<I,D> ceQuery)
void	startLearning()

Methods inherited from class java.lang.Object

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

Constructor Detail

RefinementCounterLearner

public RefinementCounterLearner(LearningAlgorithm<M,I,D> learningAlgorithm)

Method Detail

startLearning

public void startLearning()

Specified by:

startLearning in interface LearningAlgorithm<M,I,D>

refineHypothesis

public boolean refineHypothesis(DefaultQuery<I,D> ceQuery)

Specified by:

refineHypothesis in interface LearningAlgorithm<M,I,D>

getHypothesisModel

public M getHypothesisModel()

Specified by:

getHypothesisModel in interface LearningAlgorithm<M,I,D>

getStatisticalData

public Counter getStatisticalData()

Specified by:

getStatisticalData in interface StatisticCollector