133         public void GrantTimeInterval(TimeInterval interval)  in GrantTimeInterval()
202         public bool RequestTimeInterval(out TimeInterval interval)  in RequestTimeInterval()
281                     interval = TimeInterval.Empty;  in RequestTimeInterval()
286 …DebugHelper.Assert(reportedTimeResiduum == TimeInterval.Empty, "Reported time residuum should be e…  in RequestTimeInterval()
288                     slaveTimeResiduum = TimeInterval.Empty;  in RequestTimeInterval()
300         public void ReportProgress(TimeInterval progress)  in ReportProgress()
317                 if(reportedTimeResiduum != TimeInterval.Empty)  in ReportProgress()
320                     reportedTimeResiduum = TimeInterval.Empty;  in ReportProgress()
338         public void ReportBackAndContinue(TimeInterval timeLeft)  in ReportBackAndContinue()
351 …DebugHelper.Assert(slaveTimeResiduum == TimeInterval.Empty, "Time residuum should be empty here.");  in ReportBackAndContinue()
372         public void ReportBackAndBreak(TimeInterval timeLeft)  in ReportBackAndBreak()
403         public bool TrySkipToSyncPoint(out TimeInterval intervalSkipped)  in TrySkipToSyncPoint()
411                 ReportBackAndContinue(TimeInterval.Empty);  in TrySkipToSyncPoint()
453         public WaitResult WaitUntilDone(out TimeInterval intervalUsed)  in WaitUntilDone()
463                 intervalToReport = TimeInterval.Empty;  in WaitUntilDone()
481                     intervalUsed = TimeInterval.Empty;  in WaitUntilDone()
491                 reportedTimeResiduum = TimeInterval.Empty;  in WaitUntilDone()
493                 reportedSoFar = TimeInterval.Empty;  in WaitUntilDone()
646                             slaveTimeResiduum = TimeInterval.Empty;
647                             reportedTimeResiduum = TimeInterval.Empty;
768         public TimeInterval TotalElapsedTime { get; private set; }
852         private TimeInterval intervalGranted;
856         private TimeInterval intervalToReport;
860         private TimeInterval slaveTimeResiduum;
864         private TimeInterval reportedTimeResiduum;
872         private TimeInterval reportedSoFar;