Package de.learnlib.filter.cache.sul

Class ThreadSafeStateLocalInputSULCache<I,O>

java.lang.Object

de.learnlib.filter.cache.sul.StateLocalInputSULCache<I,O>

de.learnlib.filter.cache.sul.ThreadSafeStateLocalInputSULCache<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

LearningCache<MealyMachine<?,I,?,O>,I,Word<O>>, LearningCache.MealyLearningCache<I,O>, Resumable<StateLocalInputSULCache.StateLocalInputSULCacheState<I,O>>, StateLocalInputSUL<I,O>, SUL<I,O>, SupportsGrowingAlphabet<I>

public class ThreadSafeStateLocalInputSULCache<I,O>
extends StateLocalInputSULCache<I,O>

A thread-safe variant of StateLocalInputSULCache.

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.filter.cache.sul.StateLocalInputSULCache

StateLocalInputSULCache.StateLocalInputSULCacheState<I,O>

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

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

Method Summary

Modifier and Type	Method	Description
void	addAlphabetSymbol(I symbol)
boolean	canFork()	Returns whether this SUL is capable of forking.
EquivalenceOracle.MealyEquivalenceOracle<I,O>	createCacheConsistencyTest()	Creates a cache consistency test.
void	post()	shut down SUL.
void	pre()	setup SUL.
void	resume(C state)	Resume the datastructure from a previously suspended point in time.
int	size()
O	step(I in)	make one step on the SUL.
C	suspend()	Expose the state object.

Methods inherited from class de.learnlib.filter.cache.sul.StateLocalInputSULCache

currentlyEnabledInputs, fork

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.sul.SUL

canFork, post, pre, step

Method Detail

pre

public void pre()

Description copied from interface: SUL

setup SUL.

Specified by:

pre in interface SUL<I,O>

post

public void post()

Description copied from interface: SUL

shut down SUL.

Specified by:

post in interface SUL<I,O>

step

public O step(I in)

Description copied from interface: SUL

make one step on the SUL.

Specified by:

step in interface SUL<I,O>

Parameters:

in - input to the SUL

Returns:

output of SUL

canFork

public boolean canFork()

Description copied from interface: SUL

Returns whether this SUL is capable of forking.

Specified by:

canFork in interface SUL<I,O>

Returns:

true if this SUL can be forked, false otherwise

See Also:

SUL.fork()

createCacheConsistencyTest

public EquivalenceOracle.MealyEquivalenceOracle<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<I,O,C extends de.learnlib.filter.cache.sul.AbstractSULCache.SULCacheState<I,O>>

Returns:

a cache consistency test for the contents of this cache

addAlphabetSymbol

public void addAlphabetSymbol(I symbol)

Specified by:

addAlphabetSymbol in interface SupportsGrowingAlphabet<I>

suspend

public C suspend()

Description copied from interface: Resumable

Expose the state object.

Specified by:

suspend in interface Resumable<I>

Returns:

The state.

resume

public void resume(C state)

Description copied from interface: Resumable

Resume the datastructure from a previously suspended point in time.

Specified by:

resume in interface Resumable<I>

Parameters:

state - The learner state.

size

public int size()