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