		Search-engine friendly clone of the ACL2 documentation.

Xor-signature-p

Change-xor-signature

A copying macro that lets you create new xor-signature-p structures, based on existing structures.

Syntax:

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

This is a sometimes useful alternative to make-xor-signature. It constructs a new xor-signature-p structure that is a copy of x, except that you can explicitly change some particular fields. Any fields you don't mention just keep their values from x.

Definition

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

Macro: change-xor-signature

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