Module de.learnlib.filter.statistic
Class CounterAdaptiveQueryOracle<I,O>
- java.lang.Object
-
- de.learnlib.filter.statistic.oracle.CounterAdaptiveQueryOracle<I,O>
-
- Type Parameters:
I
- input symbol typeO
- output symbol type
- All Implemented Interfaces:
AdaptiveMembershipOracle<I,O>
,BatchProcessor<AdaptiveQuery<I,O>>
,StatisticCollector
public class CounterAdaptiveQueryOracle<I,O> extends Object implements AdaptiveMembershipOracle<I,O>, StatisticCollector
-
-
Constructor Summary
Constructors Constructor Description CounterAdaptiveQueryOracle(AdaptiveMembershipOracle<I,O> delegate)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Counter
getResetCounter()
StatisticData
getStatisticalData()
Returns this statistical data gathered by this collector.Counter
getSymbolCounter()
void
processQueries(Collection<? extends AdaptiveQuery<I,O>> queries)
Processes the specified collection of 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.AdaptiveMembershipOracle
processBatch, processQuery
-
-
-
-
Constructor Detail
-
CounterAdaptiveQueryOracle
public CounterAdaptiveQueryOracle(AdaptiveMembershipOracle<I,O> delegate)
-
-
Method Detail
-
getResetCounter
public Counter getResetCounter()
-
getSymbolCounter
public Counter getSymbolCounter()
-
processQueries
public void processQueries(Collection<? extends AdaptiveQuery<I,O>> queries)
Description copied from interface:AdaptiveMembershipOracle
Processes the specified collection of queries. When this method returns, the provided inputs of theAdaptiveQuery.getInput()
method will have been evaluated on the system under learning and its responses will have been forwarded to theAdaptiveQuery.processOutput(Object)
method until the method has returnedAdaptiveQuery.Response.FINISHED
.- Specified by:
processQueries
in interfaceAdaptiveMembershipOracle<I,O>
- Parameters:
queries
- the queries to process
-
getStatisticalData
public StatisticData getStatisticalData()
Description copied from interface:StatisticCollector
Returns this statistical data gathered by this collector.- Specified by:
getStatisticalData
in interfaceStatisticCollector
- Returns:
- the statistical data gathered by this collector
-
-