		Search-engine friendly clone of the ACL2 documentation.

Wcp-template-p

Change-wcp-template

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

Syntax:

(change-wcp-template x 
                     [:name <name>] 
                     [:enabledp <enabledp>] 
                     [:pat <pat>] 
                     [:templ <templ>] 
                     [:rulenames <rulenames>] 
                     [:restriction <restriction>])

This is a sometimes useful alternative to make-wcp-template. It constructs a new wcp-template-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-wcp-template

(defmacro change-wcp-template (x &rest args)
  (std::change-aggregate
       'wcp-template
       x args
       '((:name . wcp-template->name)
         (:enabledp . wcp-template->enabledp)
         (:pat . wcp-template->pat)
         (:templ . wcp-template->templ)
         (:rulenames . wcp-template->rulenames)
         (:restriction . wcp-template->restriction))
       'change-wcp-template
       'nil))