		Search-engine friendly clone of the ACL2 documentation.

Base-api

Num-fanins

(num-fanins aignet) returns the total number of nodes in an aignet.

Logically this is (+ 1 (fanin-count aignet)), (where fanin-count is the same as len), since the empty aignet implicitly has a constant node.

In the execution this is just a stobj field access.

Function: num-fanins

(defun aignet$a::num-fanins (aignet)
  (declare (xargs :guard (aignet$a::aignet-well-formedp aignet)))
  (let ((__function__ 'aignet$a::num-fanins))
    (declare (ignorable __function__))
    (1+ (fanin-count aignet))))