Searched defs:expectComputedVolumeIsValidOverapprox (Results 1 – 3 of 3) sorted by relevance
143 inline void expectComputedVolumeIsValidOverapprox( in expectComputedVolumeIsValidOverapprox() function153 inline void expectComputedVolumeIsValidOverapprox( in expectComputedVolumeIsValidOverapprox() function
1408 expectComputedVolumeIsValidOverapprox(const IntegerPolyhedron &poly, in expectComputedVolumeIsValidOverapprox() function
757 expectComputedVolumeIsValidOverapprox(const PresburgerSet &set, in expectComputedVolumeIsValidOverapprox() function