		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))))