(apply-m-assumption-n-output-transforms! m n aignet transforms output-ranges state) → (mv new-aignet new-output-ranges new-state)
Function:
(defun apply-m-assumption-n-output-transforms! (m n aignet transforms output-ranges state) (declare (xargs :stobjs (aignet state))) (declare (xargs :guard (and (natp m) (natp n) (aignet-output-range-map-p output-ranges)))) (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 output-ranges state) :msg "All transforms: ~st seconds, ~sa bytes.~%"))))