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>
AMembershipOraclethat 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 asBooleans in case ofMembershipOracle.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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidprocessQueries(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:
processQueriesin interfaceMembershipOracle<I,D>
-
-