		Search-engine friendly clone of the ACL2 documentation.

Fgl-ipasir-config

Change-fgl-ipasir-config

Modifying constructor for fgl-ipasir-config structures.

Syntax

(change-fgl-ipasir-config x 
                          [:ignore-pathcond <ignore-pathcond>] 
                          [:ignore-constraint <ignore-constraint>] 
                          [:ipasir-callback-limit <ipasir-callback-limit>] 
                          [:ipasir-recycle-callback-limit <ipasir-recycle-callback-limit>] 
                          [:ipasir-index <ipasir-index>])

This is an often useful alternative to make-fgl-ipasir-config.

We construct a new fgl-ipasir-config 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-fgl-ipasir-config

(defmacro change-fgl-ipasir-config (x &rest args)
  (std::change-aggregate
       'fgl-ipasir-config
       x args
       '((:ignore-pathcond . fgl-ipasir-config->ignore-pathcond)
         (:ignore-constraint . fgl-ipasir-config->ignore-constraint)
         (:ipasir-callback-limit
              .
              fgl-ipasir-config->ipasir-callback-limit)
         (:ipasir-recycle-callback-limit
              .
              fgl-ipasir-config->ipasir-recycle-callback-limit)
         (:ipasir-index . fgl-ipasir-config->ipasir-index))
       'change-fgl-ipasir-config
       'nil))