Package org.eclipse.viatra.query.runtime.matchers.util.resumable
-
Interface Summary Interface Description MaskedResumable<Timestamp extends java.lang.Comparable<Timestamp>> A maskedResumableimplementation, which maintains lazy folding per tuple signature.Resumable<Timestamp extends java.lang.Comparable<Timestamp>> A resumable lazily folds its state towards higher timestamps.UnmaskedResumable<Timestamp extends java.lang.Comparable<Timestamp>> A unmaskedResumableimplementation, which maintains lazy folding without caring about tuple signatures.