		Search-engine friendly clone of the ACL2 documentation.

Param

Change-param

Modifying constructor for param structures.

Syntax

(change-param x 
              [:prime <prime>] 
              [:rate <rate>] 
              [:capacity <capacity>] 
              [:alpha <alpha>] 
              [:full-rounds-half <full-rounds-half>] 
              [:partial-rounds <partial-rounds>] 
              [:constants <constants>] 
              [:mds <mds>] 
              [:rate-then-capacity-p <rate-then-capacity-p>] 
              [:ascending-p <ascending-p>] 
              [:partial-first-p <partial-first-p>])

This is an often useful alternative to make-param.

We construct a new param 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 fty::defprod.

Macro: change-param

(defmacro change-param (x &rest args)
  (std::change-aggregate
       'param
       x args
       '((:prime . param->prime)
         (:rate . param->rate)
         (:capacity . param->capacity)
         (:alpha . param->alpha)
         (:full-rounds-half . param->full-rounds-half)
         (:partial-rounds . param->partial-rounds)
         (:constants . param->constants)
         (:mds . param->mds)
         (:rate-then-capacity-p . param->rate-then-capacity-p)
         (:ascending-p . param->ascending-p)
         (:partial-first-p . param->partial-first-p))
       'change-param
       'nil))