		Search-engine friendly clone of the ACL2 documentation.

Base-api

Innum->id

(innum->id n aignet) gets the ID of the node with primary input number n.

Logically this is (fanin-count (lookup-stype n :pi aignet)).

In the execution this is a stobj array lookup in the inputs array.

Function: innum->id

(defun
   aignet$a::innum->id (n aignet)
   (declare
        (xargs :guard (and (natp n)
                           (aignet$a::aignet-well-formedp aignet))))
   (declare (xargs :guard (< n (aignet$a::num-ins aignet))))
   (let ((__function__ 'aignet$a::innum->id))
        (declare (ignorable __function__))
        (fanin-count (lookup-stype n (pi-stype) aignet))))