Modifying constructor for obs-constprop-config structures.
(change-obs-constprop-config x [:gatesimp <gatesimp>] [:constprop-iterations <constprop-iterations>] [:obs-hyp-max-size <obs-hyp-max-size>] [:obs-concl-min-size <obs-concl-min-size>] [:obs-min-ratio <obs-min-ratio>])
This is an often useful alternative to make-obs-constprop-config.
We construct a new obs-constprop-config structure that is a copy of
This is an ordinary
Macro:
(defmacro change-obs-constprop-config (x &rest args) (std::change-aggregate 'obs-constprop-config x args '((:gatesimp . obs-constprop-config->gatesimp) (:constprop-iterations . obs-constprop-config->constprop-iterations) (:obs-hyp-max-size . obs-constprop-config->obs-hyp-max-size) (:obs-concl-min-size . obs-constprop-config->obs-concl-min-size) (:obs-min-ratio . obs-constprop-config->obs-min-ratio)) 'change-obs-constprop-config 'nil))