public class StateLocalInputSULCache<I,O> extends Object implements StateLocalInputSUL<I,O>, Resumable<StateLocalInputSULCache.StateLocalInputSULCacheState<I,O>>
| Modifier and Type | Class and Description |
|---|---|
static class |
StateLocalInputSULCache.StateLocalInputSULCacheState<I,O> |
LearningCache.DFALearningCache<I>, LearningCache.MealyLearningCache<I,O>| 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() |
public static <I,O> StateLocalInputSULCache<I,O> createTreeCache(Alphabet<I> alphabet, StateLocalInputSUL<I,O> sul)
public StateLocalInputSUL<I,O> fork()
public Collection<I> currentlyEnabledInputs()
currentlyEnabledInputs in interface StateLocalInputSUL<I,O>public StateLocalInputSULCache.StateLocalInputSULCacheState<I,O> suspend()
suspend in interface Resumable<StateLocalInputSULCache.StateLocalInputSULCacheState<I,O>>public void resume(StateLocalInputSULCache.StateLocalInputSULCacheState<I,O> state)
resume in interface Resumable<StateLocalInputSULCache.StateLocalInputSULCacheState<I,O>>public EquivalenceOracle.MealyEquivalenceOracle<I,O> createCacheConsistencyTest()
LearningCacheThe created cache consistency test is backed by the cache contents. This method does not need to be invoked repeatedly when the cache contents change.
createCacheConsistencyTest in interface LearningCache<MealyMachine<?,I,?,O>,I,Word<O>>public void addAlphabetSymbol(I symbol)
addAlphabetSymbol in interface SupportsGrowingAlphabet<I>public int size()
Copyright © 2020. All rights reserved.