Package de.learnlib.filter.statistic.oracle

Class DFACounterOracle<I>

java.lang.Object

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

de.learnlib.filter.statistic.oracle.DFACounterOracle<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

BatchProcessor<Query<I,Boolean>>, MembershipOracle<I,Boolean>, MembershipOracle.DFAMembershipOracle<I>, QueryAnswerer<I,Boolean>, StatisticCollector, StatisticOracle<I,Boolean>

public class DFACounterOracle<I>
extends CounterOracle<I,Boolean>
implements MembershipOracle.DFAMembershipOracle<I>

A type-specific refinement of CounterOracle.

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
DFACounterOracle(MembershipOracle.DFAMembershipOracle<I> delegate)	Delegates to CounterOracle(MembershipOracle).

Method Summary

Methods inherited from class de.learnlib.filter.statistic.oracle.CounterOracle

getQueryCounter, getStatisticalData, getSymbolCounter, processQueries

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, processQueries, processQuery

Constructor Detail

DFACounterOracle

public DFACounterOracle(MembershipOracle.DFAMembershipOracle<I> delegate)

Delegates to CounterOracle(MembershipOracle).

Parameters:

delegate - maps to the delegate parameter of the delegate