Searched defs:computeVolume (Results 1 – 4 of 4) sorted by relevance
473 Optional<uint64_t> PresburgerRelation::computeVolume() const { in computeVolume() function in PresburgerRelation
1083 Optional<uint64_t> IntegerRelation::computeVolume() const { in computeVolume() function in IntegerRelation
1395 TEST(IntegerPolyhedronTest, computeVolume) { in TEST() argument
789 TEST(SetTest, computeVolume) { in TEST() argument