de.learnlib.filter.cache.sul

Class StateLocalInputSULCache<I,O>

java.lang.Object

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

All Implemented Interfaces:

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

public class StateLocalInputSULCache<I,O>
extends Object
implements StateLocalInputSUL<I,O>, Resumable<StateLocalInputSULCache.StateLocalInputSULCacheState<I,O>>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	StateLocalInputSULCache.StateLocalInputSULCacheState<I,O>

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

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

Method Summary

Modifier and Type	Method and Description
void	addAlphabetSymbol(I symbol)
boolean	canFork()
EquivalenceOracle.MealyEquivalenceOracle<I,O>	createCacheConsistencyTest() Creates a cache consistency test.
static <I,O> StateLocalInputSULCache<I,O>	createTreeCache(Alphabet<I> alphabet, StateLocalInputSUL<I,O> sul)
Collection<I>	currentlyEnabledInputs()
StateLocalInputSUL<I,O>	fork()
void	post()
void	pre()
void	resume(StateLocalInputSULCache.StateLocalInputSULCacheState<I,O> state)
int	size()
O	step(I in)
StateLocalInputSULCache.StateLocalInputSULCacheState<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.SUL

canFork, post, pre, step

Method Detail

createTreeCache

public static <I,O> StateLocalInputSULCache<I,O> createTreeCache(Alphabet<I> alphabet,
                                                                 StateLocalInputSUL<I,O> sul)

fork

public StateLocalInputSUL<I,O> fork()

Specified by:

fork in interface StateLocalInputSUL<I,O>

Specified by:

fork in interface SUL<I,O>

currentlyEnabledInputs

public Collection<I> currentlyEnabledInputs()

Specified by:

currentlyEnabledInputs in interface StateLocalInputSUL<I,O>

suspend

public StateLocalInputSULCache.StateLocalInputSULCacheState<I,O> suspend()

Specified by:

suspend in interface Resumable<StateLocalInputSULCache.StateLocalInputSULCacheState<I,O>>

resume

public void resume(StateLocalInputSULCache.StateLocalInputSULCacheState<I,O> state)

Specified by:

resume in interface Resumable<StateLocalInputSULCache.StateLocalInputSULCacheState<I,O>>

pre

public void pre()

Specified by:

pre in interface SUL<I,O>

post

public void post()

Specified by:

post in interface SUL<I,O>

step

public O step(I in)

Specified by:

step in interface SUL<I,O>

canFork

public boolean canFork()

Specified by:

canFork in interface SUL<I,O>

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<MealyMachine<?,I,?,O>,I,Word<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>

size

public int size()