Package de.learnlib.filter.statistic.sul
Class SymbolCounterStateLocalInputSUL<I,O>
- java.lang.Object
-
- de.learnlib.filter.statistic.sul.SymbolCounterSUL<I,O>
-
- de.learnlib.filter.statistic.sul.SymbolCounterStateLocalInputSUL<I,O>
-
- All Implemented Interfaces:
StatisticCollector
,StatisticSUL<I,O>
,StateLocalInputSUL<I,O>
,SUL<I,O>
public class SymbolCounterStateLocalInputSUL<I,O> extends SymbolCounterSUL<I,O> implements StateLocalInputSUL<I,O>
-
-
Constructor Summary
Constructors Constructor Description SymbolCounterStateLocalInputSUL(String name, StateLocalInputSUL<I,O> sul)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Collection<I>
currentlyEnabledInputs()
Returns the enabled symbols for the current state of theSUL
.StateLocalInputSUL<I,O>
fork()
Forks this SUL, if possible.-
Methods inherited from class de.learnlib.filter.statistic.sul.SymbolCounterSUL
canFork, getStatisticalData, post, pre, step
-
-
-
-
Constructor Detail
-
SymbolCounterStateLocalInputSUL
public SymbolCounterStateLocalInputSUL(String name, StateLocalInputSUL<I,O> sul)
-
-
Method Detail
-
currentlyEnabledInputs
public Collection<I> currentlyEnabledInputs()
Description copied from interface:StateLocalInputSUL
Returns the enabled symbols for the current state of theSUL
.- Specified by:
currentlyEnabledInputs
in interfaceStateLocalInputSUL<I,O>
- Returns:
- the currently enabled inputs
-
fork
public StateLocalInputSUL<I,O> fork()
Description copied from interface:SUL
Forks this SUL, if possible. The fork of a SUL is a copy which behaves exactly the same as this SUL. This method should always return a reseted SUL, regardless of whether this call is made between a call toSUL.pre()
andSUL.post()
.If
SUL.canFork()
returnstrue
, this method must return a non-null
object, which should behave exactly like this SUL (in particular, it must be forkable as well). Otherwise, aUnsupportedOperationException
must be thrown.Implementation note: if resetting a SUL changes the internal state of this object in a non-trivial way (e.g., incrementing a counter to ensure independent sessions), care must be taken that forks of this SUL manipulate the same internal state.
-
-