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

Packages that use Counter

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

Uses of Counter in de.learnlib.filter.statistic

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

Constructor	Description
CounterCollection(Counter... counters)

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

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

Modifier and Type	Method	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	Description
Counter	CounterOracle.getQueryCounter()	Retrieves Counter for the number of queries posed to this oracle.
Counter	CounterAdaptiveQueryOracle.getResetCounter()
Counter	CounterAdaptiveQueryOracle.getSymbolCounter()
Counter	CounterOracle.getSymbolCounter()	Retrieves the Counter for the number of symbols in all queries posed to this oracle.

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

Fields in de.learnlib.filter.statistic.sul declared as Counter

Modifier and Type	Field	Description
protected Counter	CounterSUL.resetCounter
protected Counter	CounterSUL.symbolCounter

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

Modifier and Type	Method	Description
Counter	CounterStateLocalInputSUL.getInputCounter()
Counter	CounterSUL.getResetCounter()
Counter	CounterSUL.getSymbolCounter()

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

Constructor	Description
CounterSUL(SUL<I,O> sul, Counter resetCounter, Counter symbolCounter)