Package de.learnlib.filter.statistic.learner

Class Summary

Class	Description
RefinementCounterLearner<M,I,D>	Counts the number of hypothesis refinements.
RefinementCounterLearner.DFARefinementCounterLearner<I>
RefinementCounterLearner.MealyRefinementCounterLearner<I,O>