Module de.learnlib.api

Package de.learnlib

Interface Resumable<T>

Type Parameters:

T - The type of the learner state.

All Known Implementing Classes:

AbstractAutomatonLStar, AbstractExtensibleAutomatonLStar, AbstractOPLearner, AbstractTTTLearner, AdaptiveQueryCache, ADTLearner, ClassicLStarDFA, ClassicLStarMealy, ClassicLStarMoore, DFACacheOracle, DFAHashCacheOracle, ExtensibleLStarDFA, ExtensibleLStarMealy, ExtensibleLStarMoore, KearnsVaziraniAdapterDFA, KearnsVaziraniAdapterMealy, KearnsVaziraniDFA, KearnsVaziraniMealy, LLambdaAdapterDFA, LLambdaAdapterMealy, LLambdaDFA, LLambdaMealy, LStarBaseAdapterDFA, LStarBaseAdapterMealy, MalerPnueliDFA, MalerPnueliMealy, MalerPnueliMoore, MealyCacheOracle, MealyDHC, MooreCacheOracle, ObservationPackAdapterDFA, ObservationPackAdapterMealy, OPLearnerDFA, OPLearnerMealy, OPLearnerMoore, PrefixTTTLearnerDFA, RivestSchapireAdapterDFA, RivestSchapireAdapterMealy, RivestSchapireDFA, RivestSchapireMealy, RivestSchapireMoore, StateLocalInputSULCache, SULCache, ThreadSafeDFACacheOracle, ThreadSafeMealyCacheOracle, ThreadSafeMooreCacheOracle, ThreadSafeStateLocalInputSULCache, ThreadSafeSULCache, TTTAdapterDFA, TTTAdapterMealy, TTTLearnerDFA, TTTLearnerMealy, TTTLearnerMoore

public interface Resumable<T>

Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Note: Objects returned by this interface are not guaranteed to be binary compatible across versions (like a Serializable object). Only use them for short-lived scopes in the same learning setup. For persistent storage of e.g. hypotheses models, use the model serializers of AutomataLib.

Method Summary

Modifier and Type	Method	Description
void	resume(T state)	Resume the datastructure from a previously suspended point in time.
T	suspend()	Expose the state object.

Method Detail

suspend

T suspend()

Expose the state object.

Returns:

The state.

resume

void resume(T state)

Resume the datastructure from a previously suspended point in time.

Parameters:

state - The learner state.