Package de.learnlib.filter.cache.sul

Class SULCaches

java.lang.Object

de.learnlib.filter.cache.sul.SULCaches

public final class SULCaches
extends Object

A factory for creating caches for SULs.

Method Summary

Modifier and Type	Method	Description
static <I,O> SULCache<I,O>	createCache(Alphabet<I> alphabet, SUL<I,O> sul)	Creates a SULCache for a given SUL.
static <I,O> SULCache<I,O>	createDAGCache(Alphabet<I> alphabet, SUL<I,O> sul)	Creates a SULCache for a given SUL, using a DAG for internal cache organization.
static <I,O> StateLocalInputSULCache<I,O>	createStateLocalInputCache(Alphabet<I> alphabet, StateLocalInputSUL<I,O> sul)	Creates a StateLocalInputSULCache for a given StateLocalInputSUL.
static <I,O> StateLocalInputSULCache<I,O>	createStateLocalInputTreeCache(Alphabet<I> alphabet, StateLocalInputSUL<I,O> sul)	Creates a StateLocalInputSULCache for a given StateLocalInputSUL, using a tree for internal cache organization.
static <I,O> SULCache<I,O>	createTreeCache(Alphabet<I> alphabet, SUL<I,O> sul)	Creates a SULCache for a given SUL, 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,O> SULCache<I,O> createCache(Alphabet<I> alphabet,
                                                          SUL<I,O> sul)

Creates a SULCache for a given SUL.

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.sul.SUL<I, O>)) is used; however, this may change in the future.

Parameters:

alphabet - the input alphabet

sul - the sul

Returns:

a SULCache with a default implementation

createDAGCache

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

Creates a SULCache for a given SUL, using a DAG for internal cache organization.

Parameters:

alphabet - the input alphabet

sul - the sul

Returns:

a SULCache with a DAG-based implementation

See Also:

IncrementalMealyDAGBuilder

createTreeCache

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

Creates a SULCache for a given SUL, using a tree for internal cache organization.

Parameters:

alphabet - the input alphabet

sul - the sul

Returns:

a SULCache with a tree-based implementation

See Also:

IncrementalMealyTreeBuilder

createStateLocalInputCache

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

Creates a StateLocalInputSULCache for a given StateLocalInputSUL.

Note that this method does not specify the implementation to use for the cache. Currently, a tree (createStateLocalInputTreeCache(net.automatalib.alphabet.Alphabet<I>, de.learnlib.sul.StateLocalInputSUL<I, O>)) is used; however, this may change in the future.

Parameters:

alphabet - the input alphabet

sul - the sul

Returns:

a StateLocalInputSULCache with a default implementation

createStateLocalInputTreeCache

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

Creates a StateLocalInputSULCache for a given StateLocalInputSUL, using a tree for internal cache organization.

Parameters:

alphabet - the input alphabet

sul - the sul

Returns:

a StateLocalInputSULCache with a tree-based implementation

See Also:

IncrementalMealyTreeBuilder