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