Searched refs:NodeAuditor (Results 1 – 1 of 1) sorted by relevance
37 static ExplodedNode::Auditor* NodeAuditor = nullptr; variable42 NodeAuditor = A; in SetAuditor()223 if (NodeAuditor) NodeAuditor->AddEdge(V, this); in addPredecessor()