Package de.learnlib.filter.cache.sul

Class ThreadSafeSULCaches

java.lang.Object

de.learnlib.filter.cache.sul.ThreadSafeSULCaches

public final class ThreadSafeSULCaches
extends Object

A factory for creating thread-safe SUL caches.

Method Summary

Modifier and Type	Method	Description
static <I,O> ThreadSafeSULCache<I,O>	createCache(Alphabet<I> alphabet, SUL<I,O> sul)	Wraps a given SUL in a thread-safe variant of a SULCache that supports forking iff the given SUL supports it.
static <I,O> ThreadSafeSULCache<I,O>	createDAGCache(Alphabet<I> alphabet, SUL<I,O> sul)	Wraps a given SUL in a thread-safe variant of a SULCache that supports forking iff the given SUL supports it and uses a DAG for internal cache organization.
static <I,O> ThreadSafeStateLocalInputSULCache<I,O>	createStateLocalInputCache(Alphabet<I> alphabet, StateLocalInputSUL<I,O> sul)	Wraps a given StateLocalInputSUL in a thread-safe variant of a StateLocalInputSULCache that supports forking iff the given SUL supports it.
static <I,O> ThreadSafeStateLocalInputSULCache<I,O>	createStateLocalInputTreeCache(Alphabet<I> alphabet, StateLocalInputSUL<I,O> sul)	Wraps a given StateLocalInputSUL in a thread-safe variant of a StateLocalInputSULCache that supports forking iff the given SUL supports it and uses a tree for internal cache organization.
static <I,O> ThreadSafeSULCache<I,O>	createTreeCache(Alphabet<I> alphabet, SUL<I,O> sul)	Wraps a given SUL in a thread-safe variant of a SULCache that supports forking iff the given SUL supports it and uses 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,O> ThreadSafeSULCache<I,O> createCache(Alphabet<I> alphabet,
                                                                    SUL<I,O> sul)

Wraps a given SUL in a thread-safe variant of a SULCache that supports forking iff the given SUL supports it.

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

Type Parameters:

I - input symbol type

O - output symbol type

Parameters:

alphabet - the alphabet containing the symbols of possible queries

sul - the supplier that is used as a delegate, in case of a cache-miss.

Returns:

a ThreadSafeSULCache.

createDAGCache

public static <I,O> ThreadSafeSULCache<I,O> createDAGCache(Alphabet<I> alphabet,
                                                                       SUL<I,O> sul)

Wraps a given SUL in a thread-safe variant of a SULCache that supports forking iff the given SUL supports it and uses a DAG for internal cache organization.

Type Parameters:

I - input symbol type

O - output symbol type

Parameters:

alphabet - the alphabet containing the symbols of possible queries

sul - the supplier that is used as a delegate, in case of a cache-miss.

Returns:

a ThreadSafeSULCache.

See Also:

IncrementalMealyDAGBuilder

createTreeCache

public static <I,O> ThreadSafeSULCache<I,O> createTreeCache(Alphabet<I> alphabet,
                                                                        SUL<I,O> sul)

Wraps a given SUL in a thread-safe variant of a SULCache that supports forking iff the given SUL supports it and uses a tree for internal cache organization.

Type Parameters:

I - input symbol type

O - output symbol type

Parameters:

alphabet - the alphabet containing the symbols of possible queries

sul - the supplier that is used as a delegate, in case of a cache-miss.

Returns:

a ThreadSafeSULCache.

See Also:

IncrementalMealyTreeBuilder

createStateLocalInputCache

public static <I,O> ThreadSafeStateLocalInputSULCache<I,O> createStateLocalInputCache(Alphabet<I> alphabet,
                                                                                                  StateLocalInputSUL<I,O> sul)

Wraps a given StateLocalInputSUL in a thread-safe variant of a StateLocalInputSULCache that supports forking iff the given SUL supports it.

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

Type Parameters:

I - input symbol type

O - output symbol type

Parameters:

alphabet - the alphabet containing the symbols of possible queries

sul - the supplier that is used as a delegate, in case of a cache-miss.

Returns:

a ThreadSafeSULCache.

createStateLocalInputTreeCache

public static <I,O> ThreadSafeStateLocalInputSULCache<I,O> createStateLocalInputTreeCache(Alphabet<I> alphabet,
                                                                                                      StateLocalInputSUL<I,O> sul)

Wraps a given StateLocalInputSUL in a thread-safe variant of a StateLocalInputSULCache that supports forking iff the given SUL supports it and uses a tree for internal cache organization.

Type Parameters:

I - input symbol type

O - output symbol type

Parameters:

alphabet - the alphabet containing the symbols of possible queries

sul - the supplier that is used as a delegate, in case of a cache-miss.

Returns:

a ThreadSafeStateLocalInputSULCache.

See Also:

IncrementalMealyTreeBuilder