		Search-engine friendly clone of the ACL2 documentation.

Deftreeops-table-value

Change-deftreeops-table-value

Modifying constructor for deftreeops-table-value structures.

Syntax

(change-deftreeops-table-value x 
                               [:rulename-info-alist <rulename-info-alist>] 
                               [:numrange-info-alist <numrange-info-alist>] 
                               [:charval-info-alist <charval-info-alist>] 
                               [:event-alist <event-alist>] 
                               [:call <call>])

This is an often useful alternative to make-deftreeops-table-value.

We construct a new deftreeops-table-value 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-deftreeops-table-value

(defmacro change-deftreeops-table-value (x &rest args)
 (std::change-aggregate
  'deftreeops-table-value
  x args
  '((:rulename-info-alist
         .
         deftreeops-table-value->rulename-info-alist)
    (:numrange-info-alist
         .
         deftreeops-table-value->numrange-info-alist)
    (:charval-info-alist .
                         deftreeops-table-value->charval-info-alist)
    (:event-alist . deftreeops-table-value->event-alist)
    (:call . deftreeops-table-value->call))
  'change-deftreeops-table-value
  'nil))