(apply-comb-transforms! aignet transforms state) → (mv new-aignet new-state)
Function:
(defun apply-comb-transforms! (aignet transforms state) (declare (xargs :stobjs (aignet state))) (declare (xargs :guard t)) (let ((__function__ 'apply-comb-transforms!)) (declare (ignorable __function__)) (prog2$ (print-aignet-stats "Input" aignet) (time$ (apply-comb-transforms!-core aignet transforms state) :msg "All transforms: ~st seconds, ~sa bytes.~%"))))