Searched refs:totPs (Results 1 – 1 of 1) sorted by relevance
41 int totPs = 0; in testSubgraphs() local44 totPs += tmp.size(); in testSubgraphs()47 totPs += tmp.size(); in testSubgraphs()50 totPs += tmp.size(); in testSubgraphs()53 totPs += tmp.size(); in testSubgraphs()56 totPs += tmp.size(); in testSubgraphs()59 totPs += tmp.size(); in testSubgraphs()70 CHECK_INVARIANT(totPs == newTot, ""); in testSubgraphs()