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

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

- All Superinterfaces:
    Resumable<Timestamp>
  All Known Implementing Classes:
    DefaultMaskedTupleMemory, IdentityMaskedTupleMemory, MaskedTupleMemory, NullaryMaskedTupleMemory, UnaryMaskedTupleMemory

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

  A masked `Resumable` implementation, which maintains lazy folding per tuple signature.
  Since:
    2.4

- - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method and Description
    --- | ---
    `java.lang.Iterable<Tuple>` | `getResumableSignatures()` Returns the set of signatures for which lazy folding shall be resumed at the next timestamp.
    `java.util.Map<Tuple,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,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.

    - #### getResumableSignatures

          java.lang.Iterable<Tuple> getResumableSignatures()

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