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>, LearningCache<DFA<?,I>,I,Boolean>, LearningCache.DFALearningCache<I>, LearningCacheOracle<DFA<?,I>,I,Boolean>, LearningCacheOracle.DFALearningCacheOracle<I>

@ParametersAreNonnullByDefault
public class DFACacheOracle<I>
extends Object
implements LearningCacheOracle.DFALearningCacheOracle<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.cache.LearningCacheOracle

LearningCacheOracle.DFALearningCacheOracle<I>, LearningCacheOracle.MealyLearningCacheOracle<I,O>

Nested classes/interfaces inherited from interface de.learnlib.cache.LearningCache

LearningCache.DFALearningCache<I>, LearningCache.MealyLearningCache<I,O>

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) Deprecated. since 2014-01-24. Use DFACaches.createCache(Alphabet, MembershipOracle)
DFACacheOracle(IncrementalDFABuilder<I> incDfa, MembershipOracle<I,Boolean> delegate)

Method Summary

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.
static <I> DFACacheOracle<I>	createDAGCacheOracle(Alphabet<I> alphabet, MembershipOracle<I,Boolean> delegate)
static <I> DFACacheOracle<I>	createTreeCacheOracle(Alphabet<I> alphabet, MembershipOracle<I,Boolean> delegate)
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

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

Deprecated. since 2014-01-24. Use DFACaches.createCache(Alphabet, MembershipOracle)

Constructor.

Parameters:

alphabet - the alphabet of the cache

delegate - the delegate oracle

DFACacheOracle

public DFACacheOracle(IncrementalDFABuilder<I> incDfa,
                      MembershipOracle<I,Boolean> delegate)

Method Detail

createTreeCacheOracle

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

createDAGCacheOracle

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

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.

Specified by:

createCacheConsistencyTest in interface LearningCache<DFA<?,I>,I,Boolean>

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>