de.learnlib.api

Interface Resumable<T extends Serializable>

Type Parameters:

T - The type of the serializable learner state.

public interface Resumable<T extends Serializable>

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

Author:

bainczyk

Method Summary

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

Method Detail

suspend

T suspend()

Expose the serializable state object.

Returns:

The state.

resume

void resume(T state)

Resume the datastructure from a previously serialized point in time.

Parameters:

state - The learner state.