de.learnlib.oracles

Class CounterOracle<I,O>

java.lang.Object

de.learnlib.oracles.CounterOracle<I,O>

All Implemented Interfaces:

Filter<I,O>, MembershipOracle<I,O>, StatisticOracle<I,O>

Direct Known Subclasses:

CounterOracle.DFACounterOracle, CounterOracle.MealyCounterOracle

public class CounterOracle<I,O>
extends Object
implements StatisticOracle<I,O>

Counts queries.

Author:

falkhowar

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	CounterOracle.DFACounterOracle<I>
static class	CounterOracle.MealyCounterOracle<I,O>

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

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

Constructor Summary

Constructors

Constructor and Description
CounterOracle(MembershipOracle<I,O> nextOracle, String name)

Method Summary

Methods

Modifier and Type	Method and Description
Counter	getStatisticalData()
void	processQueries(Collection<? extends Query<I,O>> queries) Processes the specified collection of queries.
void	setNext(MembershipOracle<I,O> next) sets oracle for processing membership queries.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CounterOracle

public CounterOracle(MembershipOracle<I,O> nextOracle,
             String name)

Method Detail

processQueries

public void processQueries(Collection<? extends Query<I,O>> queries)

Description copied from interface: MembershipOracle

Processes the specified collection of queries. When this method returns, the output field of each of the contained queries should reflect the SUL response to the respective query.

Specified by:

processQueries in interface MembershipOracle<I,O>

Parameters:

queries - the queries to process

See Also:

DefaultQuery.getOutput()

getStatisticalData

public Counter getStatisticalData()

Specified by:

getStatisticalData in interface StatisticOracle<I,O>

Returns:

the statistical data gathered by this oracle

setNext

public void setNext(MembershipOracle<I,O> next)

Description copied from interface: Filter

sets oracle for processing membership queries.

Specified by:

setNext in interface Filter<I,O>