|
|
|---|
|
|
|
|---|
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))