Uses of Package
de.learnlib.api.statistic

Packages that use de.learnlib.api.statistic

Package	Description
de.learnlib.api.logging
de.learnlib.api.statistic

Classes in de.learnlib.api.statistic used by de.learnlib.api.logging

Class and Description
StatisticData Common interface for statistical data.

Classes in de.learnlib.api.statistic used by de.learnlib.api.statistic

Class and Description
StatisticCollector A utility interface to indicate that the implementing class collects statistical information that may be obtained via its StatisticCollector.getStatisticalData() method.
StatisticData Common interface for statistical data.
StatisticLearner Common interface for learners keeping statistics.