de.learnlib.filter.cache.sul

Class SULCaches

java.lang.Object

de.learnlib.filter.cache.sul.SULCaches

public final class SULCaches
extends Object

Method Summary

Modifier and Type	Method and Description
static <I,O> SULCache<I,O>	createCache(Alphabet<I> alphabet, SUL<I,O> sul)
static <I,O> SULCache<I,O>	createDAGCache(Alphabet<I> alphabet, SUL<I,O> sul)
static <I,O> StateLocalInputSULCache<I,O>	createStateLocalInputCache(Alphabet<I> alphabet, StateLocalInputSUL<I,O> sul)
static <I,O> StateLocalInputSULCache<I,O>	createStateLocalInputTreeCache(Alphabet<I> alphabet, StateLocalInputSUL<I,O> sul)
static <I,O> SULCache<I,O>	createTreeCache(Alphabet<I> alphabet, SUL<I,O> sul)

Methods inherited from class java.lang.Object

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

Method Detail

createTreeCache

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

createCache

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

createDAGCache

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

createStateLocalInputTreeCache

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

createStateLocalInputCache

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