Raw constructor for xor-signature-p structures.
Syntax:
(xor-signature nodenum-leaf-count min-nodenum-leaf max-nodenum-leaf combined-constant)
This is the lowest-level constructor for xor-signature-p structures. It simply conses together a structure with the specified fields.
Note: It's generally better to use macros like make-xor-signature or change-xor-signature instead. These macros lead to more readable and robust code, because you don't have to remember the order of the fields.
Note that we always use hons when creating xor-signature-p structures.
This is an ordinary constructor function introduced by std::defaggregate.
Function:
(defun xor-signature (nodenum-leaf-count min-nodenum-leaf max-nodenum-leaf combined-constant) (declare (xargs :guard (and (natp nodenum-leaf-count) (natp min-nodenum-leaf) (natp max-nodenum-leaf) (natp combined-constant)))) (hons (hons 'nodenum-leaf-count nodenum-leaf-count) (hons (hons 'min-nodenum-leaf min-nodenum-leaf) (hons (hons 'max-nodenum-leaf max-nodenum-leaf) (hons (hons 'combined-constant combined-constant) nil)))))