		Search-engine friendly clone of the ACL2 documentation.

Fraig-config

Change-fraig-config

Modifying constructor for fraig-config structures.

Syntax

(change-fraig-config x 
                     [:initial-sim-words <initial-sim-words>] 
                     [:initial-sim-rounds <initial-sim-rounds>] 
                     [:sim-words <sim-words>] 
                     [:ipasir-limit <ipasir-limit>] 
                     [:ipasir-recycle-count <ipasir-recycle-count>] 
                     [:ctrex-queue-limit <ctrex-queue-limit>] 
                     [:ctrex-force-resim <ctrex-force-resim>] 
                     [:final-force-resim <final-force-resim>] 
                     [:random-seed-name <random-seed-name>] 
                     [:outs-only <outs-only>] 
                     [:miters-only <miters-only>] 
                     [:delete-class-on-fail <delete-class-on-fail>] 
                     [:gatesimp <gatesimp>] 
                     [:level-limit <level-limit>] 
                     [:output-types <output-types>] 
                     [:save-candidate-equivs-as <save-candidate-equivs-as>] 
                     [:remove-candidate-equivs <remove-candidate-equivs>])

This is an often useful alternative to make-fraig-config.

We construct a new fraig-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 fty::defprod.

Macro: change-fraig-config

(defmacro change-fraig-config (x &rest args)
 (std::change-aggregate
      'fraig-config
      x args
      '((:initial-sim-words . fraig-config->initial-sim-words)
        (:initial-sim-rounds . fraig-config->initial-sim-rounds)
        (:sim-words . fraig-config->sim-words)
        (:ipasir-limit . fraig-config->ipasir-limit)
        (:ipasir-recycle-count . fraig-config->ipasir-recycle-count)
        (:ctrex-queue-limit . fraig-config->ctrex-queue-limit)
        (:ctrex-force-resim . fraig-config->ctrex-force-resim)
        (:final-force-resim . fraig-config->final-force-resim)
        (:random-seed-name . fraig-config->random-seed-name)
        (:outs-only . fraig-config->outs-only)
        (:miters-only . fraig-config->miters-only)
        (:delete-class-on-fail . fraig-config->delete-class-on-fail)
        (:gatesimp . fraig-config->gatesimp)
        (:level-limit . fraig-config->level-limit)
        (:output-types . fraig-config->output-types)
        (:save-candidate-equivs-as
             .
             fraig-config->save-candidate-equivs-as)
        (:remove-candidate-equivs
             .
             fraig-config->remove-candidate-equivs))
      'change-fraig-config
      'nil))