		Search-engine friendly clone of the ACL2 documentation.

Base-api

Aignet-clear

(aignet-clear aignet) clears the aignet, essentially without resizing its arrays.

Logically, just returns nil, i.e., the resulting aignet contains only the implicit constant-0 node.

In the execution we reset the counters associated with the Aignet, but the actual arrays are left unchanged (unless there are no nodes at all, in which case a very small node array is allocated.)

Function: aignet-clear

(defun aignet$a::aignet-clear (aignet)
  (declare (ignore aignet))
  (declare (xargs :guard t))
  (let ((__function__ 'aignet$a::aignet-clear))
    (declare (ignorable __function__))
    nil))