de.learnlib.cache.mealy

Class MealyCaches

java.lang.Object

de.learnlib.cache.mealy.MealyCaches

public abstract class MealyCaches
extends Object

Method Summary

Methods

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, 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, 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.

Methods inherited from class java.lang.Object

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

Method Detail

createDAGCache

public 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.

Parameters:

alphabet - the input alphabet

mqOracle - the membership oracle

Returns:

a Mealy learning cache with a DAG-based implementation

createTreeCache

public 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.

Parameters:

alphabet - the input alphabet

mqOracle - the membership oracle

Returns:

a Mealy learning cache with a tree-based implementation

createCache

public 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.

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.

Parameters:

alphabet - the input alphabet

mqOracle - the membership oracle

Returns:

a Mealy learning cache with a default implementation