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

public class DFACacheOracle<I>
extends Object
implements LearningCacheOracle.DFALearningCacheOracle<I>, SupportsGrowingAlphabet<I>, Resumable<DFACacheOracle.DFACacheOracleState<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

Modifier and Type	Class and Description
static class	DFACacheOracle.DFACacheOracleState<I>

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>

Method Summary

Modifier and Type	Method and Description
void	addAlphabetSymbol(I symbol)
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) Creates a cache oracle for a DFA learning setup, using a DAG for internal cache organization.
static <I> DFACacheOracle<I>	createDAGPCCacheOracle(Alphabet<I> alphabet, MembershipOracle<I,Boolean> delegate) Creates a prefix-closed cache oracle for a DFA learning setup, using a DAG for internal cache organization.
static <I> DFACacheOracle<I>	createTreeCacheOracle(Alphabet<I> alphabet, MembershipOracle<I,Boolean> delegate) Creates a cache oracle for a DFA learning setup, using a tree for internal cache organization.
static <I> DFACacheOracle<I>	createTreePCCacheOracle(Alphabet<I> alphabet, MembershipOracle<I,Boolean> delegate) Creates a prefix-closed cache oracle for a DFA learning setup, using a tree for internal cache organization.
void	processQueries(Collection<? extends Query<I,Boolean>> queries)
void	resume(DFACacheOracle.DFACacheOracleState<I> state)
DFACacheOracle.DFACacheOracleState<I>	suspend()

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

Method Detail

createTreeCacheOracle

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

Creates a cache oracle for a DFA learning setup, using a tree for internal cache organization.

Type Parameters:

I - input symbol type

Parameters:

alphabet - the alphabet containing the symbols of possible queries

delegate - the oracle to delegate queries to, in case of a cache-miss.

Returns:

the cached DFACacheOracle.

See Also:

IncrementalDFATreeBuilder

createTreePCCacheOracle

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

Creates a prefix-closed cache oracle for a DFA learning setup, using a tree for internal cache organization.

Type Parameters:

I - input symbol type

Parameters:

alphabet - the alphabet containing the symbols of possible queries

delegate - the oracle to delegate queries to, in case of a cache-miss.

Returns:

the cached DFACacheOracle.

See Also:

IncrementalPCDFATreeBuilder

createDAGCacheOracle

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

Creates a cache oracle for a DFA learning setup, using a DAG for internal cache organization.

Type Parameters:

I - input symbol type

Parameters:

alphabet - the alphabet containing the symbols of possible queries

delegate - the oracle to delegate queries to, in case of a cache-miss.

Returns:

the cached DFACacheOracle.

See Also:

IncrementalDFADAGBuilder

createDAGPCCacheOracle

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

Creates a prefix-closed cache oracle for a DFA learning setup, using a DAG for internal cache organization.

Type Parameters:

I - input symbol type

Parameters:

alphabet - the alphabet containing the symbols of possible queries

delegate - the oracle to delegate queries to, in case of a cache-miss.

Returns:

the cached DFACacheOracle.

See Also:

IncrementalPCDFADAGBuilder

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>

addAlphabetSymbol

public void addAlphabetSymbol(I symbol)

Specified by:

addAlphabetSymbol in interface SupportsGrowingAlphabet<I>

suspend

public DFACacheOracle.DFACacheOracleState<I> suspend()

Specified by:

suspend in interface Resumable<DFACacheOracle.DFACacheOracleState<I>>

resume

public void resume(DFACacheOracle.DFACacheOracleState<I> state)

Specified by:

resume in interface Resumable<DFACacheOracle.DFACacheOracleState<I>>