		Search-engine friendly clone of the ACL2 documentation.

Aig2c-config-p

Change-aig2c-config

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

Syntax:

(change-aig2c-config x 
                     [:prefix <prefix>] 
                     [:type <type>] 
                     [:op-and <op-and>] 
                     [:op-not <op-not>])

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

Macro: change-aig2c-config

(defmacro change-aig2c-config (x &rest args)
  (std::change-aggregate 'aig2c-config
                         x args
                         '((:prefix . aig2c-config->prefix)
                           (:type . aig2c-config->type)
                           (:op-and . aig2c-config->op-and)
                           (:op-not . aig2c-config->op-not))
                         'change-aig2c-config
                         'nil))