Package | Description |
---|---|
de.learnlib.api.logging | |
de.learnlib.api.statistic | |
de.learnlib.filter.statistic |
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.
|
Modifier and Type | Method and Description |
---|---|
StatisticData |
StatisticSUL.getStatisticalData() |
StatisticData |
StatisticOracle.getStatisticalData() |
Modifier and Type | Class and Description |
---|---|
class |
AbstractStatisticData
Common interface for statistical data.
|
class |
Counter
simple counter.
|
class |
HistogramDataSet
A simple histogram data set.
|
Copyright © 2018. All rights reserved.