#include "circt/Support/LLVM.h"
#include "mlir/IR/BuiltinOps.h"
#include "llvm/Support/SourceMgr.h"

Include dependency graph for ImportAIGER.h:

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

Classes
struct	circt::aiger::ImportAIGEROptions
	Options for AIGER import. More...

Namespaces
namespace	mlir

namespace	circt
	The InstanceGraph op interface, see InstanceGraphInterface.td for more details.

namespace	circt::aiger

Functions
mlir::LogicalResult	circt::aiger::importAIGER (llvm::SourceMgr &sourceMgr, mlir::MLIRContext context, mlir::TimingScope &ts, mlir::ModuleOp module, const ImportAIGEROptions options=nullptr)
	Parse an AIGER file and populate the given MLIR module with corresponding AIG dialect operations.

void	circt::aiger::registerImportAIGERTranslation ()
	Register the `import-aiger` MLIR translation.

Classes

Namespaces