		Search-engine friendly clone of the ACL2 documentation.

Fgl-exhaustive-test-config

Change-fgl-exhaustive-test-config

Modifying constructor for fgl-exhaustive-test-config structures.

Syntax

(change-fgl-exhaustive-test-config x 
                                   [:ignore-pathcond <ignore-pathcond>] 
                                   [:ignore-constraint <ignore-constraint>] 
                                   [:transform <transform>] 
                                   [:transform-config-override <transform-config-override>] 
                                   [:random-iters <random-iters>])

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

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

(defmacro change-fgl-exhaustive-test-config (x &rest args)
 (std::change-aggregate
    'fgl-exhaustive-test-config
    x args
    '((:ignore-pathcond .
                        fgl-exhaustive-test-config->ignore-pathcond)
      (:ignore-constraint
           .
           fgl-exhaustive-test-config->ignore-constraint)
      (:transform . fgl-exhaustive-test-config->transform)
      (:transform-config-override
           .
           fgl-exhaustive-test-config->transform-config-override)
      (:random-iters .
                     fgl-exhaustive-test-config->random-iters))
    'change-fgl-exhaustive-test-config
    'nil))