de.learnlib.filter.cache.dfa

Class DFACacheOracle<I>

java.lang.Object

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

Type Parameters:

I - input symbol class

All Implemented Interfaces:

MembershipOracle<I,Boolean>, MembershipOracle.DFAMembershipOracle<I>, QueryAnswerer<I,Boolean>, LearningCache<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>, LearningCache.DFALearningCache<I>, LearningCacheOracle<net.automatalib.automata.fsa.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.filter.cache.LearningCacheOracle

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

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

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

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

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

Constructor Summary

Constructors

Constructor and Description
DFACacheOracle(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> delegate) Deprecated. since 2014-01-24. Use DFACaches.createCache(Alphabet, MembershipOracle)
DFACacheOracle(net.automatalib.incremental.dfa.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(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> delegate)
static <I> DFACacheOracle<I>	createDAGPCCacheOracle(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> delegate)
static <I> DFACacheOracle<I>	createTreeCacheOracle(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> delegate)
static <I> DFACacheOracle<I>	createTreePCCacheOracle(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> delegate)
void	processQueries(Collection<? extends Query<I,Boolean>> queries) Processes the specified collection of 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.api.oracle.MembershipOracle

answerQuery, answerQuery, asOracle, processQuery

Constructor Detail

DFACacheOracle

@Deprecated
public DFACacheOracle(net.automatalib.words.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(net.automatalib.incremental.dfa.IncrementalDFABuilder<I> incDfa,
                      MembershipOracle<I,Boolean> delegate)

Method Detail

createTreeCacheOracle

public static <I> DFACacheOracle<I> createTreeCacheOracle(net.automatalib.words.Alphabet<I> alphabet,
                                                          MembershipOracle<I,Boolean> delegate)

createTreePCCacheOracle

public static <I> DFACacheOracle<I> createTreePCCacheOracle(net.automatalib.words.Alphabet<I> alphabet,
                                                            MembershipOracle<I,Boolean> delegate)

createDAGCacheOracle

public static <I> DFACacheOracle<I> createDAGCacheOracle(net.automatalib.words.Alphabet<I> alphabet,
                                                         MembershipOracle<I,Boolean> delegate)

createDAGPCCacheOracle

public static <I> DFACacheOracle<I> createDAGPCCacheOracle(net.automatalib.words.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<net.automatalib.automata.fsa.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)

Description copied from interface: MembershipOracle

Processes the specified collection of queries. When this method returns, each of the contained queries Query.answer(Object) method should have been called with an argument reflecting the SUL response to the respective query.

Specified by:

processQueries in interface MembershipOracle<I,Boolean>

Parameters:

queries - the queries to process

See Also:

Query.answer(Object)