|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Shared state for post-instantiation cleanup helpers. More...
#include <SharedImpl.h>
Public Member Functions | |
| CleanupBase (mlir::ModuleOp root, const SymbolDefTree &symDefTree, const SymbolUseGraph &symUseGraph) | |
Public Attributes | |
| mlir::SymbolTableCollection | tables |
Protected Attributes | |
| mlir::ModuleOp | rootMod |
| const SymbolDefTree & | defTree |
| const SymbolUseGraph & | useGraph |
Shared state for post-instantiation cleanup helpers.
Definition at line 67 of file SharedImpl.h.
| llzk::polymorphic::detail::CleanupBase::CleanupBase | ( | mlir::ModuleOp | root, |
| const SymbolDefTree & | symDefTree, | ||
| const SymbolUseGraph & | symUseGraph ) |
Definition at line 183 of file SharedImpl.cpp.
|
protected |
Definition at line 77 of file SharedImpl.h.
|
protected |
Definition at line 76 of file SharedImpl.h.
| mlir::SymbolTableCollection llzk::polymorphic::detail::CleanupBase::tables |
Definition at line 69 of file SharedImpl.h.
|
protected |
Definition at line 78 of file SharedImpl.h.