LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
llzk::ConstraintDependencyGraphStructAnalysis Member List

This is the complete list of members for llzk::ConstraintDependencyGraphStructAnalysis, including all inherited members.

constructed() constllzk::StructAnalysis< ConstraintDependencyGraph, CDGAnalysisContext >inline
getModule() constllzk::StructAnalysis< ConstraintDependencyGraph, CDGAnalysisContext >inlineprotected
getResult() constllzk::StructAnalysis< ConstraintDependencyGraph, CDGAnalysisContext >inline
getStruct() constllzk::StructAnalysis< ConstraintDependencyGraph, CDGAnalysisContext >inlineprotected
runAnalysis(mlir::DataFlowSolver &solver, mlir::AnalysisManager &moduleAnalysisManager, CDGAnalysisContext &ctx) overridellzk::ConstraintDependencyGraphStructAnalysisinlinevirtual
runAnalysis(mlir::DataFlowSolver &solver, mlir::AnalysisManager &moduleAnalysisManager, bool runIntraprocedural)llzk::ConstraintDependencyGraphStructAnalysis
setResult(ConstraintDependencyGraph &&r)llzk::StructAnalysis< ConstraintDependencyGraph, CDGAnalysisContext >inlineprotected
StructAnalysis(mlir::Operation *op)llzk::ConstraintDependencyGraphStructAnalysisinline
~ConstraintDependencyGraphStructAnalysis()=defaultllzk::ConstraintDependencyGraphStructAnalysisvirtual
~StructAnalysis()=defaultllzk::StructAnalysis< ConstraintDependencyGraph, CDGAnalysisContext >virtual