		Search-engine friendly clone of the ACL2 documentation.

Sd-problem-p

Make-sd-problem

Constructor macro for sd-problem-p structures.

Syntax:

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

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

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

The sd-problem-p structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see make-honsed-sd-problem instead.

Definition

This is an ordinary make- macro introduced by defaggregate.

Macro: make-sd-problem

(defmacro make-sd-problem (&rest args)
  (std::make-aggregate 'sd-problem
                       args
                       '((:type)
                         (:priority)
                         (:groupsize)
                         (:key)
                         (:ctx))
                       'make-sd-problem
                       nil))