CIRCT  19.0.0git
Macros
LogicExporter.cpp File Reference
#include "circt/LogicalEquivalence/LogicExporter.h"
#include "circt/LogicalEquivalence/Circuit.h"
#include "circt/LogicalEquivalence/Solver.h"
#include "circt/LogicalEquivalence/Utility.h"
#include "llvm/ADT/TypeSwitch.h"
Include dependency graph for LogicExporter.cpp:

Go to the source code of this file.

Macros

#define DEBUG_TYPE   "lec-exporter"
 This file defines the logic-exporting class for the circt-lec tool. More...
 

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "lec-exporter"

This file defines the logic-exporting class for the circt-lec tool.

Definition at line 19 of file LogicExporter.cpp.