mlir::smt::SMTEmissionOptions Struct Reference

Emission options for the ExportSMTLIB pass. More...

#include "mlir/Target/SMTLIB/ExportSMTLIB.h"

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 24 of file ExportSMTLIB.h.

Member Data Documentation

indentLetBody

bool mlir::smt::SMTEmissionOptions::indentLetBody = false

Definition at line 29 of file ExportSMTLIB.h.

inlineSingleUseValues

bool mlir::smt::SMTEmissionOptions::inlineSingleUseValues = false

Definition at line 27 of file ExportSMTLIB.h.

Referenced by mlir::smt::registerExportSMTLIBTranslation().

---

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

• include/mlir/Target/SMTLIB/ExportSMTLIB.h