Package de.learnlib.filter.cache

Class InterningMembershipOracle<I,D>

java.lang.Object

de.learnlib.filter.cache.InterningMembershipOracle<I,D>

All Implemented Interfaces:

BatchProcessor<Query<I,D>>, MembershipOracle<I,D>, QueryAnswerer<I,D>

Direct Known Subclasses:

InterningMealyMembershipOracle, InterningMooreMembershipOracle

public class InterningMembershipOracle<I,D>
extends Object
implements MembershipOracle<I,D>

A MembershipOracle that interns query outputs. May be used to reduce memory consumption of data structures that store a lot of query responses. Typically, this oracle only makes sense for output types that are not already interned by the JVM (such as Booleans in case of MembershipOracle.DFAMembershipOracles).

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
InterningMembershipOracle(MembershipOracle<I,D> delegate)

Method Summary

Modifier and Type	Method	Description
void	processQueries(Collection<? extends Query<I,D>> queries)

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

Constructor Detail

InterningMembershipOracle

public InterningMembershipOracle(MembershipOracle<I,D> delegate)

Method Detail

processQueries

public void processQueries(Collection<? extends Query<I,D>> queries)

Specified by:

processQueries in interface MembershipOracle<I,D>