Modifying constructor for fgl-satlink-monolithic-sat-config structures.
(change-fgl-satlink-monolithic-sat-config x [: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 an often useful alternative to make-fgl-satlink-monolithic-sat-config.
We construct a new fgl-satlink-monolithic-sat-config structure that is a copy of
This is an ordinary
Macro:
(defmacro change-fgl-satlink-monolithic-sat-config (x &rest args) (std::change-aggregate 'fgl-satlink-monolithic-sat-config x args '((:ignore-pathcond . fgl-satlink-monolithic-sat-config->ignore-pathcond) (:ignore-constraint . fgl-satlink-monolithic-sat-config->ignore-constraint) (:satlink-config-override . fgl-satlink-monolithic-sat-config->satlink-config-override) (:transform . fgl-satlink-monolithic-sat-config->transform) (:transform-config-override . fgl-satlink-monolithic-sat-config->transform-config-override) (:conjoin . fgl-satlink-monolithic-sat-config->conjoin)) 'change-fgl-satlink-monolithic-sat-config 'nil))