Searched refs:PredInsert (Results 1 – 1 of 1) sorted by relevance
85 UpdateMapType PredInsert; variable111 PredInsert[U.getTo()].push_back(U.getFrom()); in GraphDiff()132 (InverseEdge != InverseGraph) ? PredInsert : SuccInsert; in getAddedChildren()148 printMap(OS, PredInsert); in print()