diff options
| author | Abhinav271828 <71174780+Abhinav271828@users.noreply.github.com> | 2024-01-22 14:22:01 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-22 14:22:01 +0530 |
| commit | 68a5261d260e95148755c6725f56957cb8fd23a3 (patch) | |
| tree | 09a22eac5baf3fb256a0478b1f1795c9aff3cd7e /clang/utils | |
| parent | 5fb39efe680642c6cab072560efa3bfce6646fb0 (diff) | |
| download | llvm-68a5261d260e95148755c6725f56957cb8fd23a3.zip llvm-68a5261d260e95148755c6725f56957cb8fd23a3.tar.gz llvm-68a5261d260e95148755c6725f56957cb8fd23a3.tar.bz2 | |
[MLIR][Presburger] Implement function to evaluate the number of terms in a generating function. (#78078)
We implement `computeNumTerms()`, which counts the number of terms in a
generating function by substituting the unit vector in it.
This is the main function in Barvinok's algorithm – the number of points
in a polytope is given by the number of terms in the generating function
corresponding to it.
We also modify the GeneratingFunction class to have `const` getters and
improve the simplification of QuasiPolynomials.
Diffstat (limited to 'clang/utils')
0 files changed, 0 insertions, 0 deletions