		Search-engine friendly clone of the ACL2 documentation.

Base-api

Num-nxsts

(num-nxsts aignet) returns the number of next-state nodes in an aignet.

Logically this is just (stype-count :nxst aignet)

In the execution this is just a stobj field access.

Function: num-nxsts

(defun aignet$a::num-nxsts (aignet)
  (declare (xargs :guard (aignet$a::aignet-well-formedp aignet)))
  (let ((__function__ 'aignet$a::num-nxsts))
    (declare (ignorable __function__))
    (stype-count (nxst-stype) aignet)))