de.learnlib.cache.dfa

Class DFACacheOracle<I>

java.lang.Object

de.learnlib.cache.dfa.DFACacheOracle<I>

Type Parameters:

I - input symbol class

All Implemented Interfaces:

MembershipOracle<I,Boolean>, MembershipOracle.DFAMembershipOracle<I>

public class DFACacheOracle<I>
extends Object
implements MembershipOracle.DFAMembershipOracle<I>

DFA cache. This cache is implemented as a membership oracle: upon construction, it is provided with a delegate oracle. Queries that can be answered from the cache are answered directly, others are forwarded to the delegate oracle. When the delegate oracle has finished processing these remaining queries, the results are incorporated into the cache.

Author:

Malte Isberner

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.api.MembershipOracle

MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>

Constructor Summary

Constructors

Constructor and Description
DFACacheOracle(Alphabet<I> alphabet, MembershipOracle<I,Boolean> delegate) Constructor.

Method Summary

Methods

Modifier and Type	Method and Description
DFACacheConsistencyTest<I>	createCacheConsistencyTest() Creates an equivalence oracle that checks an hypothesis for consistency with the contents of this cache.
int	getCacheSize()
void	processQueries(Collection<? extends Query<I,Boolean>> queries)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DFACacheOracle

public DFACacheOracle(Alphabet<I> alphabet,
              MembershipOracle<I,Boolean> delegate)

Constructor.

Parameters:

alphabet - the alphabet of the cache

delegate - the delegate oracle

Method Detail

getCacheSize

public int getCacheSize()

createCacheConsistencyTest

public DFACacheConsistencyTest<I> createCacheConsistencyTest()

Creates an equivalence oracle that checks an hypothesis for consistency with the contents of this cache. Note that the returned oracle is backed by the cache data structure, i.e., it is sufficient to call this method once after creation of the cache.

Returns:

the cache consistency test backed by the contents of this cache.

processQueries

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

Specified by:

processQueries in interface MembershipOracle<I,Boolean>