LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::ModuleAnalysis< Result, Context, StructAnalysisTy > Member List

This is the complete list of members for llzk::ModuleAnalysis< Result, Context, StructAnalysisTy >, including all inherited members.

constructChildAnalyses(mlir::AnalysisManager &am)llzk::ModuleAnalysis< Result, Context, StructAnalysisTy >inlineprotected
constructed() constllzk::ModuleAnalysis< Result, Context, StructAnalysisTy >inline
ensureAnalysisRun(mlir::AnalysisManager &am)llzk::ModuleAnalysis< Result, Context, StructAnalysisTy >inline
getContext() const =0llzk::ModuleAnalysis< Result, Context, StructAnalysisTy >protectedpure virtual
getCurrentResults() constllzk::ModuleAnalysis< Result, Context, StructAnalysisTy >inline
getResult(component::StructDefOp op) constllzk::ModuleAnalysis< Result, Context, StructAnalysisTy >inline
getSolver()llzk::ModuleAnalysis< Result, Context, StructAnalysisTy >inline
hasResult(component::StructDefOp op) constllzk::ModuleAnalysis< Result, Context, StructAnalysisTy >inline
initializeSolver()=0llzk::ModuleAnalysis< Result, Context, StructAnalysisTy >protectedpure virtual
ModuleAnalysis(mlir::Operation *op, const mlir::DataFlowConfig &config=mlir::DataFlowConfig())llzk::ModuleAnalysis< Result, Context, StructAnalysisTy >inline
runAnalysis(mlir::AnalysisManager &am)llzk::ModuleAnalysis< Result, Context, StructAnalysisTy >inlinevirtual
solverllzk::ModuleAnalysis< Result, Context, StructAnalysisTy >protected
~ModuleAnalysis()=defaultllzk::ModuleAnalysis< Result, Context, StructAnalysisTy >virtual