Module de.learnlib.filter.cache
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.

  • Method Details

    • 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:

    • 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 StateLocalInputSULCache.StateLocalInputSULCacheState<I,O> suspend()
      Description copied from interface: Resumable
      Expose the state object.
      Specified by:
      suspend in interface Resumable<I>
      Returns:
      The state.

    • resume

      public void resume(StateLocalInputSULCache.StateLocalInputSULCacheState<I,O> state)
      Description copied from interface: Resumable
      Resume the data structure from a previously suspended point in time.
      Specified by:
      resume in interface Resumable<I>
      Parameters:
      state - The learner state.