		Search-engine friendly clone of the ACL2 documentation.

Balance

Print-aignet-levels

Signature
(print-aignet-levels aignet) → *

Definitions and Theorems

Function: print-aignet-levels

(defun print-aignet-levels (aignet)
  (declare (xargs :stobjs (aignet)))
  (declare (xargs :guard t))
  (let ((__function__ 'print-aignet-levels))
    (declare (ignorable __function__))
    (b* (((local-stobjs levels)
          (mv nothing levels))
         (levels (aignet-record-levels aignet levels))
         (max (find-max-level 0 (num-fanins aignet)
                              0 levels)))
      (mv (cw "Max level: ~x0~%" max)
          levels))))