|
LLZK 0.1.0
Veridise's ZK Language IR
|
This is the complete list of members for llzk::CallGraphReachabilityAnalysis, including all inherited members.
| CallGraphReachabilityAnalysis(mlir::Operation *, mlir::AnalysisManager &am) | llzk::CallGraphReachabilityAnalysis | |
| getCallGraph() const | llzk::CallGraphReachabilityAnalysis | inline |
| isInvalidated(const mlir::AnalysisManager::PreservedAnalyses &pa) | llzk::CallGraphReachabilityAnalysis | inlinestatic |
| isReachable(function::FuncDefOp &A, function::FuncDefOp &B) const | llzk::CallGraphReachabilityAnalysis |