Package org.eclipse.viatra.query.runtime.matchers.util.resumable
-
Interface Summary Interface Description MaskedResumable<Timestamp extends java.lang.Comparable<Timestamp>> A maskedResumable
implementation, 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 unmaskedResumable
implementation, which maintains lazy folding without caring about tuple signatures.