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