Modifying constructor for m-assum-n-output-observability-config structures.
(change-m-assum-n-output-observability-config x [:gatesimp <gatesimp>])
This is an often useful alternative to make-m-assum-n-output-observability-config.
We construct a new m-assum-n-output-observability-config structure that is a copy of
This is an ordinary
Macro:
(defmacro change-m-assum-n-output-observability-config (x &rest args) (std::change-aggregate 'm-assum-n-output-observability-config x args '((:gatesimp . m-assum-n-output-observability-config->gatesimp)) 'change-m-assum-n-output-observability-config 'nil))