Modifying constructor for phase-fsm-params structures.
(change-phase-fsm-params x [:scc-selfcompose-limit <scc-selfcompose-limit>] [:rewrite <rewrite>])
This is an often useful alternative to make-phase-fsm-params.
We construct a new phase-fsm-params structure that is a copy of
This is an ordinary
Macro:
(defmacro change-phase-fsm-params (x &rest args) (std::change-aggregate 'phase-fsm-params x args '((:scc-selfcompose-limit . phase-fsm-params->scc-selfcompose-limit) (:rewrite . phase-fsm-params->rewrite)) 'change-phase-fsm-params 'nil))