|
|
|---|
|
|
|
|---|
Abstract stobj: logically this just represents an untyped list, but it is implemented as an array.
This is a simple abstract stobj array, introduced by def-1d-arr.
Definition:
(defabsstobj aigtrans :foundation aigtrans$c :recognizer (aigtransp :exec aigtrans$cp :logic aigtrans$ap) :creator (create-aigtrans :exec create-aigtrans$c :logic create-aigtrans$a) :corr-fn aigtrans$corr :exports ((aigs-length :exec aigs$c-length :logic aigs$a-length) (get-aig :exec aigs$ci :logic aigs$ai) (set-aig :exec update-aigs$ci :logic update-aigs$ai) (resize-aigs :exec resize-aigs$c :logic resize-aigs$a)))