Searched refs:CountsSnapshot (Results 1 – 5 of 5) sorted by relevance
218 struct CountsSnapshot { struct220 CountsSnapshot(const PresburgerSpace &space, unsigned numIneqs, in CountsSnapshot() function231 CountsSnapshot getCounts() const; argument232 void truncate(const CountsSnapshot &counts);695 void truncateVarKind(VarKind kind, const CountsSnapshot &counts);
207 IntegerRelation::CountsSnapshot bCounts; in getSetDifference()241 IntegerRelation::CountsSnapshot initBCounts = b.getCounts(); in getSetDifference()370 IntegerRelation::CountsSnapshot bCounts = b.getCounts(); in getSetDifference()
144 IntegerRelation::CountsSnapshot IntegerRelation::getCounts() const { in getCounts()155 const CountsSnapshot &counts) { in truncateVarKind()159 void IntegerRelation::truncate(const CountsSnapshot &counts) { in truncate()
530 IntegerRelation::CountsSnapshot domainPolyCounts; in computeSymbolicIntegerLexMin()571 IntegerRelation::CountsSnapshot domainPolyCounts = in computeSymbolicIntegerLexMin()
1461 IntegerRelation::CountsSnapshot snapshot = set.getCounts(); in TEST()