Searched refs:computeVolume (Results 1 – 6 of 6) sorted by relevance
120 Optional<uint64_t> computeVolume() const;
345 Optional<uint64_t> computeVolume() const;
785 expectComputedVolumeIsValidOverapprox(set.computeVolume(), trueVolume, in expectComputedVolumeIsValidOverapprox()789 TEST(SetTest, computeVolume) { in TEST() argument
1391 expectComputedVolumeIsValidOverapprox(poly.computeVolume(), trueVolume, in expectComputedVolumeIsValidOverapprox()1395 TEST(IntegerPolyhedronTest, computeVolume) { in TEST() argument
473 Optional<uint64_t> PresburgerRelation::computeVolume() const { in computeVolume() function in PresburgerRelation479 Optional<uint64_t> volume = disjunct.computeVolume(); in computeVolume()
1083 Optional<uint64_t> IntegerRelation::computeVolume() const { in computeVolume() function in IntegerRelation