Emission options for the ExportSMTLIB pass. More...
#include <ExportSMTLIB.h>
Collaboration diagram for circt::ExportSMTLIB::SMTEmissionOptions:
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:
- /home/runner/work/circt-www/circt-www/circt_src/include/circt/Target/ExportSMTLIB.h
