Package de.learnlib.filter.statistic.oracle

Class MealyCounterOracle<I,O>

java.lang.Object

de.learnlib.filter.statistic.oracle.CounterOracle<I,net.automatalib.word.Word<O>>

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

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

BatchProcessor<Query<I,net.automatalib.word.Word<O>>>, MembershipOracle<I,net.automatalib.word.Word<O>>, MembershipOracle.MealyMembershipOracle<I,O>, QueryAnswerer<I,net.automatalib.word.Word<O>>, StatisticCollector, StatisticOracle<I,net.automatalib.word.Word<O>>

public class MealyCounterOracle<I,O>
extends CounterOracle<I,net.automatalib.word.Word<O>>
implements MembershipOracle.MealyMembershipOracle<I,O>

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
MealyCounterOracle(MembershipOracle.MealyMembershipOracle<I,O> 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

MealyCounterOracle

public MealyCounterOracle(MembershipOracle.MealyMembershipOracle<I,O> delegate)

Delegates to CounterOracle(MembershipOracle).

Parameters:

delegate - maps to the delegate parameter of the delegate