Constructor macro for honsed incremental-extremize-config-p structures.
Syntax:
(make-honsed-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 identical to make-incremental-extremize-config, except that we hons the structure we are creating.
This is an ordinary honsing
Macro:
(defmacro make-honsed-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-honsed-incremental-extremize-config t))