Home
last modified time | relevance | path

Searched defs:trueVolume (Results 1 – 3 of 3) sorted by relevance

/llvm-project/mlir/unittests/Analysis/Presburger/
H A DUtils.h145 const std::optional<DynamicAPInt> &trueVolume, in expectComputedVolumeIsValidOverapprox()
155 std::optional<int64_t> trueVolume, std::optional<int64_t> resultBound) { in expectComputedVolumeIsValidOverapprox()
H A DIntegerPolyhedronTest.cpp1409 std::optional<int64_t> trueVolume, in expectComputedVolumeIsValidOverapprox()
H A DPresburgerSetTest.cpp758 std::optional<int64_t> trueVolume, in expectComputedVolumeIsValidOverapprox()