Package de.learnlib.filter.statistic.learner

Class MealyRefinementCounterLearner<I,O>

java.lang.Object

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

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

All Implemented Interfaces:

LearningAlgorithm<MealyMachine<?,I,?,O>,I,Word<O>>, StatisticCollector, StatisticLearner<MealyMachine<?,I,?,O>,I,Word<O>>, StatisticLearner.MealyStatisticLearner<I,O>

public class MealyRefinementCounterLearner<I,O>
extends RefinementCounterLearner<MealyMachine<?,I,?,O>,I,Word<O>>
implements StatisticLearner.MealyStatisticLearner<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
MealyRefinementCounterLearner(LearningAlgorithm.MealyLearner<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

MealyRefinementCounterLearner

public MealyRefinementCounterLearner(LearningAlgorithm.MealyLearner<I,O> learningAlgorithm)

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