		Search-engine friendly clone of the ACL2 documentation.

Stvdata-p

Change-stvdata

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

Syntax:

(change-stvdata x 
                [:inputs <inputs>] 
                [:outputs <outputs>] 
                [:internals <internals>] 
                [:overrides <overrides>])

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

(defmacro change-stvdata (x &rest args)
  (std::change-aggregate 'stvdata
                         x args
                         '((:inputs . stvdata->inputs)
                           (:outputs . stvdata->outputs)
                           (:internals . stvdata->internals)
                           (:overrides . stvdata->overrides))
                         'change-stvdata
                         'nil))