Options for AIGER export. More...
#include <ExportAIGER.h>
Collaboration diagram for circt::aiger::ExportAIGEROptions:
Public Attributes | |
| bool | binaryFormat = false |
| Whether to export in binary format (aig) or ASCII format (aag). | |
| bool | includeSymbolTable = true |
| Whether to include symbol table in the output. | |
Detailed Description
Options for AIGER export.
Definition at line 63 of file ExportAIGER.h.
Member Data Documentation
◆ binaryFormat
| bool circt::aiger::ExportAIGEROptions::binaryFormat = false |
Whether to export in binary format (aig) or ASCII format (aag).
Default is ASCII format.
Definition at line 66 of file ExportAIGER.h.
Referenced by circt::aiger::registerExportAIGERTranslation().
◆ includeSymbolTable
| bool circt::aiger::ExportAIGEROptions::includeSymbolTable = true |
Whether to include symbol table in the output.
Default is true.
Definition at line 70 of file ExportAIGER.h.
Referenced by circt::aiger::registerExportAIGERTranslation().
The documentation for this struct was generated from the following file:
- /home/runner/work/circt-www/circt-www/circt_src/include/circt/Conversion/ExportAIGER.h
