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