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.

begin()llzk::ModuleAnalysis< ConstraintDependencyGraph, CDGAnalysisContext, ConstraintDependencyGraphStructAnalysis >inline
cbegin() constllzk::ModuleAnalysis< ConstraintDependencyGraph, CDGAnalysisContext, ConstraintDependencyGraphStructAnalysis >inline
cend() constllzk::ModuleAnalysis< ConstraintDependencyGraph, CDGAnalysisContext, ConstraintDependencyGraphStructAnalysis >inline
constructChildAnalyses(mlir::AnalysisManager &am)llzk::ModuleAnalysis< ConstraintDependencyGraph, CDGAnalysisContext, ConstraintDependencyGraphStructAnalysis >inlineprotected
end()llzk::ModuleAnalysis< ConstraintDependencyGraph, CDGAnalysisContext, ConstraintDependencyGraphStructAnalysis >inline
getContext() overridellzk::ConstraintDependencyGraphModuleAnalysisinlineprotectedvirtual
getResult(component::StructDefOp op) constllzk::ModuleAnalysis< ConstraintDependencyGraph, CDGAnalysisContext, ConstraintDependencyGraphStructAnalysis >inline
getSolver() constllzk::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