Module de.learnlib.filter.cache

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

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