Package de.learnlib.filter.cache.dfa

Class DFACaches

java.lang.Object

de.learnlib.filter.cache.dfa.DFACaches

public final class DFACaches
extends Object

A factory for creating caches for DFA-based MembershipOracles.

Method Summary

Modifier and Type	Method	Description
static <I> DFACacheOracle<I>	createCache(Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqOracle)	Creates a cache oracle for a DFA learning setup.
static <I> DFACacheOracle<I>	createDAGCache(Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqOracle)	Creates a cache oracle for a DFA learning setup, using a DAG for internal cache organization.
static <I> DFACacheOracle<I>	createDAGPCCache(Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqOracle)	Creates a prefix-closed cache oracle for a DFA learning setup, using a DAG for internal cache organization.
static <I> DFAHashCacheOracle<I>	createHashCache(MembershipOracle<I,Boolean> mqOracle)	Creates a cache oracle for a DFA learning setup, using a Map for internal cache organization.
static <I> DFACacheOracle<I>	createTreeCache(Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqOracle)	Creates a cache oracle for a DFA learning setup, using a tree for internal cache organization.
static <I> DFACacheOracle<I>	createTreePCCache(Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqOracle)	Creates a prefix-closed cache oracle for a DFA learning setup, using a tree for internal cache organization.

Methods inherited from class java.lang.Object

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

Method Detail

createCache

public static <I> DFACacheOracle<I> createCache(Alphabet<I> alphabet,
                                                MembershipOracle<I,Boolean> mqOracle)

Creates a cache oracle for a DFA learning setup.

Note that this method does not specify the implementation to use for the cache. Currently, a DAG (createDAGCache(net.automatalib.alphabet.Alphabet<I>, de.learnlib.oracle.MembershipOracle<I, java.lang.Boolean>)) is used; however, this may change in the future.

Parameters:

alphabet - the input alphabet

mqOracle - the membership oracle

Returns:

a Mealy learning cache with a default implementation

createDAGCache

public static <I> DFACacheOracle<I> createDAGCache(Alphabet<I> alphabet,
                                                   MembershipOracle<I,Boolean> mqOracle)

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

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

Returns:

the cached DFACacheOracle.

See Also:

IncrementalDFADAGBuilder

createDAGPCCache

public static <I> DFACacheOracle<I> createDAGPCCache(Alphabet<I> alphabet,
                                                     MembershipOracle<I,Boolean> mqOracle)

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

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

Returns:

the cached DFACacheOracle.

See Also:

IncrementalPCDFADAGBuilder

createTreeCache

public static <I> DFACacheOracle<I> createTreeCache(Alphabet<I> alphabet,
                                                    MembershipOracle<I,Boolean> mqOracle)

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

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

Returns:

the cached DFACacheOracle.

See Also:

IncrementalDFATreeBuilder

createTreePCCache

public static <I> DFACacheOracle<I> createTreePCCache(Alphabet<I> alphabet,
                                                      MembershipOracle<I,Boolean> mqOracle)

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

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

Returns:

the cached DFACacheOracle.

See Also:

IncrementalPCDFATreeBuilder

createHashCache

public static <I> DFAHashCacheOracle<I> createHashCache(MembershipOracle<I,Boolean> mqOracle)

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

Type Parameters:

I - input symbol type

Parameters:

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

Returns:

the cached DFAHashCacheOracle.