Package de.learnlib.filter.statistic.sul
Class CounterSUL<I,O>
- java.lang.Object
-
- de.learnlib.filter.statistic.sul.CounterSUL<I,O>
-
- All Implemented Interfaces:
StatisticCollector,StatisticSUL<I,O>,SUL<I,O>
- Direct Known Subclasses:
CounterObservableSUL,CounterStateLocalInputSUL
public class CounterSUL<I,O> extends Object implements StatisticSUL<I,O>
-
-
Field Summary
Fields Modifier and Type Field Description protected CounterresetCounterprotected CountersymbolCounter
-
Constructor Summary
Constructors Modifier Constructor Description CounterSUL(SUL<I,O> sul)protectedCounterSUL(SUL<I,O> sul, Counter resetCounter, Counter symbolCounter)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleancanFork()SUL<I,O>fork()CountergetResetCounter()StatisticDatagetStatisticalData()CountergetSymbolCounter()voidpost()voidpre()Ostep(I in)
-
-
-
Method Detail
-
getStatisticalData
public StatisticData getStatisticalData()
- Specified by:
getStatisticalDatain interfaceStatisticCollector
-
getResetCounter
public Counter getResetCounter()
-
getSymbolCounter
public Counter getSymbolCounter()
-
-