Searched defs:expectComputedVolumeIsValidOverapprox (Results 1 – 3 of 3) sorted by relevance
104 expectComputedVolumeIsValidOverapprox(Optional<uint64_t> computedVolume, in expectComputedVolumeIsValidOverapprox() function
1388 expectComputedVolumeIsValidOverapprox(const IntegerPolyhedron &poly, in expectComputedVolumeIsValidOverapprox() function
782 expectComputedVolumeIsValidOverapprox(const PresburgerSet &set, in expectComputedVolumeIsValidOverapprox() function