Package de.learnlib.filter.statistic.sul
Class CounterStateLocalInputSUL<I,O>
- java.lang.Object
-
- de.learnlib.filter.statistic.sul.CounterSUL<I,O>
-
- de.learnlib.filter.statistic.sul.CounterStateLocalInputSUL<I,O>
-
- All Implemented Interfaces:
StatisticCollector,StatisticSUL<I,O>,StateLocalInputSUL<I,O>,SUL<I,O>
public class CounterStateLocalInputSUL<I,O> extends CounterSUL<I,O> implements StateLocalInputSUL<I,O>
-
-
Field Summary
-
Fields inherited from class de.learnlib.filter.statistic.sul.CounterSUL
resetCounter, symbolCounter
-
-
Constructor Summary
Constructors Constructor Description CounterStateLocalInputSUL(StateLocalInputSUL<I,O> sul)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Collection<I>currentlyEnabledInputs()StateLocalInputSUL<I,O>fork()CountergetInputCounter()StatisticDatagetStatisticalData()-
Methods inherited from class de.learnlib.filter.statistic.sul.CounterSUL
canFork, getResetCounter, getSymbolCounter, post, pre, step
-
-
-
-
Constructor Detail
-
CounterStateLocalInputSUL
public CounterStateLocalInputSUL(StateLocalInputSUL<I,O> sul)
-
-
Method Detail
-
currentlyEnabledInputs
public Collection<I> currentlyEnabledInputs()
- Specified by:
currentlyEnabledInputsin interfaceStateLocalInputSUL<I,O>
-
fork
public StateLocalInputSUL<I,O> fork()
-
getStatisticalData
public StatisticData getStatisticalData()
- Specified by:
getStatisticalDatain interfaceStatisticCollector- Overrides:
getStatisticalDatain classCounterSUL<I,O>
-
getInputCounter
public Counter getInputCounter()
-
-