		Search-engine friendly clone of the ACL2 documentation.

Compustate

Change-compustate

Modifying constructor for compustate structures.

Syntax

(change-compustate x 
                   [:static <static>] 
                   [:frames <frames>] 
                   [:heap <heap>])

This is an often useful alternative to make-compustate.

We construct a new compustate 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 fty::defprod.

Macro: change-compustate

(defmacro change-compustate (x &rest args)
  (std::change-aggregate 'compustate
                         x args
                         '((:static . compustate->static)
                           (:frames . compustate->frames)
                           (:heap . compustate->heap))
                         'change-compustate
                         'nil))