de.learnlib.filter.statistic.sul

Class SymbolCounterSUL<I,O>

java.lang.Object

de.learnlib.filter.statistic.sul.SymbolCounterSUL<I,O>

All Implemented Interfaces:

StatisticSUL<I,O>, SUL<I,O>

Direct Known Subclasses:

SymbolCounterObservableSUL, SymbolCounterStateLocalInputSUL

@ParametersAreNonnullByDefault
public class SymbolCounterSUL<I,O>
extends Object
implements StatisticSUL<I,O>

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SymbolCounterSUL(Counter counter, SUL<I,O> sul)
	SymbolCounterSUL(String name, SUL<I,O> sul)

Method Summary

Modifier and Type	Method and Description
boolean	canFork()
boolean	equals(Object obj)
SUL<I,O>	fork()
Counter	getStatisticalData()
int	hashCode()
void	post()
void	pre()
O	step(I in)
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

SymbolCounterSUL

public SymbolCounterSUL(String name,
                        SUL<I,O> sul)

SymbolCounterSUL

protected SymbolCounterSUL(Counter counter,
                           SUL<I,O> sul)

Method Detail

pre

public void pre()

Specified by:

pre in interface SUL<I,O>

post

public void post()

Specified by:

post in interface SUL<I,O>

step

@Nullable
public O step(@Nullable
                        I in)
                 throws SULException

Specified by:

step in interface SUL<I,O>

Throws:

SULException

canFork

public boolean canFork()

Specified by:

canFork in interface SUL<I,O>

fork

public SUL<I,O> fork()

Specified by:

fork in interface SUL<I,O>

getStatisticalData

@Nonnull
public Counter getStatisticalData()

Specified by:

getStatisticalData in interface StatisticSUL<I,O>

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object