Modifying constructor for flatnorm-res structures.
(change-flatnorm-res x [:assigns <assigns>] [:delays <delays>] [:constraints <constraints>])
This is an often useful alternative to make-flatnorm-res.
We construct a new flatnorm-res structure that is a copy of
This is an ordinary
Macro:
(defmacro change-flatnorm-res (x &rest args) (std::change-aggregate 'flatnorm-res x args '((:assigns . flatnorm-res->assigns) (:delays . flatnorm-res->delays) (:constraints . flatnorm-res->constraints)) 'change-flatnorm-res 'nil))