Searched refs:bCounts (Results 1 – 1 of 1) sorted by relevance
207 IntegerRelation::CountsSnapshot bCounts; in getSetDifference() member370 IntegerRelation::CountsSnapshot bCounts = b.getCounts(); in getSetDifference() local371 frames.push_back(Frame{simplexSnapshot, bCounts, sI, ineqsToProcess, in getSetDifference()391 b.truncate(frame.bCounts); in getSetDifference()406 frame.bCounts = b.getCounts(); in getSetDifference()