Searched defs:computeVolume (Results 1 – 4 of 4) sorted by relevance
| /llvm-project/mlir/lib/Analysis/Presburger/ | ||
| H A D | PresburgerRelation.cpp | 684 std::optional<DynamicAPInt> PresburgerRelation::computeVolume() const { computeVolume() function in PresburgerRelation |
| H A D | IntegerRelation.cpp | 1238 std::optional<DynamicAPInt> IntegerRelation::computeVolume() const { computeVolume() function in IntegerRelation |
| /llvm-project/mlir/unittests/Analysis/Presburger/ | ||
| H A D | IntegerPolyhedronTest.cpp | 1415 TEST(IntegerPolyhedronTest, computeVolume) { in TEST() argument |
| H A D | PresburgerSetTest.cpp | 764 TEST(SetTest, computeVolume) { in TEST() argument |