		Search-engine friendly clone of the ACL2 documentation.

Sd-problem-p

Change-sd-problem

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

Syntax:

(change-sd-problem x 
                   [:type <type>] 
                   [:priority <priority>] 
                   [:groupsize <groupsize>] 
                   [:key <key>] 
                   [:ctx <ctx>])

This is a sometimes useful alternative to make-sd-problem. It constructs a new sd-problem-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 defaggregate.

Macro: change-sd-problem

(defmacro change-sd-problem (x &rest args)
  (std::change-aggregate 'sd-problem
                         x args
                         '((:type . sd-problem->type)
                           (:priority . sd-problem->priority)
                           (:groupsize . sd-problem->groupsize)
                           (:key . sd-problem->key)
                           (:ctx . sd-problem->ctx))
                         'change-sd-problem
                         'remake-sd-problem))