Uses of Class
de.learnlib.filter.statistic.Counter

Packages that use Counter

Package	Description
de.learnlib.filter.statistic.learner
de.learnlib.filter.statistic.oracle
de.learnlib.filter.statistic.sul

Uses of Counter in de.learnlib.filter.statistic.learner

Methods in de.learnlib.filter.statistic.learner that return Counter

Modifier and Type	Method and Description
Counter	RefinementCounterLearner.getStatisticalData()

Uses of Counter in de.learnlib.filter.statistic.oracle

Methods in de.learnlib.filter.statistic.oracle that return Counter

Modifier and Type	Method and Description
Counter	CounterOracle.getCounter()
Counter	CounterOracle.getStatisticalData()

Uses of Counter in de.learnlib.filter.statistic.sul

Methods in de.learnlib.filter.statistic.sul that return Counter

Modifier and Type	Method and Description
Counter	SymbolCounterSUL.getStatisticalData()
Counter	ResetCounterSUL.getStatisticalData()

Constructors in de.learnlib.filter.statistic.sul with parameters of type Counter

Constructor and Description
ResetCounterSUL(Counter counter, SUL<I,O> sul)
SymbolCounterSUL(Counter counter, SUL<I,O> sul)