(apply-n-output-comb-transforms! n aignet transforms output-ranges state) → (mv new-aignet new-output-ranges new-state)
Function:
(defun apply-n-output-comb-transforms! (n aignet transforms output-ranges state) (declare (xargs :stobjs (aignet state))) (declare (xargs :guard (and (natp n) (aignet-output-range-map-p output-ranges)))) (declare (xargs :guard (<= n (num-outs aignet)))) (let ((__function__ 'apply-n-output-comb-transforms!)) (declare (ignorable __function__)) (prog2$ (print-aignet-stats "Input" aignet) (time$ (apply-n-output-comb-transforms!-core n aignet transforms output-ranges state) :msg "All transforms: ~st seconds, ~sa bytes.~%"))))