Basic constructor macro for fgl-satlink-monolithic-sat-config structures.
(make-fgl-satlink-monolithic-sat-config [:ignore-pathcond <ignore-pathcond>] [:ignore-constraint <ignore-constraint>] [:satlink-config-override <satlink-config-override>] [:transform <transform>] [:transform-config-override <transform-config-override>] [:conjoin <conjoin>])
This is the usual way to construct fgl-satlink-monolithic-sat-config structures. It simply conses together a structure with the specified fields.
This macro generates a new fgl-satlink-monolithic-sat-config structure from scratch. See also change-fgl-satlink-monolithic-sat-config, which can "change" an existing structure, instead.
This is an ordinary
Macro:
(defmacro make-fgl-satlink-monolithic-sat-config (&rest args) (std::make-aggregate 'fgl-satlink-monolithic-sat-config args '((:ignore-pathcond) (:ignore-constraint) (:satlink-config-override) (:transform) (:transform-config-override) (:conjoin . t)) 'make-fgl-satlink-monolithic-sat-config nil))
Function:
(defun fgl-satlink-monolithic-sat-config (ignore-pathcond ignore-constraint satlink-config-override transform transform-config-override conjoin) (declare (xargs :guard (and (booleanp ignore-pathcond) (booleanp ignore-constraint) (booleanp transform)))) (declare (xargs :guard t)) (let ((__function__ 'fgl-satlink-monolithic-sat-config)) (declare (ignorable __function__)) (b* ((ignore-pathcond (mbe :logic (bool-fix ignore-pathcond) :exec ignore-pathcond)) (ignore-constraint (mbe :logic (bool-fix ignore-constraint) :exec ignore-constraint)) (transform (mbe :logic (bool-fix transform) :exec transform))) (cons :fgl-satlink-config (list (cons 'ignore-pathcond ignore-pathcond) (cons 'ignore-constraint ignore-constraint) (cons 'satlink-config-override satlink-config-override) (cons 'transform transform) (cons 'transform-config-override transform-config-override) (cons 'conjoin conjoin))))))