CIRCT  19.0.0git
Public Attributes | List of all members
circt::ExportSMTLIB::SMTEmissionOptions Struct Reference

Emission options for the ExportSMTLIB pass. More...

#include <ExportSMTLIB.h>

Collaboration diagram for circt::ExportSMTLIB::SMTEmissionOptions:
Collaboration graph

Public Attributes

bool inlineSingleUseValues = false
bool indentLetBody = false

Detailed Description

Emission options for the ExportSMTLIB pass.

Allows controlling the emitted format and overall behavior.

Definition at line 23 of file ExportSMTLIB.h.

Member Data Documentation

◆ indentLetBody

bool circt::ExportSMTLIB::SMTEmissionOptions::indentLetBody = false

Definition at line 28 of file ExportSMTLIB.h.

◆ inlineSingleUseValues

bool circt::ExportSMTLIB::SMTEmissionOptions::inlineSingleUseValues = false

Definition at line 26 of file ExportSMTLIB.h.

Referenced by circt::ExportSMTLIB::registerExportSMTLIBTranslation().

The documentation for this struct was generated from the following file: