Class CounterOracle<I,D>
- java.lang.Object
-
- de.learnlib.filter.statistic.oracle.CounterOracle<I,D>
-
- Type Parameters:
I- input symbol typeD- output domain type
- All Implemented Interfaces:
BatchProcessor<Query<I,D>>,MembershipOracle<I,D>,QueryAnswerer<I,D>,StatisticCollector,StatisticOracle<I,D>
- Direct Known Subclasses:
DFACounterOracle,MealyCounterOracle,MooreCounterOracle
public class CounterOracle<I,D> extends Object implements StatisticOracle<I,D>
AMembershipOraclethat counts both the number of queries and the total number of symbols occurring in all those queries.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface de.learnlib.oracle.MembershipOracle
MembershipOracle.DFAMembershipOracle<I extends Object>, MembershipOracle.MealyMembershipOracle<I extends Object,O extends Object>, MembershipOracle.MooreMembershipOracle<I extends Object,O extends Object>
-
-
Constructor Summary
Constructors Constructor Description CounterOracle(MembershipOracle<I,D> delegate)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description CountergetQueryCounter()RetrievesCounterfor the number of queries posed to this oracle.StatisticDatagetStatisticalData()CountergetSymbolCounter()Retrieves theCounterfor the number of symbols in all queries posed to this oracle.voidprocessQueries(Collection<? extends Query<I,D>> queries)-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface de.learnlib.oracle.MembershipOracle
answerQuery, answerQuery, asOracle, processBatch, processQuery
-
-
-
-
Constructor Detail
-
CounterOracle
public CounterOracle(MembershipOracle<I,D> delegate)
-
-
Method Detail
-
processQueries
public void processQueries(Collection<? extends Query<I,D>> queries)
- Specified by:
processQueriesin interfaceMembershipOracle<I,D>
-
getQueryCounter
public Counter getQueryCounter()
RetrievesCounterfor the number of queries posed to this oracle.- Returns:
- the counter of queries
-
getSymbolCounter
public Counter getSymbolCounter()
Retrieves theCounterfor the number of symbols in all queries posed to this oracle.- Returns:
- the counter of symbols
-
getStatisticalData
public StatisticData getStatisticalData()
- Specified by:
getStatisticalDatain interfaceStatisticCollector
-
-