(fraig-stats-update-last-chance forcedp fraig-stats) → fraig-stats
Function:
(defun fraig-stats-update-last-chance (forcedp fraig-stats) (declare (xargs :stobjs (fraig-stats))) (declare (xargs :guard t)) (let ((__function__ 'fraig-stats-update-last-chance)) (declare (ignorable __function__)) (b* ((fraig-stats (update-fraig-last-chance-refines (+ 1 (fraig-last-chance-refines fraig-stats)) fraig-stats)) ((unless forcedp) fraig-stats) (fraig-stats (update-fraig-last-chance-refines-forced (+ 1 (fraig-last-chance-refines-forced fraig-stats)) fraig-stats))) fraig-stats)))