Package de.learnlib.filter.statistic.learner

Class MooreRefinementCounterLearner<I,O>

java.lang.Object

de.learnlib.filter.statistic.learner.RefinementCounterLearner<MooreMachine<?,I,?,O>,I,Word<O>>

de.learnlib.filter.statistic.learner.MooreRefinementCounterLearner<I,O>

All Implemented Interfaces:

LearningAlgorithm<MooreMachine<?,I,?,O>,I,Word<O>>, StatisticCollector, StatisticLearner<MooreMachine<?,I,?,O>,I,Word<O>>, StatisticLearner.MooreStatisticLearner<I,O>

public class MooreRefinementCounterLearner<I,O>
extends RefinementCounterLearner<MooreMachine<?,I,?,O>,I,Word<O>>
implements StatisticLearner.MooreStatisticLearner<I,O>

This is an auto-generated refinement. See the original class.

Nested Class Summary

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

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

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

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

Constructor Summary

Constructors

Constructor	Description
MooreRefinementCounterLearner(LearningAlgorithm.MooreLearner<I,O> learningAlgorithm)	This is an auto-generated constructor.

Method Summary

Methods inherited from class de.learnlib.filter.statistic.learner.RefinementCounterLearner

getHypothesisModel, getStatisticalData, refineHypothesis, startLearning

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.algorithm.LearningAlgorithm

getHypothesisModel, refineHypothesis, startLearning

Methods inherited from interface de.learnlib.statistic.StatisticCollector

getStatisticalData

Constructor Detail

MooreRefinementCounterLearner

public MooreRefinementCounterLearner(LearningAlgorithm.MooreLearner<I,O> learningAlgorithm)

This is an auto-generated constructor. See the original constructor.