de.learnlib.filter.statistic.learner

Class RefinementCounterLearner.DFARefinementCounterLearner<I>

java.lang.Object

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

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

All Implemented Interfaces:

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

Enclosing class:

RefinementCounterLearner<M,I,D>

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

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.filter.statistic.learner.RefinementCounterLearner

RefinementCounterLearner.DFARefinementCounterLearner<I>, 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
DFARefinementCounterLearner(String name, LearningAlgorithm<DFA<?,I>,I,Boolean> learningAlgorithm)

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.api.statistic.StatisticLearner

getStatisticalData

Methods inherited from interface de.learnlib.api.algorithm.LearningAlgorithm

getHypothesisModel, refineHypothesis, startLearning

Constructor Detail

DFARefinementCounterLearner

public DFARefinementCounterLearner(String name,
                                   LearningAlgorithm<DFA<?,I>,I,Boolean> learningAlgorithm)