		Search-engine friendly clone of the ACL2 documentation.

Vl-model-opts-p

Change-vl-model-opts

A copying macro that lets you create new vl-model-opts-p structures, based on existing structures.

Syntax:

(change-vl-model-opts x 
                      [:help <help>] 
                      [:readme <readme>] 
                      [:outdir <outdir>] 
                      [:model-file <model-file>] 
                      [:esims-file <esims-file>] 
                      [:verilog-file <verilog-file>] 
                      [:start-files <start-files>] 
                      [:search-path <search-path>] 
                      [:include-dirs <include-dirs>] 
                      [:search-exts <search-exts>] 
                      [:defines <defines>] 
                      [:unroll-limit <unroll-limit>] 
                      [:dropmods <dropmods>] 
                      [:edition <edition>] 
                      [:strict <strict>] 
                      [:mem <mem>] 
                      [:mustfail <mustfail>] 
                      [:mustget <mustget>])

This is a sometimes useful alternative to make-vl-model-opts. It constructs a new vl-model-opts-p 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 defaggregate.

Macro: change-vl-model-opts

(defmacro change-vl-model-opts (x &rest args)
  (std::change-aggregate
       'vl-model-opts
       x args
       '((:help . vl-model-opts->help)
         (:readme . vl-model-opts->readme)
         (:outdir . vl-model-opts->outdir)
         (:model-file . vl-model-opts->model-file)
         (:esims-file . vl-model-opts->esims-file)
         (:verilog-file . vl-model-opts->verilog-file)
         (:start-files . vl-model-opts->start-files)
         (:search-path . vl-model-opts->search-path)
         (:include-dirs . vl-model-opts->include-dirs)
         (:search-exts . vl-model-opts->search-exts)
         (:defines . vl-model-opts->defines)
         (:unroll-limit . vl-model-opts->unroll-limit)
         (:dropmods . vl-model-opts->dropmods)
         (:edition . vl-model-opts->edition)
         (:strict . vl-model-opts->strict)
         (:mem . vl-model-opts->mem)
         (:mustfail . vl-model-opts->mustfail)
         (:mustget . vl-model-opts->mustget))
       'change-vl-model-opts
       'nil))