Package de.learnlib.filter.statistic
Class Counter
- java.lang.Object
-
- de.learnlib.filter.statistic.AbstractStatisticData
-
- de.learnlib.filter.statistic.Counter
-
- All Implemented Interfaces:
StatisticData
public class Counter extends AbstractStatisticData
A simple counter.
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description long
getCount()
String
getDetails()
String
getSummary()
void
increment()
void
increment(long inc)
-
Methods inherited from class de.learnlib.filter.statistic.AbstractStatisticData
getName, getUnit
-
-