Uses of Interface
de.learnlib.api.statistic.StatisticData

Packages that use StatisticData

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

Uses of StatisticData in de.learnlib.api.logging

Methods in de.learnlib.api.logging with parameters of type StatisticData

Modifier and Type	Method and Description
default void	LearnLogger.logProfilingInfo(StatisticData profiling) log a piece of profiling info.
default void	LearnLogger.logStatistic(StatisticData statistics) log statistic info.

Uses of StatisticData in de.learnlib.api.statistic

Methods in de.learnlib.api.statistic that return StatisticData

Modifier and Type	Method and Description
StatisticData	StatisticCollector.getStatisticalData() Returns this statistical data gathered by this collector.