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

Modifier and Type	Method	Description
Collection<I>	currentlyEnabledInputs()
StateLocalInputSUL<I,O>	fork()
Counter	getInputCounter()
StatisticData	getStatisticalData()

Methods inherited from class de.learnlib.filter.statistic.sul.CounterSUL

canFork, getResetCounter, getSymbolCounter, post, pre, step

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.learnlib.sul.SUL

canFork, post, pre, step

Constructor Detail

CounterStateLocalInputSUL

public CounterStateLocalInputSUL(StateLocalInputSUL<I,O> sul)

Method Detail

currentlyEnabledInputs

public Collection<I> currentlyEnabledInputs()

Specified by:

currentlyEnabledInputs in interface StateLocalInputSUL<I,O>

fork

public StateLocalInputSUL<I,O> fork()

Specified by:

fork in interface StateLocalInputSUL<I,O>

Specified by:

fork in interface SUL<I,O>

Overrides:

fork in class CounterSUL<I,O>

getStatisticalData

public StatisticData getStatisticalData()

Specified by:

getStatisticalData in interface StatisticCollector

Overrides:

getStatisticalData in class CounterSUL<I,O>

getInputCounter

public Counter getInputCounter()