		Search-engine friendly clone of the ACL2 documentation.

Cgraph-derivstate

Change-cgraph-derivstate

Modifying constructor for cgraph-derivstate structures.

Syntax

(change-cgraph-derivstate x 
                          [:times-seen <times-seen>] 
                          [:result-msg <result-msg>])

This is an often useful alternative to make-cgraph-derivstate.

We construct a new cgraph-derivstate 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 defprod.

Macro: change-cgraph-derivstate

(defmacro change-cgraph-derivstate (x &rest args)
  (std::change-aggregate
       'cgraph-derivstate
       x args
       '((:times-seen . cgraph-derivstate->times-seen)
         (:result-msg . cgraph-derivstate->result-msg))
       'change-cgraph-derivstate
       'remake-cgraph-derivstate))