de.learnlib.filter.statistic.oracle

Class CounterOracle<I,D>

java.lang.Object

de.learnlib.filter.statistic.oracle.CounterOracle<I,D>

All Implemented Interfaces:

Filter<I,D>, MembershipOracle<I,D>, QueryAnswerer<I,D>, StatisticOracle<I,D>

Direct Known Subclasses:

CounterOracle.DFACounterOracle, CounterOracle.MealyCounterOracle

@ParametersAreNonnullByDefault
public class CounterOracle<I,D>
extends Object
implements StatisticOracle<I,D>

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.oracle.MembershipOracle

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
long	getCount()
Counter	getCounter()
Counter	getStatisticalData()
void	processQueries(Collection<? extends Query<I,D>> queries)
void	setNext(MembershipOracle<I,D> next)

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.api.oracle.MembershipOracle

answerQuery, answerQuery, asOracle, processQuery

Constructor Detail

CounterOracle

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

Method Detail

processQueries

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

Specified by:

processQueries in interface MembershipOracle<I,D>

getStatisticalData

@Nonnull
public Counter getStatisticalData()

Specified by:

getStatisticalData in interface StatisticOracle<I,D>

getCounter

@Nonnull
public Counter getCounter()

getCount

public long getCount()

setNext

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

Specified by:

setNext in interface Filter<I,D>