de.learnlib.filter.cache.mealy

Class MealyCaches

java.lang.Object

de.learnlib.filter.cache.mealy.MealyCaches

public final class MealyCaches
extends Object

Method Summary

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>	createDynamicTreeCache(Mapping<? super O,? extends O> errorSyms, MembershipOracle<I,Word<O>> mqOracle) Creates a cache oracle for a Mealy machine learning setup with a dynamic alphabet storage, using a tree for internal cache organization.
static <I,O> MealyCacheOracle<I,O>	createDynamicTreeCache(MembershipOracle<I,Word<O>> mqOracle) Creates a cache oracle for a Mealy machine learning setup with a dynamic alphabet storage, using a tree for internal cache organization.
static <I,O> MealyCacheOracle<I,OutputAndLocalInputs<I,O>>	createStateLocalInputTreeCache(Collection<I> initialLocalInputs, Mapping<? super OutputAndLocalInputs<I,O>,? extends OutputAndLocalInputs<I,O>> errorSyms, MembershipOracle<I,Word<OutputAndLocalInputs<I,O>>> mqOracle) Creates a cache oracle for a Mealy machine learning setup with observable state local inputs for every state of the system under learning.
static <I,O> StateLocalInputMealyCacheOracle<I,O>	createStateLocalInputTreeCache(Collection<I> initialLocalInputs, Mapping<? super OutputAndLocalInputs<I,O>,? extends OutputAndLocalInputs<I,O>> errorSyms, StateLocalInputOracle<I,Word<OutputAndLocalInputs<I,O>>> mqOracle) A variation of createStateLocalInputTreeCache(Collection, MembershipOracle) that returns a StateLocalInputMealyCacheOracle.
static <I,O> MealyCacheOracle<I,OutputAndLocalInputs<I,O>>	createStateLocalInputTreeCache(Collection<I> initialLocalInputs, MembershipOracle<I,Word<OutputAndLocalInputs<I,O>>> mqOracle) Creates a cache oracle for a Mealy machine learning setup with observable state local inputs for every state of the system under learning.
static <I,O> StateLocalInputMealyCacheOracle<I,O>	createStateLocalInputTreeCache(Collection<I> initialLocalInputs, StateLocalInputOracle<I,Word<OutputAndLocalInputs<I,O>>> mqOracle) A variation of createStateLocalInputTreeCache(Collection, MembershipOracle) that returns a StateLocalInputMealyCacheOracle.
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.

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

Parameters:

alphabet - the input alphabet

mqOracle - the membership oracle

Returns:

a Mealy learning cache with a DAG-based implementation

createDAGCache

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

Parameters:

alphabet - the input alphabet

errorSyms - a mapping for the prefix-closure filter

mqOracle - the membership oracle

Returns:

a Mealy learning cache with a DAG-based implementation

createTreeCache

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

Parameters:

alphabet - the input alphabet

mqOracle - the membership oracle

Returns:

a Mealy learning cache with a tree-based implementation

createTreeCache

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

Parameters:

alphabet - the input alphabet

errorSyms - a mapping for the prefix-closure filter

mqOracle - the membership oracle

Returns:

a Mealy learning cache with a tree-based implementation

createDynamicTreeCache

public static <I,O> MealyCacheOracle<I,O> createDynamicTreeCache(MembershipOracle<I,Word<O>> mqOracle)

Creates a cache oracle for a Mealy machine learning setup with a dynamic alphabet storage, using a tree for internal cache organization.

Note: Due to the dynamic alphabet storage, memory consumption of a dense tree may be higher than normal caches with a predefined alphabet. However, for sparse data, the memory consumption may be lower as only memory for the actual data of the tree is allocated.

Parameters:

mqOracle - the membership oracle

Returns:

a Mealy learning cache with a tree-based implementation

createDynamicTreeCache

public static <I,O> MealyCacheOracle<I,O> createDynamicTreeCache(Mapping<? super O,? extends O> errorSyms,
                                                                 MembershipOracle<I,Word<O>> mqOracle)

Creates a cache oracle for a Mealy machine learning setup with a dynamic alphabet storage, using a tree for internal cache organization.

Note: Due to the dynamic alphabet storage, memory consumption of a dense tree may be higher than normal caches with a predefined alphabet. However, for sparse data, the memory consumption may be lower as only memory for the actual data of the tree is allocated.

Parameters:

errorSyms - a mapping for the prefix-closure filter

mqOracle - the membership oracle

Returns:

a Mealy learning cache with a tree-based implementation

createStateLocalInputTreeCache

public static <I,O> MealyCacheOracle<I,OutputAndLocalInputs<I,O>> createStateLocalInputTreeCache(Collection<I> initialLocalInputs,
                                                                                                 MembershipOracle<I,Word<OutputAndLocalInputs<I,O>>> mqOracle)

Creates a cache oracle for a Mealy machine learning setup with observable state local inputs for every state of the system under learning.

Parameters:

initialLocalInputs - a collection of input symbols that can be executed in the initial state of the system under learning

mqOracle - the membership oracle

Returns:

a Mealy learning cache with a tree-based implementation

createStateLocalInputTreeCache

public static <I,O> MealyCacheOracle<I,OutputAndLocalInputs<I,O>> createStateLocalInputTreeCache(Collection<I> initialLocalInputs,
                                                                                                 Mapping<? super OutputAndLocalInputs<I,O>,? extends OutputAndLocalInputs<I,O>> errorSyms,
                                                                                                 MembershipOracle<I,Word<OutputAndLocalInputs<I,O>>> mqOracle)

Creates a cache oracle for a Mealy machine learning setup with observable state local inputs for every state of the system under learning.

Parameters:

initialLocalInputs - a collection of input symbols that can be executed in the initial state of the system under learning

errorSyms - a mapping for the prefix-closure filter

mqOracle - the membership oracle

Returns:

a Mealy learning cache with a tree-based implementation

createStateLocalInputTreeCache

public static <I,O> StateLocalInputMealyCacheOracle<I,O> createStateLocalInputTreeCache(Collection<I> initialLocalInputs,
                                                                                        StateLocalInputOracle<I,Word<OutputAndLocalInputs<I,O>>> mqOracle)

A variation of createStateLocalInputTreeCache(Collection, MembershipOracle) that returns a StateLocalInputMealyCacheOracle.

Parameters:

initialLocalInputs - a collection of input symbols that can be executed in the initial state of the system under learning

mqOracle - the membership oracle

Returns:

a Mealy learning cache with a tree-based implementation

createStateLocalInputTreeCache

public static <I,O> StateLocalInputMealyCacheOracle<I,O> createStateLocalInputTreeCache(Collection<I> initialLocalInputs,
                                                                                        Mapping<? super OutputAndLocalInputs<I,O>,? extends OutputAndLocalInputs<I,O>> errorSyms,
                                                                                        StateLocalInputOracle<I,Word<OutputAndLocalInputs<I,O>>> mqOracle)

A variation of createStateLocalInputTreeCache(Collection, MembershipOracle) that returns a StateLocalInputMealyCacheOracle.

Parameters:

initialLocalInputs - a collection of input symbols that can be executed in the initial state of the system under learning

errorSyms - a mapping for the prefix-closure filter

mqOracle - the membership oracle

Returns:

a Mealy learning cache with a tree-based implementation

createCache

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

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