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