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 - the automaton type.

I - the input type.

D - the output type.

All Implemented Interfaces:

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

Direct Known Subclasses:

RefinementCounterLearner.DFARefinementCounterLearner, RefinementCounterLearner.MealyRefinementCounterLearner

@ParametersAreNonnullByDefault
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

Modifier and Type	Class and Description
static class	RefinementCounterLearner.DFARefinementCounterLearner<I>
static class	RefinementCounterLearner.MealyRefinementCounterLearner<I,O>

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

StatisticLearner.DFAStatisticLearner<I>, StatisticLearner.MealyStatisticLearner<I,O>

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

LearningAlgorithm.DFALearner<I>, LearningAlgorithm.MealyLearner<I,O>

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and 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(String name,
                                LearningAlgorithm<M,I,D> learningAlgorithm)

Method Detail

startLearning

public void startLearning()

Specified by:

startLearning in interface LearningAlgorithm<M,I,D>

refineHypothesis

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

Specified by:

refineHypothesis in interface LearningAlgorithm<M,I,D>

getHypothesisModel

@Nonnull
public M getHypothesisModel()

Specified by:

getHypothesisModel in interface LearningAlgorithm<M,I,D>

getStatisticalData

@Nonnull
public Counter getStatisticalData()

Specified by:

getStatisticalData in interface StatisticLearner<M,I,D>