de.learnlib.cache.mealy

Class MealyCacheOracle<I,O>

java.lang.Object

de.learnlib.cache.mealy.MealyCacheOracle<I,O>

Type Parameters:

I - input symbol class

O - output symbol class

All Implemented Interfaces:

MembershipOracle<I,Word<O>>, MembershipOracle.MealyMembershipOracle<I,O>

public class MealyCacheOracle<I,O>
extends Object
implements MembershipOracle.MealyMembershipOracle<I,O>

Mealy cache. This cache is implemented as a membership oracle: upon construction, it is provided with a delegate oracle. Queries that can be answered from the cache are answered directly, others are forwarded to the delegate oracle. When the delegate oracle has finished processing these remaining queries, the results are incorporated into the cache. This oracle additionally enables the user to define a Mealy-style prefix-closure filter: a Mapping from output symbols to output symbols may be provided, with the following semantics: If in an output word a symbol for which the given mapping has a non-null value is encountered, all symbols after this symbol are replaced by the respective value. The rationale behind this is that the concrete error message (key in the mapping) is still reflected in the learned model, it is forced to result in a sink state with only a single repeating output symbol (value in the mapping).

Author:

Malte Isberner

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.api.MembershipOracle

MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>

Constructor Summary

Constructors

Constructor and Description
MealyCacheOracle(Alphabet<I> alphabet, Mapping<? super O,? extends O> errorSyms, MembershipOracle<I,Word<O>> delegate) Constructor.
MealyCacheOracle(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> delegate) Constructor.

Method Summary

Methods

Modifier and Type	Method and Description
MealyCacheConsistencyTest<I,O>	createCacheConsistencyTest() Creates an equivalence oracle that checks an hypothesis for consistency with the contents of this cache.
int	getCacheSize()
void	processQueries(Collection<? extends Query<I,Word<O>>> queries)

Methods inherited from class java.lang.Object

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

Constructor Detail

MealyCacheOracle

public MealyCacheOracle(Alphabet<I> alphabet,
                MembershipOracle<I,Word<O>> delegate)

Constructor.

Parameters:

alphabet - the input alphabet for the cache

delegate - the delegate Mealy oracle

MealyCacheOracle

public MealyCacheOracle(Alphabet<I> alphabet,
                Mapping<? super O,? extends O> errorSyms,
                MembershipOracle<I,Word<O>> delegate)

Constructor.

Parameters:

alphabet - the input alphabet for the cache

errorSyms - the error symbol mapping (see class description)

delegate - the delegate Mealy oracle

Method Detail

getCacheSize

public int getCacheSize()

createCacheConsistencyTest

public MealyCacheConsistencyTest<I,O> createCacheConsistencyTest()

Creates an equivalence oracle that checks an hypothesis for consistency with the contents of this cache. Note that the returned oracle is backed by the cache data structure, i.e., it is sufficient to call this method once after creation of the cache.

Returns:

the cache consistency test backed by the contents of this cache.

processQueries

public void processQueries(Collection<? extends Query<I,Word<O>>> queries)

Specified by:

processQueries in interface MembershipOracle<I,Word<O>>