Constructor macro for incremental-extremize-config-p structures.
Syntax:
(make-incremental-extremize-config [:numerator <numerator>] [:denominator <denominator>] [:direction <direction>] [:sat-config <sat-config>] [:obj <obj>] [:progress-term <progress-term>] [:final-term <final-term>] [:unsat-term <unsat-term>] [:sat-term <sat-term>] [:error-term <error-term>] [:bad-ctrex-term <bad-ctrex-term>] [:interpolate-factor <interpolate-factor>])
This is our preferred way to construct incremental-extremize-config-p structures. It simply conses together a structure with the specified fields.
This macro generates a new incremental-extremize-config-p structure from scratch. See also change-incremental-extremize-config, which can "change" an existing structure, instead.
The incremental-extremize-config-p structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see make-honsed-incremental-extremize-config instead.
This is an ordinary
Macro:
(defmacro make-incremental-extremize-config (&rest args) (std::make-aggregate 'incremental-extremize-config args '((:numerator) (:denominator) (:direction) (:sat-config) (:obj) (:progress-term) (:final-term) (:unsat-term) (:sat-term) (:error-term) (:bad-ctrex-term) (:interpolate-factor)) 'make-incremental-extremize-config nil))