Function:
(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.~%"))))