Counter (LearnLib :: Filters :: Statistics 0.18.0 API)

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.

Constructor Summary

Constructors
Constructor Description

Counter(String name, String unit)

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

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Counter

public Counter(String name,
               String unit)

Method Detail

increment
```
public void increment(long inc)
```

increment
```
public void increment()
```

getCount
```
public long getCount()
```

getSummary
```
public String getSummary()
```

getDetails
```
public String getDetails()
```