		Search-engine friendly clone of the ACL2 documentation.

Satlink-parser-state

Change-satlink-parser-state

Modifying constructor for satlink-parser-state structures.

Syntax

(change-satlink-parser-state x 
                             [:saw-unsat-p <saw-unsat-p>] 
                             [:saw-sat-p <saw-sat-p>] 
                             [:saw-unknown-p <saw-unknown-p>] 
                             [:saw-zero-p <saw-zero-p>])

This is an often useful alternative to make-satlink-parser-state.

We construct a new satlink-parser-state 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-satlink-parser-state

(defmacro change-satlink-parser-state (x &rest args)
  (std::change-aggregate
       'satlink-parser-state
       x args
       '((:saw-unsat-p . satlink-parser-state->saw-unsat-p)
         (:saw-sat-p . satlink-parser-state->saw-sat-p)
         (:saw-unknown-p . satlink-parser-state->saw-unknown-p)
         (:saw-zero-p . satlink-parser-state->saw-zero-p))
       'change-satlink-parser-state
       'remake-satlink-parser-state))