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