		Search-engine friendly clone of the ACL2 documentation.

Sd-problem

Change-sd-problem

Modifying constructor for sd-problem structures.

Syntax

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

This is an often useful alternative to make-sd-problem.

We construct a new sd-problem 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-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))