Searched refs:PredDelete (Results 1 – 1 of 1) sorted by relevance
86 UpdateMapType PredDelete; variable114 PredDelete[U.getTo()].push_back(U.getFrom()); in GraphDiff()121 (InverseEdge != InverseGraph) ? PredDelete : SuccDelete; in ignoreChild()150 printMap(OS, PredDelete); in print()