Package | Description |
---|---|
de.learnlib.logging | |
de.learnlib.statistics |
Modifier and Type | Method and Description |
---|---|
StatisticData |
StatisticLogRecord.getData() |
Modifier and Type | Method and Description |
---|---|
void |
LearnLogger.logProfilingInfo(StatisticData profiling)
log a piece of profiling info
|
void |
LearnLogger.logStatistic(StatisticData statistics)
log statistic info
|
Constructor and Description |
---|
StatisticLogRecord(Level lvl,
StatisticData data,
Category category) |
Modifier and Type | Class and Description |
---|---|
class |
Counter
simple counter.
|
class |
HistogramDataSet
A simple histogram data set.
|
Modifier and Type | Method and Description |
---|---|
StatisticData |
StatisticSUL.getStatisticalData() |
StatisticData |
StatisticOracle.getStatisticalData() |
Copyright © 2014. All Rights Reserved.