|
|
|---|
|
|
|
|---|
Constructor macro for honsed constraint-tuple-p structures.
Syntax:
(make-honsed-constraint-tuple [:rule <rule>]
[:existing-lits <existing-lits>]
[:matching-lit <matching-lit>]
[:common-vars <common-vars>]
[:existing-vars <existing-vars>]
[:sig-table <sig-table>])
This is identical to make-constraint-tuple, except that we hons the structure we are creating.
This is an ordinary honsing
Macro:
(defmacro make-honsed-constraint-tuple (&rest args) (std::make-aggregate 'constraint-tuple args '((:rule) (:existing-lits) (:matching-lit) (:common-vars) (:existing-vars) (:sig-table)) 'make-honsed-constraint-tuple t))