Package de.learnlib.filter.cache.dfa

Class ThreadSafeDFACaches

java.lang.Object

de.learnlib.filter.cache.dfa.ThreadSafeDFACaches

public final class ThreadSafeDFACaches
extends Object

A factory for creating thread-safe caches for DFA-based MembershipOracles. Parameters and return types are tailored towards the use with ParallelOracleBuilders.

Method Summary

Modifier and Type	Method	Description
static <I> Collection<ThreadSafeDFACacheOracle<I>>	createCache(Alphabet<I> alphabet, Collection<? extends MembershipOracle<I,Boolean>> oracles)	Enhances each oracle of a given collection with a shared, thread-safe cache for a DFA learning setup.
static <I> Supplier<ThreadSafeDFACacheOracle<I>>	createCache(Alphabet<I> alphabet, Supplier<? extends MembershipOracle<I,Boolean>> oracleSupplier)	Enhances a given oracle supplier with a shared, thread-safe cache for a DFA learning setup.
static <I> Collection<ThreadSafeDFACacheOracle<I>>	createDAGCache(Alphabet<I> alphabet, Collection<? extends MembershipOracle<I,Boolean>> oracles)	Enhances each oracle of a given collection with a shared, thread-safe cache for a DFA learning setup, using a DAG for internal cache organization.
static <I> Supplier<ThreadSafeDFACacheOracle<I>>	createDAGCache(Alphabet<I> alphabet, Supplier<? extends MembershipOracle<I,Boolean>> oracleSupplier)	Enhances a given oracle supplier with a shared, thread-safe cache for a DFA learning setup, using a DAG for internal cache organization.
static <I> Collection<ThreadSafeDFACacheOracle<I>>	createDAGPCCache(Alphabet<I> alphabet, Collection<? extends MembershipOracle<I,Boolean>> oracles)	The prefix-closed version of createDAGCache(Alphabet, Collection).
static <I> Supplier<ThreadSafeDFACacheOracle<I>>	createDAGPCCache(Alphabet<I> alphabet, Supplier<? extends MembershipOracle<I,Boolean>> oracleSupplier)	The prefix-closed version of createDAGCache(Alphabet, Supplier).
static <I> Collection<ThreadSafeDFACacheOracle<I>>	createTreeCache(Alphabet<I> alphabet, Collection<? extends MembershipOracle<I,Boolean>> oracles)	Enhances each oracle of a given collection with a shared, thread-safe cache for a DFA learning setup, using a tree for internal cache organization.
static <I> Supplier<ThreadSafeDFACacheOracle<I>>	createTreeCache(Alphabet<I> alphabet, Supplier<? extends MembershipOracle<I,Boolean>> oracleSupplier)	Enhances a given oracle supplier with a shared, thread-safe cache for a DFA learning setup, using a tree for internal cache organization.
static <I> Collection<ThreadSafeDFACacheOracle<I>>	createTreePCCache(Alphabet<I> alphabet, Collection<? extends MembershipOracle<I,Boolean>> oracles)	Prefix-closed version of createTreeCache(Alphabet, Collection).
static <I> Supplier<ThreadSafeDFACacheOracle<I>>	createTreePCCache(Alphabet<I> alphabet, Supplier<? extends MembershipOracle<I,Boolean>> oracleSupplier)	Prefix-closed version of createTreeCache(Alphabet, Supplier).

Methods inherited from class java.lang.Object

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

Method Detail

createCache

public static <I> Supplier<ThreadSafeDFACacheOracle<I>> createCache(Alphabet<I> alphabet,
                                                                    Supplier<? extends MembershipOracle<I,Boolean>> oracleSupplier)

Enhances a given oracle supplier with a shared, thread-safe cache for a DFA learning setup.

Note that this method does not specify the implementation to use for the cache. Currently, a DAG (createDAGCache(Alphabet, Supplier)) is used; however, this may change in the future.

Type Parameters:

I - input symbol type

Parameters:

alphabet - the alphabet containing the symbols of possible queries

oracleSupplier - the supplier that is used to construct the delegate oracle for the cache, in case of a cache-miss.

Returns:

a supplier for ThreadSafeDFACacheOracles.

createCache

public static <I> Collection<ThreadSafeDFACacheOracle<I>> createCache(Alphabet<I> alphabet,
                                                                      Collection<? extends MembershipOracle<I,Boolean>> oracles)

Enhances each oracle of a given collection with a shared, thread-safe cache for a DFA learning setup.

Note that this method does not specify the implementation to use for the cache. Currently, a DAG (createDAGCache(Alphabet, Collection)) is used; however, this may change in the future.

Type Parameters:

I - input symbol type

Parameters:

alphabet - the alphabet containing the symbols of possible queries

oracles - the collection of oracles which will be used as delegates (in case of a cache-miss) by the corresponding oracles caches.

Returns:

a collection of ThreadSafeDFACacheOracles.

createDAGCache

public static <I> Supplier<ThreadSafeDFACacheOracle<I>> createDAGCache(Alphabet<I> alphabet,
                                                                       Supplier<? extends MembershipOracle<I,Boolean>> oracleSupplier)

Enhances a given oracle supplier with a shared, thread-safe cache 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

oracleSupplier - the supplier that is used to construct the delegate oracle for the cache, in case of a cache-miss.

Returns:

a supplier for ThreadSafeDFACacheOracles.

See Also:

IncrementalDFADAGBuilder

createDAGCache

public static <I> Collection<ThreadSafeDFACacheOracle<I>> createDAGCache(Alphabet<I> alphabet,
                                                                         Collection<? extends MembershipOracle<I,Boolean>> oracles)

Enhances each oracle of a given collection with a shared, thread-safe cache 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

oracles - the collection of oracles which will be used as delegates (in case of a cache-miss) by the corresponding oracles caches.

Returns:

a collection of ThreadSafeDFACacheOracles.

See Also:

IncrementalDFADAGBuilder

createDAGPCCache

public static <I> Supplier<ThreadSafeDFACacheOracle<I>> createDAGPCCache(Alphabet<I> alphabet,
                                                                         Supplier<? extends MembershipOracle<I,Boolean>> oracleSupplier)

The prefix-closed version of createDAGCache(Alphabet, Supplier).

Type Parameters:

I - input symbol type

Parameters:

alphabet - the alphabet containing the symbols of possible queries

oracleSupplier - the supplier that is used to construct the delegate oracle for the cache, in case of a cache-miss.

Returns:

a supplier for ThreadSafeDFACacheOracles.

See Also:

IncrementalPCDFADAGBuilder

createDAGPCCache

public static <I> Collection<ThreadSafeDFACacheOracle<I>> createDAGPCCache(Alphabet<I> alphabet,
                                                                           Collection<? extends MembershipOracle<I,Boolean>> oracles)

The prefix-closed version of createDAGCache(Alphabet, Collection).

Type Parameters:

I - input symbol type

Parameters:

alphabet - the alphabet containing the symbols of possible queries

oracles - the collection of oracles which will be used as delegates (in case of a cache-miss) by the corresponding oracles caches.

Returns:

a collection of ThreadSafeDFACacheOracles.

See Also:

IncrementalPCDFADAGBuilder

createTreeCache

public static <I> Supplier<ThreadSafeDFACacheOracle<I>> createTreeCache(Alphabet<I> alphabet,
                                                                        Supplier<? extends MembershipOracle<I,Boolean>> oracleSupplier)

Enhances a given oracle supplier with a shared, thread-safe cache 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

oracleSupplier - the supplier that is used to construct the delegate oracle for the cache, in case of a cache-miss.

Returns:

a supplier for ThreadSafeDFACacheOracles.

See Also:

IncrementalDFATreeBuilder

createTreeCache

public static <I> Collection<ThreadSafeDFACacheOracle<I>> createTreeCache(Alphabet<I> alphabet,
                                                                          Collection<? extends MembershipOracle<I,Boolean>> oracles)

Enhances each oracle of a given collection with a shared, thread-safe cache 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

oracles - the collection of oracles which will be used as delegates (in case of a cache-miss) by the corresponding oracles caches.

Returns:

a collection of ThreadSafeDFACacheOracles.

See Also:

IncrementalDFATreeBuilder

createTreePCCache

public static <I> Supplier<ThreadSafeDFACacheOracle<I>> createTreePCCache(Alphabet<I> alphabet,
                                                                          Supplier<? extends MembershipOracle<I,Boolean>> oracleSupplier)

Prefix-closed version of createTreeCache(Alphabet, Supplier).

Type Parameters:

I - input symbol type

Parameters:

alphabet - the alphabet containing the symbols of possible queries

oracleSupplier - the supplier that is used to construct the delegate oracle for the cache, in case of a cache-miss.

Returns:

a supplier for ThreadSafeDFACacheOracles.

See Also:

IncrementalPCDFATreeBuilder

createTreePCCache

public static <I> Collection<ThreadSafeDFACacheOracle<I>> createTreePCCache(Alphabet<I> alphabet,
                                                                            Collection<? extends MembershipOracle<I,Boolean>> oracles)

Prefix-closed version of createTreeCache(Alphabet, Collection).

Type Parameters:

I - input symbol type

Parameters:

alphabet - the alphabet containing the symbols of possible queries

oracles - the collection of oracles which will be used as delegates (in case of a cache-miss) by the corresponding oracles caches.

Returns:

a supplier for ThreadSafeDFACacheOracles.

See Also:

IncrementalPCDFATreeBuilder