Uses of Package
de.learnlib.statistic
-
Classes in de.learnlib.statistic used by de.learnlib.filter.statistic Class Description StatisticData Common interface for statistical data. -
Classes in de.learnlib.statistic used by de.learnlib.filter.statistic.learner Class Description StatisticCollector A utility interface to indicate that the implementing class collects statistical information that may be obtained via itsStatisticCollector.getStatisticalData()
method.StatisticLearner Common interface for learners keeping statistics.StatisticLearner.DFAStatisticLearner StatisticLearner.MealyStatisticLearner StatisticLearner.MooreStatisticLearner -
Classes in de.learnlib.statistic used by de.learnlib.filter.statistic.oracle Class Description StatisticCollector A utility interface to indicate that the implementing class collects statistical information that may be obtained via itsStatisticCollector.getStatisticalData()
method.StatisticData Common interface for statistical data.StatisticOracle Common interface for oracles keeping statistics. -
Classes in de.learnlib.statistic used by de.learnlib.filter.statistic.sul Class Description StatisticCollector A utility interface to indicate that the implementing class collects statistical information that may be obtained via itsStatisticCollector.getStatisticalData()
method.StatisticSUL -
Classes in de.learnlib.statistic used by de.learnlib.statistic Class Description StatisticCollector A utility interface to indicate that the implementing class collects statistical information that may be obtained via itsStatisticCollector.getStatisticalData()
method.StatisticData Common interface for statistical data.StatisticLearner Common interface for learners keeping statistics.