Searched refs:initBCounts (Results 1 – 1 of 1) sorted by relevance
241 IntegerRelation::CountsSnapshot initBCounts = b.getCounts(); in getSetDifference() local263 for (unsigned i = initBCounts.getSpace().getNumLocalVars(), in getSetDifference()312 b.getNumLocalVars() - initBCounts.getSpace().getNumLocalVars(); in getSetDifference()322 b.truncate(initBCounts); in getSetDifference()329 frames.push_back(Frame{initialSnapshot, initBCounts, sI, in getSetDifference()