Package de.learnlib.filter.cache.mealy

Class InterningMealyMembershipOracle<I,O>

java.lang.Object

de.learnlib.filter.cache.InterningMembershipOracle<I,net.automatalib.word.Word<O>>

de.learnlib.filter.cache.mealy.InterningMealyMembershipOracle<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>>

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

A type-specific refinement of InterningMembershipOracle.

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
InterningMealyMembershipOracle(MembershipOracle.MealyMembershipOracle<I,O> delegate)	Delegates to InterningMembershipOracle(MembershipOracle).

Method Summary

Methods inherited from class de.learnlib.filter.cache.InterningMembershipOracle

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

InterningMealyMembershipOracle

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

Delegates to InterningMembershipOracle(MembershipOracle).

Parameters:

delegate - maps to the delegate parameter of the delegate