Package de.learnlib.filter.statistic.oracle

Class CounterSymbolQueryOracle<I,O>

java.lang.Object

de.learnlib.filter.statistic.oracle.CounterSymbolQueryOracle<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

MembershipOracle<I,Word<O>>, MembershipOracle.MealyMembershipOracle<I,O>, BatchProcessor<Query<I,Word<O>>>, QueryAnswerer<I,Word<O>>, SymbolQueryOracle<I,O>

public class CounterSymbolQueryOracle<I,O>
extends Object
implements SymbolQueryOracle<I,O>

A simple wrapper for counting the number of resets and symbol queries of a SymbolQueryOracle.

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.oracle.MembershipOracle

MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>, MembershipOracle.MooreMembershipOracle<I,O>

Constructor Summary

Constructors

Constructor	Description
CounterSymbolQueryOracle(SymbolQueryOracle<I,O> delegate)

Method Summary

Modifier and Type	Method	Description
long	getResetCount()
long	getSymbolCount()
O	query(I i)	Query the system under learning for a new symbol.
void	reset()	Reset the system under learning.

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

Methods inherited from interface de.learnlib.oracle.SymbolQueryOracle

processQueries

Constructor Detail

CounterSymbolQueryOracle

public CounterSymbolQueryOracle(SymbolQueryOracle<I,O> delegate)

Method Detail

query

public O query(I i)

Description copied from interface: SymbolQueryOracle

Query the system under learning for a new symbol. This is a stateful operation.

Specified by:

query in interface SymbolQueryOracle<I,O>

Parameters:

i - the symbol to query

Returns:

the observed output

reset

public void reset()

Description copied from interface: SymbolQueryOracle

Reset the system under learning.

Specified by:

reset in interface SymbolQueryOracle<I,O>

getResetCount

public long getResetCount()

getSymbolCount

public long getSymbolCount()