		Search-engine friendly clone of the ACL2 documentation.

Smtlink-config

Change-smtlink-config

Modifying constructor for smtlink-config structures.

Syntax

(change-smtlink-config x 
                       [:interface-dir <interface-dir>] 
                       [:smt-module <smt-module>] 
                       [:smt-class <smt-class>] 
                       [:smt-cmd <smt-cmd>] 
                       [:pythonpath <pythonpath>])

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

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

(defmacro change-smtlink-config (x &rest args)
  (std::change-aggregate
       'smtlink-config
       x args
       '((:interface-dir . smtlink-config->interface-dir)
         (:smt-module . smtlink-config->smt-module)
         (:smt-class . smtlink-config->smt-class)
         (:smt-cmd . smtlink-config->smt-cmd)
         (:pythonpath . smtlink-config->pythonpath))
       'change-smtlink-config
       'nil))