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

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

constructChildAnalyses(mlir::AnalysisManager &am)llzk::ModuleAnalysis< ConstraintDependencyGraph, CDGAnalysisContext, ConstraintDependencyGraphStructAnalysis >inlineprotected
constructed() constllzk::ModuleAnalysis< ConstraintDependencyGraph, CDGAnalysisContext, ConstraintDependencyGraphStructAnalysis >inline
ensureAnalysisRun(mlir::AnalysisManager &am)llzk::ModuleAnalysis< ConstraintDependencyGraph, CDGAnalysisContext, ConstraintDependencyGraphStructAnalysis >inline
getContext() const overridellzk::ConstraintDependencyGraphModuleAnalysisinlineprotectedvirtual
getCurrentResults() constllzk::ModuleAnalysis< ConstraintDependencyGraph, CDGAnalysisContext, ConstraintDependencyGraphStructAnalysis >inline
getResult(component::StructDefOp op) constllzk::ModuleAnalysis< ConstraintDependencyGraph, CDGAnalysisContext, ConstraintDependencyGraphStructAnalysis >inline
getSolver()llzk::ModuleAnalysis< ConstraintDependencyGraph, CDGAnalysisContext, ConstraintDependencyGraphStructAnalysis >inline
hasResult(component::StructDefOp op) constllzk::ModuleAnalysis< ConstraintDependencyGraph, CDGAnalysisContext, ConstraintDependencyGraphStructAnalysis >inline
initializeSolver() overridellzk::ConstraintDependencyGraphModuleAnalysisinlineprotectedvirtual
ModuleAnalysis(mlir::Operation *op)llzk::ConstraintDependencyGraphModuleAnalysisinline
runAnalysis(mlir::AnalysisManager &am)llzk::ModuleAnalysis< ConstraintDependencyGraph, CDGAnalysisContext, ConstraintDependencyGraphStructAnalysis >inlinevirtual
setIntraprocedural(bool runIntraprocedural)llzk::ConstraintDependencyGraphModuleAnalysisinline
solverllzk::ModuleAnalysis< ConstraintDependencyGraph, CDGAnalysisContext, ConstraintDependencyGraphStructAnalysis >protected
~ConstraintDependencyGraphModuleAnalysis()=defaultllzk::ConstraintDependencyGraphModuleAnalysisvirtual
~ModuleAnalysis()=defaultllzk::ModuleAnalysis< ConstraintDependencyGraph, CDGAnalysisContext, ConstraintDependencyGraphStructAnalysis >virtual