Searched refs:explodedNodes (Results 1 – 1 of 1) sorted by relevance
103 ExplodedNodeSet explodedNodes; // Set of ExplodedNodes that refer to a member341 Data.explodedNodes.Add(C.getPredecessor()); in checkPostStmt()355 const ExplodedNodeSet &ES = Data.explodedNodes; in checkEndAnalysis()