de.learnlib.cache

Class Caches

java.lang.Object

de.learnlib.cache.Caches

public abstract class Caches
extends Object

Method Summary

Methods

Modifier and Type	Method and Description
static <I> DFACacheOracle<I>	createDFACache(Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqOracle)
static <I,O> MealyCacheOracle<I,O>	createMealyCache(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> mqOracle)
static <I,O> SULCache<I,O>	createSULCache(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

createDFACache

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

createMealyCache

public static <I,O> MealyCacheOracle<I,O> createMealyCache(Alphabet<I> alphabet,
                                           MembershipOracle<I,Word<O>> mqOracle)

createSULCache

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