|
|
|---|
|
|
|
|---|
Modifying constructor for svtv-evaldata structures.
(change-svtv-evaldata x
[:nextstate <nextstate>]
[:inputs <inputs>]
[:initst <initst>])
This is an often useful alternative to make-svtv-evaldata.
We construct a new svtv-evaldata structure that is a copy of
This is an ordinary
Macro:
(defmacro change-svtv-evaldata (x &rest args) (std::change-aggregate 'svtv-evaldata x args '((:nextstate . svtv-evaldata->nextstate) (:inputs . svtv-evaldata->inputs) (:initst . svtv-evaldata->initst)) 'change-svtv-evaldata 'remake-svtv-evaldata))