63dead2096
Subtraction is a foundational arithmetic operation that is often used when computing, for example, data transfer sets or cache hits. Since the result of subtraction need not be a convex polytope, a new class `PresburgerSet` is introduced to represent unions of convex polytopes. Reviewed By: ftynse, bondhugula Differential Revision: https://reviews.llvm.org/D87068 |
||
|---|---|---|
| .. | ||
| CMakeLists.txt | ||
| MatrixTest.cpp | ||
| SimplexTest.cpp | ||