Modifying constructor for fgl-casesplit-config structures.
(change-fgl-casesplit-config x [:split-params <split-params>] [:solve-params <solve-params>] [:split-concl <split-concl>] [:repeat-concl <repeat-concl>] [:allow-irrel-casesplit-vars <allow-irrel-casesplit-vars>] [:cases <cases>] [:fgl-config <fgl-config>] [:stop-on-ctrex <stop-on-ctrex>] [:stop-on-fail <stop-on-fail>])
This is an often useful alternative to make-fgl-casesplit-config.
We construct a new fgl-casesplit-config structure that is a copy of
This is an ordinary
Macro:
(defmacro change-fgl-casesplit-config (x &rest args) (std::change-aggregate 'fgl-casesplit-config x args '((:split-params . fgl-casesplit-config->split-params) (:solve-params . fgl-casesplit-config->solve-params) (:split-concl . fgl-casesplit-config->split-concl) (:repeat-concl . fgl-casesplit-config->repeat-concl) (:allow-irrel-casesplit-vars . fgl-casesplit-config->allow-irrel-casesplit-vars) (:cases . fgl-casesplit-config->cases) (:fgl-config . fgl-casesplit-config->fgl-config) (:stop-on-ctrex . fgl-casesplit-config->stop-on-ctrex) (:stop-on-fail . fgl-casesplit-config->stop-on-fail)) 'change-fgl-casesplit-config 'nil))