Fraig-stats-increment-forced-proved
- Signature
(fraig-stats-increment-forced-proved forcedp fraig-stats)
→
fraig-stats
Definitions and Theorems
Function: fraig-stats-increment-forced-proved
(defun fraig-stats-increment-forced-proved (forcedp fraig-stats)
(declare (xargs :stobjs (fraig-stats)))
(declare (xargs :guard t))
(let ((__function__ 'fraig-stats-increment-forced-proved))
(declare (ignorable __function__))
(if forcedp
(update-fraig-last-chance-refines-forced-proved
(+ 1
(fraig-last-chance-refines-forced-proved fraig-stats))
fraig-stats)
fraig-stats)))
