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 | inline |
isReachable(function::FuncDefOp &A, function::FuncDefOp &B) const | llzk::CallGraphReachabilityAnalysis |