de.learnlib.filter.statistic.learner

Classes

• RefinementCounterLearner
• RefinementCounterLearner.DFARefinementCounterLearner
• RefinementCounterLearner.MealyRefinementCounterLearner