@ParametersAreNonnullByDefault public final class DFACaches extends Object
Modifier and Type | Method and Description |
---|---|
static <I> DFACacheOracle<I> |
createCache(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> mqOracle)
Creates a cache oracle for a DFA learning setup.
|
static <I> DFACacheOracle<I> |
createDAGCache(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> mqOracle)
Creates a cache oracle for a DFA learning setup, using a DAG for internal cache organization.
|
static <I> DFACacheOracle<I> |
createDAGPCCache(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> mqOracle) |
static <I> LearningCacheOracle.DFALearningCacheOracle<I> |
createHashCache(MembershipOracle<I,Boolean> mqOracle) |
static <I> DFACacheOracle<I> |
createTreeCache(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> mqOracle) |
static <I> DFACacheOracle<I> |
createTreePCCache(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> mqOracle) |
public static <I> DFACacheOracle<I> createDAGPCCache(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqOracle)
public static <I> DFACacheOracle<I> createTreeCache(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqOracle)
public static <I> DFACacheOracle<I> createTreePCCache(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqOracle)
public static <I> LearningCacheOracle.DFALearningCacheOracle<I> createHashCache(MembershipOracle<I,Boolean> mqOracle)
public static <I> DFACacheOracle<I> createCache(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqOracle)
Note that this method does not specify the implementation to use for the cache. Currently, a DAG (IncrementalDFABuilder
) is used; however, this may change in the future.
alphabet
- the input alphabetmqOracle
- the membership oraclepublic static <I> DFACacheOracle<I> createDAGCache(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqOracle)
alphabet
- the input alphabetmqOracle
- the membership oracleCopyright © 2018. All rights reserved.