|
|
|---|
|
|
|
|---|
Raw constructor for honsed xor-signature-p structures.
Syntax:
(honsed-xor-signature nodenum-leaf-count min-nodenum-leaf
max-nodenum-leaf combined-constant)Since xor-signature-p structures are always honsed, this is identical to xor-signature. We introduce it mainly for consistency with other std::defaggregate style structures.
This is an ordinary honsing constructor introduced by std::defaggregate.
Function:
(defun honsed-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)))) (mbe :logic (xor-signature nodenum-leaf-count min-nodenum-leaf max-nodenum-leaf combined-constant) :exec (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))))))