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) |
public static <I> DFACacheOracle<I> createDFACache(Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqOracle)
public static <I,O> MealyCacheOracle<I,O> createMealyCache(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> mqOracle)
public static <I,O> SULCache<I,O> createSULCache(Alphabet<I> alphabet, SUL<I,O> sul)
Copyright © 2014. All Rights Reserved.