		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))