ExportSMTLIB.h File Reference

#include "mlir-c/IR.h"

Include dependency graph for ExportSMTLIB.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
MLIR_CAPI_EXPORTED MlirLogicalResult	mlirExportSMTLIB (MlirModule, MlirStringCallback, void *userData)
	Emits SMTLIB for the specified module using the provided callback and user data.

Function Documentation

mlirExportSMTLIB()

MLIR_CAPI_EXPORTED MlirLogicalResult mlirExportSMTLIB	(	MlirModule	module,
		MlirStringCallback	callback,
		void *	userData
	)

Emits SMTLIB for the specified module using the provided callback and user data.

Definition at line 17 of file ExportSMTLIB.cpp.

References circt::ExportSMTLIB::exportSMTLIB(), unwrap(), and wrap().