de.learnlib.filter.cache.mealy

Class MealyCacheOracle<I,O>

java.lang.Object

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

All Implemented Interfaces:

MembershipOracle<I,Word<O>>, MembershipOracle.MealyMembershipOracle<I,O>, BatchProcessor<Query<I,Word<O>>>, QueryAnswerer<I,Word<O>>, Resumable<MealyCacheOracle.MealyCacheOracleState<I,O>>, LearningCache<MealyMachine<?,I,?,O>,I,Word<O>>, LearningCache.MealyLearningCache<I,O>, LearningCacheOracle<MealyMachine<?,I,?,O>,I,Word<O>>, LearningCacheOracle.MealyLearningCacheOracle<I,O>, SupportsGrowingAlphabet<I>

public class MealyCacheOracle<I,O>
extends Object
implements Resumable<MealyCacheOracle.MealyCacheOracleState<I,O>>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	MealyCacheOracle.MealyCacheOracleState<I,O>

Nested classes/interfaces inherited from interface de.learnlib.filter.cache.LearningCacheOracle

LearningCacheOracle.DFALearningCacheOracle<I>, LearningCacheOracle.MealyLearningCacheOracle<I,O>

Nested classes/interfaces inherited from interface de.learnlib.filter.cache.LearningCache

LearningCache.DFALearningCache<I>, LearningCache.MealyLearningCache<I,O>

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

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

Field Summary

Fields

Modifier and Type	Field and Description
protected IncrementalMealyBuilder<I,O>	incMealy
protected ReadWriteLock	incMealyLock

Method Summary

Modifier and Type	Method and Description
void	addAlphabetSymbol(I symbol)
MealyCacheConsistencyTest<I,O>	createCacheConsistencyTest() Creates a cache consistency test.
static <I,O> MealyCacheOracle<I,O>	createDAGCacheOracle(Alphabet<I> inputAlphabet, @Nullable Mapping<? super O,? extends O> errorSyms, MembershipOracle<I,Word<O>> delegate)
static <I,O> MealyCacheOracle<I,O>	createDAGCacheOracle(Alphabet<I> inputAlphabet, MembershipOracle<I,Word<O>> delegate)
static <I,O> MealyCacheOracle<I,O>	createDynamicTreeCacheOracle(@Nullable Mapping<? super O,? extends O> errorSyms, MembershipOracle<I,Word<O>> delegate)
static <I,O> MealyCacheOracle<I,O>	createDynamicTreeCacheOracle(MembershipOracle<I,Word<O>> delegate)
static <I,O> MealyCacheOracle<I,O>	createTreeCacheOracle(Alphabet<I> inputAlphabet, @Nullable Mapping<? super O,? extends O> errorSyms, MembershipOracle<I,Word<O>> delegate)
static <I,O> MealyCacheOracle<I,O>	createTreeCacheOracle(Alphabet<I> inputAlphabet, MembershipOracle<I,Word<O>> delegate)
int	getCacheSize()
void	processQueries(Collection<? extends Query<I,Word<O>>> queries)
void	resume(MealyCacheOracle.MealyCacheOracleState<I,O> state)
MealyCacheOracle.MealyCacheOracleState<I,O>	suspend()

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.api.oracle.MembershipOracle

answerQuery, answerQuery, asOracle, processBatch, processQuery

Field Detail

incMealy

protected IncrementalMealyBuilder<I,O> incMealy

incMealyLock

protected final ReadWriteLock incMealyLock

Method Detail

createDAGCacheOracle

public static <I,O> MealyCacheOracle<I,O> createDAGCacheOracle(Alphabet<I> inputAlphabet,
                                                               MembershipOracle<I,Word<O>> delegate)

createDAGCacheOracle

public static <I,O> MealyCacheOracle<I,O> createDAGCacheOracle(Alphabet<I> inputAlphabet,
                                                               @Nullable Mapping<? super O,? extends O> errorSyms,
                                                               MembershipOracle<I,Word<O>> delegate)

createTreeCacheOracle

public static <I,O> MealyCacheOracle<I,O> createTreeCacheOracle(Alphabet<I> inputAlphabet,
                                                                MembershipOracle<I,Word<O>> delegate)

createTreeCacheOracle

public static <I,O> MealyCacheOracle<I,O> createTreeCacheOracle(Alphabet<I> inputAlphabet,
                                                                @Nullable Mapping<? super O,? extends O> errorSyms,
                                                                MembershipOracle<I,Word<O>> delegate)

createDynamicTreeCacheOracle

public static <I,O> MealyCacheOracle<I,O> createDynamicTreeCacheOracle(MembershipOracle<I,Word<O>> delegate)

createDynamicTreeCacheOracle

public static <I,O> MealyCacheOracle<I,O> createDynamicTreeCacheOracle(@Nullable Mapping<? super O,? extends O> errorSyms,
                                                                       MembershipOracle<I,Word<O>> delegate)

suspend

public MealyCacheOracle.MealyCacheOracleState<I,O> suspend()

Specified by:

suspend in interface Resumable<MealyCacheOracle.MealyCacheOracleState<I,O>>

resume

public void resume(MealyCacheOracle.MealyCacheOracleState<I,O> state)

Specified by:

resume in interface Resumable<MealyCacheOracle.MealyCacheOracleState<I,O>>

getCacheSize

public int getCacheSize()

createCacheConsistencyTest

public MealyCacheConsistencyTest<I,O> createCacheConsistencyTest()

Description copied from interface: LearningCache

Creates a cache consistency test. A cache consistency test is an equivalence oracle which checks a given hypothesis against the current contents of the cache. Hence, no queries are posed to the underlying system.

The created cache consistency test is backed by the cache contents. This method does not need to be invoked repeatedly when the cache contents change.

Specified by:

createCacheConsistencyTest in interface LearningCache<MealyMachine<?,I,?,O>,I,Word<O>>

Returns:

a cache consistency test for 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>>

addAlphabetSymbol

public void addAlphabetSymbol(I symbol)

Specified by:

addAlphabetSymbol in interface SupportsGrowingAlphabet<I>