Module de.learnlib.filter.cache

Package de.learnlib.filter.cache.moore

Class InterningMooreMembershipOracle<I,O>

java.lang.Object

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

de.learnlib.filter.cache.moore.InterningMooreMembershipOracle<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.MooreMembershipOracle<I,O>, QueryAnswerer<I,net.automatalib.word.Word<O>>

public class InterningMooreMembershipOracle<I,O>
extends InterningMembershipOracle<I,net.automatalib.word.Word<O>>
implements MembershipOracle.MooreMembershipOracle<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
InterningMooreMembershipOracle(MembershipOracle.MooreMembershipOracle<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

InterningMooreMembershipOracle

public InterningMooreMembershipOracle(MembershipOracle.MooreMembershipOracle<I,O> delegate)

Delegates to InterningMembershipOracle(MembershipOracle).

Parameters:

delegate - maps to the delegate parameter of the delegate