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