public abstract class MealyCaches extends Object
Modifier and Type | Method and Description |
---|---|
static <I,O> MealyCacheOracle<I,O> |
createCache(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> mqOracle)
Creates a cache oracle for a Mealy machine learning setup.
|
static <I,O> MealyCacheOracle<I,O> |
createDAGCache(Alphabet<I> alphabet,
Mapping<? super O,? extends O> errorSyms,
MembershipOracle<I,Word<O>> mqOracle)
Creates a cache oracle for a Mealy machine learning setup, using a DAG for internal cache organization.
|
static <I,O> MealyCacheOracle<I,O> |
createDAGCache(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> mqOracle)
Creates a cache oracle for a Mealy machine learning setup, using a DAG for internal cache organization.
|
static <I,O> MealyCacheOracle<I,O> |
createTreeCache(Alphabet<I> alphabet,
Mapping<? super O,? extends O> errorSyms,
MembershipOracle<I,Word<O>> mqOracle)
Creates a cache oracle for a Mealy machine learning setup, using a tree for internal cache organization.
|
static <I,O> MealyCacheOracle<I,O> |
createTreeCache(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> mqOracle)
Creates a cache oracle for a Mealy machine learning setup, using a tree for internal cache organization.
|
public static <I,O> MealyCacheOracle<I,O> createDAGCache(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> mqOracle)
alphabet
- the input alphabetmqOracle
- the membership oraclepublic static <I,O> MealyCacheOracle<I,O> createDAGCache(Alphabet<I> alphabet, Mapping<? super O,? extends O> errorSyms, MembershipOracle<I,Word<O>> mqOracle)
alphabet
- the input alphabeterrorSyms
- a mapping for the prefix-closure filtermqOracle
- the membership oraclepublic static <I,O> MealyCacheOracle<I,O> createTreeCache(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> mqOracle)
alphabet
- the input alphabetmqOracle
- the membership oraclepublic static <I,O> MealyCacheOracle<I,O> createTreeCache(Alphabet<I> alphabet, Mapping<? super O,? extends O> errorSyms, MembershipOracle<I,Word<O>> mqOracle)
alphabet
- the input alphabeterrorSyms
- a mapping for the prefix-closure filtermqOracle
- the membership oraclepublic static <I,O> MealyCacheOracle<I,O> createCache(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> mqOracle)
Note that this method does not specify the implementation to use for the cache. Currently, a DAG (IncrementalMealyDAGBuilder
)
is used; however, this may change in the future.
alphabet
- the input alphabetmqOracle
- the membership oracleCopyright © 2015. All rights reserved.