		Search-engine friendly clone of the ACL2 documentation.

Prof-entry-p

Change-prof-entry

A copying macro that lets you create new prof-entry-p structures, based on existing structures.

Syntax:

(change-prof-entry x 
                   [:name <name>] 
                   [:tries-succ <tries-succ>] 
                   [:tries-fail <tries-fail>] 
                   [:frames-succ <frames-succ>] 
                   [:frames-fail <frames-fail>])

This is a sometimes useful alternative to make-prof-entry. It constructs a new prof-entry-p structure that is a copy of x, except that you can explicitly change some particular fields. Any fields you don't mention just keep their values from x.

Definition

This is an ordinary change- macro introduced by std::defaggregate.

Macro: change-prof-entry

(defmacro change-prof-entry (x &rest args)
  (std::change-aggregate 'prof-entry
                         x args
                         '((:name . prof-entry->name)
                           (:tries-succ . prof-entry->tries-succ)
                           (:tries-fail . prof-entry->tries-fail)
                           (:frames-succ . prof-entry->frames-succ)
                           (:frames-fail . prof-entry->frames-fail))
                         'change-prof-entry
                         'nil))