		Search-engine friendly clone of the ACL2 documentation.

Config-p

Change-config

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

Syntax:

(change-config x 
               [:cmdline <cmdline>] 
               [:verbose <verbose>] 
               [:timing <timing>] 
               [:mintime <mintime>] 
               [:remove-temps <remove-temps>] 
               [:lrat-check <lrat-check>])

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

Macro: change-config

(defmacro change-config (x &rest args)
  (std::change-aggregate 'config
                         x args
                         '((:cmdline . config->cmdline)
                           (:verbose . config->verbose)
                           (:timing . config->timing)
                           (:mintime . config->mintime)
                           (:remove-temps . config->remove-temps)
                           (:lrat-check . config->lrat-check))
                         'change-config
                         'nil))