Searched defs:SPTState (Results 1 – 1 of 1) sorted by relevance
1868 std::pair<int, int> SPTState = in processInsertions() local1879 std::pair<int, int> SPTState = *PSPT.getStateAt(*BB.rbegin()); in processInsertions() local