Apply-m-assumption-n-output-transforms!
- Signature
(apply-m-assumption-n-output-transforms!
m n aignet transforms state)
→
(mv new-aignet new-state)- Arguments
- m — Guard (natp m).
- n — Guard (natp n).
Definitions and Theorems
Function: apply-m-assumption-n-output-transforms!
(defun
apply-m-assumption-n-output-transforms!
(m n aignet transforms state)
(declare (xargs :stobjs (aignet state)))
(declare (xargs :guard (and (natp m) (natp n))))
(declare (xargs :guard (<= (+ m n) (num-outs aignet))))
(let
((__function__ 'apply-m-assumption-n-output-transforms!))
(declare (ignorable __function__))
(prog2$
(print-aignet-stats "Input" aignet)
(time$ (apply-m-assumption-n-output-transforms!-core
m n aignet transforms state)
:msg "All transforms: ~st seconds, ~sa bytes.~%"))))
