org.eclipse.viatra.query.runtime.matchers.util.resumable

## Interface Resumable<Timestamp extends java.lang.Comparable<Timestamp>>

- All Known Subinterfaces:
    MaskedResumable<Timestamp>, UnmaskedResumable<Timestamp>
  All Known Implementing Classes:
    DefaultMaskedTupleMemory, IdentityMaskedTupleMemory, MaskedTupleMemory, NullaryMaskedTupleMemory, TimelyMemory, UnaryMaskedTupleMemory

      public interface Resumable<Timestamp extends java.lang.Comparable<Timestamp>>

  A resumable lazily folds its state towards higher timestamps. Folding shall be done in the increasing order of timestamps, and it shall be interrupted after each step. The resumable can then be instructed to resume the folding, one step at a time.
  Since:
    2.4

- - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method and Description
    --- | ---
    `Timestamp` | `getResumableTimestamp()` Returns the smallest timestamp where lazy folding shall be resumed, or null if there is no more folding to do in this resumable.

- - ### Method Detail

    - #### getResumableTimestamp

          Timestamp getResumableTimestamp()

      Returns the smallest timestamp where lazy folding shall be resumed, or null if there is no more folding to do in this resumable.