		Search-engine friendly clone of the ACL2 documentation.

Isodata-isomapp

Change-isodata-isomap

A copying macro that lets you create new isodata-isomapp structures, based on existing structures.

Syntax:

(change-isodata-isomap x 
                       [:isoname <isoname>] 
                       [:localp <localp>] 
                       [:oldp <oldp>] 
                       [:newp <newp>] 
                       [:forth <forth>] 
                       [:back <back>] 
                       [:forth-image <forth-image>] 
                       [:back-image <back-image>] 
                       [:back-of-forth <back-of-forth>] 
                       [:forth-of-back <forth-of-back>] 
                       [:forth-injective <forth-injective>] 
                       [:back-injective <back-injective>] 
                       [:oldp-guard <oldp-guard>] 
                       [:newp-guard <newp-guard>] 
                       [:forth-guard <forth-guard>] 
                       [:back-guard <back-guard>] 
                       [:hints <hints>])

This is a sometimes useful alternative to make-isodata-isomap. It constructs a new isodata-isomapp 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 std::defaggregate.

Macro: change-isodata-isomap

(defmacro change-isodata-isomap (x &rest args)
  (std::change-aggregate
       'isodata-isomap
       x args
       '((:isoname . isodata-isomap->isoname)
         (:localp . isodata-isomap->localp)
         (:oldp . isodata-isomap->oldp)
         (:newp . isodata-isomap->newp)
         (:forth . isodata-isomap->forth)
         (:back . isodata-isomap->back)
         (:forth-image . isodata-isomap->forth-image)
         (:back-image . isodata-isomap->back-image)
         (:back-of-forth . isodata-isomap->back-of-forth)
         (:forth-of-back . isodata-isomap->forth-of-back)
         (:forth-injective . isodata-isomap->forth-injective)
         (:back-injective . isodata-isomap->back-injective)
         (:oldp-guard . isodata-isomap->oldp-guard)
         (:newp-guard . isodata-isomap->newp-guard)
         (:forth-guard . isodata-isomap->forth-guard)
         (:back-guard . isodata-isomap->back-guard)
         (:hints . isodata-isomap->hints))
       'change-isodata-isomap
       'nil))