		Search-engine friendly clone of the ACL2 documentation.

Tree-nonleaf

Change-tree-nonleaf

Modifying constructor for tree-nonleaf structures.

Syntax

(change-tree-nonleaf x 
                     [:rulename? <rulename?>] 
                     [:branches <branches>])

This is an often useful alternative to make-tree-nonleaf.

We construct a new tree-nonleaf 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-tree-nonleaf

(defmacro change-tree-nonleaf (x &rest args)
  (std::change-aggregate 'tree-nonleaf
                         x args
                         '((:rulename? . tree-nonleaf->rulename?)
                           (:branches . tree-nonleaf->branches))
                         'change-tree-nonleaf
                         'nil))