CIRCT  19.0.0git
Classes | Namespaces
LogicExporter.h File Reference
#include "Solver.h"
#include "circt/Dialect/Comb/CombOps.h"
#include "circt/Dialect/Comb/CombVisitors.h"
#include "circt/Dialect/HW/HWOps.h"
#include "circt/Dialect/HW/HWVisitors.h"
#include "mlir/IR/BuiltinOps.h"
#include "mlir/Support/LogicalResult.h"
#include "llvm/ADT/StringRef.h"
#include <string>
Include dependency graph for LogicExporter.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  circt::LogicExporter
 A class traversing MLIR IR to extrapolate the logic of a given circuit. More...
 

Namespaces

 circt
 This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context.