		Search-engine friendly clone of the ACL2 documentation.

Svar-split-segment

Change-svar-split-segment

Modifying constructor for svar-split-segment structures.

Syntax

(change-svar-split-segment x 
                           [:width <width>] 
                           [:var <var>] 
                           [:rest <rest>])

This is an often useful alternative to make-svar-split-segment.

We construct a new svar-split-segment 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 defprod.

Macro: change-svar-split-segment

(defmacro change-svar-split-segment (x &rest args)
  (std::change-aggregate 'svar-split-segment
                         x args
                         '((:width . svar-split-segment->width)
                           (:var . svar-split-segment->var)
                           (:rest . svar-split-segment->rest))
                         'change-svar-split-segment
                         'nil))