public final class MealyCaches extends Object
Modifier and Type | Method and Description |
---|---|
static <I,O> MealyCacheOracle<I,O> |
createCache(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle)
Creates a cache oracle for a Mealy machine learning setup.
|
static <I,O> MealyCacheOracle<I,O> |
createDAGCache(net.automatalib.words.Alphabet<I> alphabet,
net.automatalib.commons.util.mappings.Mapping<? super O,? extends O> errorSyms,
MembershipOracle<I,net.automatalib.words.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(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.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(net.automatalib.words.Alphabet<I> alphabet,
net.automatalib.commons.util.mappings.Mapping<? super O,? extends O> errorSyms,
MembershipOracle<I,net.automatalib.words.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(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.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(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle)
alphabet
- the input alphabetmqOracle
- the membership oraclepublic static <I,O> MealyCacheOracle<I,O> createDAGCache(net.automatalib.words.Alphabet<I> alphabet, net.automatalib.commons.util.mappings.Mapping<? super O,? extends O> errorSyms, MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle)
alphabet
- the input alphabeterrorSyms
- a mapping for the prefix-closure filtermqOracle
- the membership oraclepublic static <I,O> MealyCacheOracle<I,O> createTreeCache(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle)
alphabet
- the input alphabetmqOracle
- the membership oraclepublic static <I,O> MealyCacheOracle<I,O> createTreeCache(net.automatalib.words.Alphabet<I> alphabet, net.automatalib.commons.util.mappings.Mapping<? super O,? extends O> errorSyms, MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle)
alphabet
- the input alphabeterrorSyms
- a mapping for the prefix-closure filtermqOracle
- the membership oraclepublic static <I,O> MealyCacheOracle<I,O> createCache(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.words.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 © 2018. All rights reserved.