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

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

- All Superinterfaces:
    `Resumable<Timestamp>`
  All Known Implementing Classes:
    `TimelyMemory`

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

  A unmasked `Resumable` implementation, which maintains lazy folding without caring about tuple signatures.
  Since:
    2.4

- - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `java.lang.Iterable<Tuple>` | `getResumableTuples()` | Returns the set of tuples for which lazy folding shall be resumed at the next timestamp.
    `java.util.Map<Tuple,​Diff<Timestamp>>` | `resumeAt​(Timestamp timestamp)` | When called, the folding of the state shall be resumed at the given timestamp.

    - ### Methods inherited from interface org.eclipse.viatra.query.runtime.matchers.util.resumable.Resumable

      `getResumableTimestamp`

- - ### Method Detail

    - #### resumeAt

          java.util.Map<Tuple,​Diff<Timestamp>> resumeAt​(Timestamp timestamp)

      When called, the folding of the state shall be resumed at the given timestamp. The resumable is expected to do a folding step at the given timestamp only. Afterwards, folding shall be interrupted, even if there is more folding to do towards higher timestamps.

    - #### getResumableTuples

          java.lang.Iterable<Tuple> getResumableTuples()

      Returns the set of tuples for which lazy folding shall be resumed at the next timestamp.