Package de.learnlib.filter.cache.moore

Class MooreCaches

java.lang.Object

de.learnlib.filter.cache.moore.MooreCaches

public final class MooreCaches
extends Object

A factory for creating caches for Moore-based MembershipOracles.

Method Summary

Modifier and Type	Method	Description
static <I,O> MooreCacheOracle<I,O>	createCache(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> mqOracle)	Creates a cache oracle for a Moore machine learning setup.
static <I,O> MooreCacheOracle<I,O>	createDAGCache(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> mqOracle)	Creates a cache oracle for a Moore machine learning setup, using a DAG for internal cache organization.
static <I,O> MooreCacheOracle<I,O>	createDAGCache(Alphabet<I> alphabet, Mapping<? super O,? extends O> errorSyms, MembershipOracle<I,Word<O>> mqOracle)	Creates a cache oracle for a Moore machine learning setup, using a DAG for internal cache organization.
static <I,O> MooreCacheOracle<I,O>	createTreeCache(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> mqOracle)	Creates a cache oracle for a Moore machine learning setup, using a tree for internal cache organization.
static <I,O> MooreCacheOracle<I,O>	createTreeCache(Alphabet<I> alphabet, Mapping<? super O,? extends O> errorSyms, MembershipOracle<I,Word<O>> mqOracle)	Creates a cache oracle for a Moore machine learning setup, using a tree for internal cache organization.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

createCache

public static <I,O> MooreCacheOracle<I,O> createCache(Alphabet<I> alphabet,
                                                                  MembershipOracle<I,Word<O>> mqOracle)

Creates a cache oracle for a Moore machine learning setup.

Note that this method does not specify the implementation to use for the cache. Currently, a DAG (createDAGCache(net.automatalib.alphabet.Alphabet<I>, de.learnlib.oracle.MembershipOracle<I, net.automatalib.word.Word<O>>)) is used; however, this may change in the future.

Parameters:

alphabet - the input alphabet

mqOracle - the membership oracle

Returns:

a Moore learning cache with a default implementation

createDAGCache

public static <I,O> MooreCacheOracle<I,O> createDAGCache(Alphabet<I> alphabet,
                                                                     MembershipOracle<I,Word<O>> mqOracle)

Creates a cache oracle for a Moore machine learning setup, using a DAG for internal cache organization.

Parameters:

alphabet - the input alphabet

mqOracle - the membership oracle

Returns:

a Moore learning cache with a DAG-based implementation

See Also:

IncrementalMooreDAGBuilder

createDAGCache

public static <I,O> MooreCacheOracle<I,O> createDAGCache(Alphabet<I> alphabet,
                                                                     Mapping<? super O,? extends O> errorSyms,
                                                                     MembershipOracle<I,Word<O>> mqOracle)

Creates a cache oracle for a Moore machine learning setup, using a DAG for internal cache organization.

Parameters:

alphabet - the input alphabet

errorSyms - a mapping for the prefix-closure filter

mqOracle - the membership oracle

Returns:

a Moore learning cache with a DAG-based implementation

See Also:

IncrementalMooreDAGBuilder

createTreeCache

public static <I,O> MooreCacheOracle<I,O> createTreeCache(Alphabet<I> alphabet,
                                                                      MembershipOracle<I,Word<O>> mqOracle)

Creates a cache oracle for a Moore machine learning setup, using a tree for internal cache organization.

Parameters:

alphabet - the input alphabet

mqOracle - the membership oracle

Returns:

a Moore learning cache with a tree-based implementation

See Also:

IncrementalMooreTreeBuilder

createTreeCache

public static <I,O> MooreCacheOracle<I,O> createTreeCache(Alphabet<I> alphabet,
                                                                      Mapping<? super O,? extends O> errorSyms,
                                                                      MembershipOracle<I,Word<O>> mqOracle)

Creates a cache oracle for a Moore machine learning setup, using a tree for internal cache organization.

Parameters:

alphabet - the input alphabet

errorSyms - a mapping for the prefix-closure filter

mqOracle - the membership oracle

Returns:

a Moore learning cache with a tree-based implementation

See Also:

IncrementalMealyTreeBuilder