|
|
|---|
|
|
|
|---|
Abstract stobj: logically this just represents a list of
This is a simple abstract stobj array, introduced by def-1d-arr.
Definition:
(defabsstobj ubdd-arr :foundation ubdd-arr$c :recognizer (ubdd-arrp :exec ubdd-arr$cp :logic ubdd-arr$ap) :creator (create-ubdd-arr :exec create-ubdd-arr$c :logic create-ubdd-arr$a) :corr-fn ubdd-arr$corr :exports ((ubdds-length :exec ubdds$c-length :logic ubdds$a-length) (get-ubdd :exec ubdds$ci :logic ubdds$ai) (set-ubdd :exec update-ubdds$ci :logic update-ubdds$ai) (resize-ubdds :exec resize-ubdds$c :logic resize-ubdds$a)))