#include "mlir/Analysis/Presburger/Simplex.h"
#include "mlir/Analysis/Presburger/Matrix.h"
#include "mlir/Support/MathExtras.h"
#include "llvm/Support/Compiler.h"
#include <numeric>
#include <optional>
Go to the source code of this file.
|
class | mlir::presburger::GBRSimplex |
| Given a simplex for a polytope, construct a new simplex whose variables are identified with a pair of points (x, y) in the original polytope. More...
|
|
◆ Direction
◆ isRangeDivisibleBy()
◆ scaleAndAddForAssert()
◆ nullIndex
const int nullIndex = std::numeric_limits<int>::max() |