		Search-engine friendly clone of the ACL2 documentation.

Aig2c-config-p

Make-aig2c-config

Constructor macro for aig2c-config-p structures.

Syntax:

(make-aig2c-config [:prefix <prefix>] 
                   [:type <type>] 
                   [:op-and <op-and>] 
                   [:op-not <op-not>])

This is our preferred way to construct aig2c-config-p structures. It simply conses together a structure with the specified fields.

This macro generates a new aig2c-config-p structure from scratch. See also change-aig2c-config, which can "change" an existing structure, instead.

The aig2c-config-p structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see make-honsed-aig2c-config instead.

Definition

This is an ordinary make- macro introduced by std::defaggregate.

Macro: make-aig2c-config

(defmacro make-aig2c-config (&rest args)
  (std::make-aggregate 'aig2c-config
                       args
                       '((:prefix . "_temp")
                         (:type . "const uint32_t")
                         (:op-and . "&")
                         (:op-not . "~"))
                       'make-aig2c-config
                       nil))