Apply-comb-transforms!
- Signature
(apply-comb-transforms! aignet transforms output-ranges state)
→
(mv new-aignet new-output-ranges new-state)
- Arguments
- output-ranges — Guard (aignet-output-range-map-p output-ranges).
Definitions and Theorems
Function: apply-comb-transforms!
(defun apply-comb-transforms!
(aignet transforms output-ranges state)
(declare (xargs :stobjs (aignet state)))
(declare (xargs :guard (aignet-output-range-map-p output-ranges)))
(declare (xargs :guard t))
(let ((__function__ 'apply-comb-transforms!))
(declare (ignorable __function__))
(prog2$
(print-aignet-stats "Input" aignet)
(time$ (apply-comb-transforms!-core
aignet transforms output-ranges state)
:msg "All transforms: ~st seconds, ~sa bytes.~%"))))
