de.learnlib.filter.cache.mealy

Class StateLocalInputMealyCacheOracle<I,O>

java.lang.Object

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

All Implemented Interfaces:

MembershipOracle<I,Word<OutputAndLocalInputs<I,O>>>, MembershipOracle.MealyMembershipOracle<I,OutputAndLocalInputs<I,O>>, QueryAnswerer<I,Word<OutputAndLocalInputs<I,O>>>, StateLocalInputOracle<I,Word<OutputAndLocalInputs<I,O>>>, StateLocalInputOracle.StateLocalInputMealyOracle<I,OutputAndLocalInputs<I,O>>, Resumable<StateLocalInputMealyCacheOracle.StateLocalInputMealyCacheOracleState<I,O>>, LearningCache<MealyMachine<?,I,?,OutputAndLocalInputs<I,O>>,I,Word<OutputAndLocalInputs<I,O>>>, LearningCache.MealyLearningCache<I,OutputAndLocalInputs<I,O>>, LearningCacheOracle<MealyMachine<?,I,?,OutputAndLocalInputs<I,O>>,I,Word<OutputAndLocalInputs<I,O>>>, LearningCacheOracle.MealyLearningCacheOracle<I,OutputAndLocalInputs<I,O>>, SupportsGrowingAlphabet<I>

public class StateLocalInputMealyCacheOracle<I,O>
extends Object
implements StateLocalInputOracle.StateLocalInputMealyOracle<I,OutputAndLocalInputs<I,O>>, Resumable<StateLocalInputMealyCacheOracle.StateLocalInputMealyCacheOracleState<I,O>>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	StateLocalInputMealyCacheOracle.StateLocalInputMealyCacheOracleState<I,O>

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

StateLocalInputOracle.StateLocalInputDFAOracle<I>, StateLocalInputOracle.StateLocalInputMealyOracle<I,O>

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

MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<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>

Field Summary

Fields

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

Method Summary

Modifier and Type	Method and Description
void	addAlphabetSymbol(I symbol)
MealyCacheConsistencyTest<I,O>	createCacheConsistencyTest() Creates a cache consistency test.
StateLocalInputCacheConsistencyTest<I,O>	createStateLocalInputCacheConsistencyTest()
static <I,O> StateLocalInputMealyCacheOracle<I,O>	createStateLocalInputTreeCacheOracle(Collection<I> initialLocalInputs, Mapping<? super OutputAndLocalInputs<I,O>,? extends OutputAndLocalInputs<I,O>> errorSyms, StateLocalInputOracle<I,Word<OutputAndLocalInputs<I,O>>> delegate)
static <I,O> StateLocalInputMealyCacheOracle<I,O>	createStateLocalInputTreeCacheOracle(Collection<I> initialLocalInputs, StateLocalInputOracle<I,Word<OutputAndLocalInputs<I,O>>> delegate)
Set<I>	definedInputs(Word<? extends I> input)
int	getCacheSize()
void	processQueries(Collection<? extends Query<I,Word<O>>> queries)
void	resume(StateLocalInputMealyCacheOracle.StateLocalInputMealyCacheOracleState<I,O> state)
StateLocalInputMealyCacheOracle.StateLocalInputMealyCacheOracleState<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, processQueries, processQuery

Field Detail

incMealy

protected IncrementalMealyBuilder<I,O> incMealy

incMealyLock

protected final Lock incMealyLock

Method Detail

createStateLocalInputTreeCacheOracle

public static <I,O> StateLocalInputMealyCacheOracle<I,O> createStateLocalInputTreeCacheOracle(Collection<I> initialLocalInputs,
                                                                                              StateLocalInputOracle<I,Word<OutputAndLocalInputs<I,O>>> delegate)

createStateLocalInputTreeCacheOracle

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

createStateLocalInputCacheConsistencyTest

public StateLocalInputCacheConsistencyTest<I,O> createStateLocalInputCacheConsistencyTest()

definedInputs

public Set<I> definedInputs(Word<? extends I> input)

Specified by:

definedInputs in interface StateLocalInputOracle<I,Word<OutputAndLocalInputs<I,O>>>

suspend

public StateLocalInputMealyCacheOracle.StateLocalInputMealyCacheOracleState<I,O> suspend()

Specified by:

suspend in interface Resumable<StateLocalInputMealyCacheOracle.StateLocalInputMealyCacheOracleState<I,O>>

resume

public void resume(StateLocalInputMealyCacheOracle.StateLocalInputMealyCacheOracleState<I,O> state)

Specified by:

resume in interface Resumable<StateLocalInputMealyCacheOracle.StateLocalInputMealyCacheOracleState<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)
                       throws GrowingAlphabetNotSupportedException

Specified by:

addAlphabetSymbol in interface SupportsGrowingAlphabet<I>

Throws:

GrowingAlphabetNotSupportedException