Package de.learnlib.filter.statistic.learner

Class DFARefinementCounterLearner<I>

java.lang.Object

de.learnlib.filter.statistic.learner.RefinementCounterLearner<DFA<?,I>,I,Boolean>

de.learnlib.filter.statistic.learner.DFARefinementCounterLearner<I>

All Implemented Interfaces:

LearningAlgorithm<DFA<?,I>,I,Boolean>, StatisticCollector, StatisticLearner<DFA<?,I>,I,Boolean>, StatisticLearner.DFAStatisticLearner<I>

public class DFARefinementCounterLearner<I>
extends RefinementCounterLearner<DFA<?,I>,I,Boolean>
implements StatisticLearner.DFAStatisticLearner<I>

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
DFARefinementCounterLearner(LearningAlgorithm.DFALearner<I> 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

DFARefinementCounterLearner

public DFARefinementCounterLearner(LearningAlgorithm.DFALearner<I> learningAlgorithm)

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