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 maskedResumable
implementation, which maintains lazy folding per tuple signature.- Since:
- 2.4
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method 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.
-
-