		Search-engine friendly clone of the ACL2 documentation.

Hierarchy

Vl-hierarchy-free

Free memoize tables associated with hierarchy functions.

Signature
(vl-hierarchy-free) → *

Definitions and Theorems

Function: vl-hierarchy-free

(defun vl-hierarchy-free nil
  (declare (xargs :guard t))
  (let ((__function__ 'vl-hierarchy-free))
    (declare (ignorable __function__))
    (progn$ (clear-memoize-table 'vl-design-immdeps)
            (clear-memoize-table 'vl-design-upgraph-aux))))