		Search-engine friendly clone of the ACL2 documentation.

Atj-qconstants-p

Change-atj-qconstants

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

Syntax:

(change-atj-qconstants x 
                       [:integers <integers>] 
                       [:rationals <rationals>] 
                       [:numbers <numbers>] 
                       [:chars <chars>] 
                       [:strings <strings>] 
                       [:symbols <symbols>] 
                       [:pairs <pairs>] 
                       [:next-index <next-index>])

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

(defmacro change-atj-qconstants (x &rest args)
  (std::change-aggregate
       'atj-qconstants
       x args
       '((:integers . atj-qconstants->integers)
         (:rationals . atj-qconstants->rationals)
         (:numbers . atj-qconstants->numbers)
         (:chars . atj-qconstants->chars)
         (:strings . atj-qconstants->strings)
         (:symbols . atj-qconstants->symbols)
         (:pairs . atj-qconstants->pairs)
         (:next-index . atj-qconstants->next-index))
       'change-atj-qconstants
       'nil))