Package de.learnlib.filter.statistic.learner

Class MealyRefinementCounterLearner<I,O>

java.lang.Object

de.learnlib.filter.statistic.learner.RefinementCounterLearner<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>

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

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

LearningAlgorithm<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>, StatisticCollector, StatisticLearner<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>, StatisticLearner.MealyStatisticLearner<I,O>

public class MealyRefinementCounterLearner<I,O>
extends RefinementCounterLearner<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>
implements StatisticLearner.MealyStatisticLearner<I,O>

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
MealyRefinementCounterLearner(LearningAlgorithm.MealyLearner<I,O> 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

MealyRefinementCounterLearner

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

Delegates to RefinementCounterLearner(LearningAlgorithm).

Parameters:

learningAlgorithm - maps to the learningAlgorithm parameter of the delegate