Searched refs:getCounts (Results 1 – 5 of 5) sorted by relevance
241 IntegerRelation::CountsSnapshot initBCounts = b.getCounts(); in getSetDifference()370 IntegerRelation::CountsSnapshot bCounts = b.getCounts(); in getSetDifference()406 frame.bCounts = b.getCounts(); in getSetDifference()
572 domainPoly.getCounts(); in computeSymbolicIntegerLexMin()
144 IntegerRelation::CountsSnapshot IntegerRelation::getCounts() const { in getCounts() function in IntegerRelation
231 CountsSnapshot getCounts() const;
1461 IntegerRelation::CountsSnapshot snapshot = set.getCounts(); in TEST()