		Search-engine friendly clone of the ACL2 documentation.

Xor-signature-p

Make-xor-signature

Constructor macro for xor-signature-p structures.

Syntax:

(make-xor-signature [:nodenum-leaf-count <nodenum-leaf-count>] 
                    [:min-nodenum-leaf <min-nodenum-leaf>] 
                    [:max-nodenum-leaf <max-nodenum-leaf>] 
                    [:combined-constant <combined-constant>])

This is our preferred way to construct xor-signature-p structures. It simply conses together a structure with the specified fields.

This macro generates a new xor-signature-p structure from scratch. See also change-xor-signature, which can "change" an existing structure, instead.

Note that we always use hons when creating xor-signature-p structures.

Definition

This is an ordinary make- macro introduced by std::defaggregate.

Macro: make-xor-signature

(defmacro make-xor-signature (&rest args)
  (std::make-aggregate 'xor-signature
                       args
                       '((:nodenum-leaf-count)
                         (:min-nodenum-leaf)
                         (:max-nodenum-leaf)
                         (:combined-constant))
                       'make-xor-signature
                       nil))