		Search-engine friendly clone of the ACL2 documentation.

Base-api

Aignet-add-reg

(aignet-add-reg aignet) adds a new register node to the aignet.

Logically this is just (cons (reg-node) aignet).

In the execution we update the necessary arrays, counts, etc.

Function: aignet-add-reg^

(defun aignet$a::aignet-add-reg^ (aignet)
  (declare (xargs :guard (aignet$a::aignet-well-formedp aignet)))
  (declare (xargs :guard (< (aignet$a::num-fanins aignet)
                            536870911)))
  (let ((__function__ 'aignet$a::aignet-add-reg^))
    (declare (ignorable __function__))
    (cons (reg-node)
          (node-list-fix aignet))))