		Search-engine friendly clone of the ACL2 documentation.

Cgraph-formula

Change-cgraph-formula

Modifying constructor for cgraph-formula structures.

Syntax

(change-cgraph-formula x 
                       [:deps <deps>] 
                       [:name <name>] 
                       [:dep-success-vars <dep-success-vars>] 
                       [:success <success>] 
                       [:priority <priority>] 
                       [:value <value>] 
                       [:order <order>] 
                       [:ruletype <ruletype>])

This is an often useful alternative to make-cgraph-formula.

We construct a new cgraph-formula 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-cgraph-formula

(defmacro change-cgraph-formula (x &rest args)
  (std::change-aggregate
       'cgraph-formula
       x args
       '((:deps . cgraph-formula->deps)
         (:name . cgraph-formula->name)
         (:dep-success-vars . cgraph-formula->dep-success-vars)
         (:success . cgraph-formula->success)
         (:priority . cgraph-formula->priority)
         (:value . cgraph-formula->value)
         (:order . cgraph-formula->order)
         (:ruletype . cgraph-formula->ruletype))
       'change-cgraph-formula
       'nil))