Package de.learnlib.filter.statistic.learner

Class Summary

Class	Description
DFARefinementCounterLearner<I>	This is an auto-generated refinement.
MealyRefinementCounterLearner<I,O>	This is an auto-generated refinement.
MooreRefinementCounterLearner<I,O>	This is an auto-generated refinement.
RefinementCounterLearner<M,I,D>	Counts the number of hypothesis refinements.