		Search-engine friendly clone of the ACL2 documentation.

Getprop

Access fast property lists

General form:
(getprop symb key default world-name world-alist)

See getpropc for a convenient abbreviation, and see world for discussion of both utilities getprop and putprop. Also see community book books/misc/getprop.lisp for an example that illustrates the use of ACL2 utilities getprop and putprop to take advantage of under-the-hood Lisp (hashed) property lists.

Macro: getprop

(defmacro getprop (symb key default world-name world-alist)
  (if (equal world-name ''current-acl2-world)
      (cons 'fgetprop
            (cons symb
                  (cons key
                        (cons default (cons world-alist 'nil)))))
    (cons 'sgetprop
          (cons symb
                (cons key
                      (cons default
                            (cons world-name
                                  (cons world-alist 'nil))))))))