Package de.learnlib.filter.statistic.learner

Class DFARefinementCounterLearner<I>

java.lang.Object

de.learnlib.filter.statistic.learner.RefinementCounterLearner<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>

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

Type Parameters:

I - input symbol type

All Implemented Interfaces:

LearningAlgorithm<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>, StatisticCollector, StatisticLearner<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>, StatisticLearner.DFAStatisticLearner<I>

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

A type-specific refinement of RefinementCounterLearner.

Nested Class Summary

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

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

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

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

Constructor Summary

Constructors

Constructor	Description
DFARefinementCounterLearner(LearningAlgorithm.DFALearner<I> learningAlgorithm)	Delegates to RefinementCounterLearner(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.algorithm.LearningAlgorithm

getHypothesisModel, refineHypothesis, startLearning

Methods inherited from interface de.learnlib.statistic.StatisticCollector

getStatisticalData

Constructor Detail

DFARefinementCounterLearner

public DFARefinementCounterLearner(LearningAlgorithm.DFALearner<I> learningAlgorithm)

Delegates to RefinementCounterLearner(LearningAlgorithm).

Parameters:

learningAlgorithm - maps to the learningAlgorithm parameter of the delegate