Searched defs:CountsSnapshot (Results 1 – 1 of 1) sorted by relevance
282 struct CountsSnapshot { struct284 CountsSnapshot(const PresburgerSpace &space, unsigned numIneqs, in CountsSnapshot() argument295 CountsSnapshot getCounts() const; argument