| addDivisionVariable(ArrayRef< DynamicAPInt > coeffs, const DynamicAPInt &denom) | mlir::presburger::SimplexBase | |
| addEquality(ArrayRef< DynamicAPInt > coeffs) | mlir::presburger::SimplexBase | |
| addInequality(ArrayRef< DynamicAPInt > coeffs) final | mlir::presburger::Simplex | virtual |
| addRow(ArrayRef< DynamicAPInt > coeffs, bool makeRestricted=false) | mlir::presburger::SimplexBase | protected |
| addZeroRow(bool makeRestricted=false) | mlir::presburger::SimplexBase | protected |
| appendVariable(unsigned count=1) | mlir::presburger::SimplexBase | |
| colUnknown | mlir::presburger::SimplexBase | protected |
| computeIntegerBounds(ArrayRef< DynamicAPInt > coeffs) | mlir::presburger::Simplex | |
| computeOptimum(Direction direction, ArrayRef< DynamicAPInt > coeffs) | mlir::presburger::Simplex | |
| computeRowOptimum(Direction direction, unsigned row) | mlir::presburger::Simplex | |
| con | mlir::presburger::SimplexBase | protected |
| detectRedundant(unsigned offset, unsigned count) | mlir::presburger::Simplex | |
| detectRedundant(unsigned offset) | mlir::presburger::Simplex | inline |
| detectRedundant() | mlir::presburger::Simplex | inline |
| Direction enum name | mlir::presburger::Simplex | |
| dump() const | mlir::presburger::SimplexBase | |
| empty | mlir::presburger::SimplexBase | protected |
| findAnyPivotRow(unsigned col) | mlir::presburger::SimplexBase | protected |
| findIneqType(ArrayRef< DynamicAPInt > coeffs) | mlir::presburger::Simplex | |
| findIntegerSample() | mlir::presburger::Simplex | |
| GBRSimplex class | mlir::presburger::Simplex | friend |
| getNumColumns() const | mlir::presburger::SimplexBase | inlineprotected |
| getNumConstraints() const | mlir::presburger::SimplexBase | |
| getNumFixedCols() const | mlir::presburger::SimplexBase | inlineprotected |
| getNumRows() const | mlir::presburger::SimplexBase | inlineprotected |
| getNumVariables() const | mlir::presburger::SimplexBase | |
| getRationalSample() const | mlir::presburger::Simplex | |
| getSamplePointIfIntegral() const | mlir::presburger::Simplex | |
| getSnapshot() const | mlir::presburger::SimplexBase | |
| getSnapshotBasis() | mlir::presburger::SimplexBase | |
| IneqType enum name | mlir::presburger::Simplex | |
| intersectIntegerRelation(const IntegerRelation &rel) | mlir::presburger::SimplexBase | |
| isBoundedAlongConstraint(unsigned constraintIndex) | mlir::presburger::Simplex | |
| isEmpty() const | mlir::presburger::SimplexBase | |
| isFlatAlong(ArrayRef< DynamicAPInt > coeffs) | mlir::presburger::Simplex | |
| isMarkedRedundant(unsigned constraintIndex) const | mlir::presburger::Simplex | |
| isRationalSubsetOf(const IntegerRelation &rel) | mlir::presburger::Simplex | |
| isRedundantEquality(ArrayRef< DynamicAPInt > coeffs) | mlir::presburger::Simplex | |
| isRedundantInequality(ArrayRef< DynamicAPInt > coeffs) | mlir::presburger::Simplex | |
| isUnbounded() | mlir::presburger::Simplex | |
| makeProduct(const Simplex &a, const Simplex &b) | mlir::presburger::Simplex | static |
| markEmpty() | mlir::presburger::SimplexBase | |
| nRedundant | mlir::presburger::SimplexBase | protected |
| nSymbol | mlir::presburger::SimplexBase | protected |
| Orientation enum name | mlir::presburger::SimplexBase | protected |
| pivot(unsigned row, unsigned col) | mlir::presburger::SimplexBase | protected |
| pivot(Pivot pair) | mlir::presburger::SimplexBase | protected |
| print(raw_ostream &os) const | mlir::presburger::SimplexBase | |
| removeLastConstraintRowOrientation() | mlir::presburger::SimplexBase | protected |
| rollback(unsigned snapshot) | mlir::presburger::SimplexBase | |
| rowUnknown | mlir::presburger::SimplexBase | protected |
| savedBases | mlir::presburger::SimplexBase | protected |
| Simplex()=delete | mlir::presburger::Simplex | |
| Simplex(unsigned nVar) | mlir::presburger::Simplex | inlineexplicit |
| Simplex(const IntegerRelation &constraints) | mlir::presburger::Simplex | inlineexplicit |
| SimplexBase()=delete | mlir::presburger::SimplexBase | |
| SimplexBase(unsigned nVar, bool mustUseBigM) | mlir::presburger::SimplexBase | protected |
| SimplexBase(unsigned nVar, bool mustUseBigM, const llvm::SmallBitVector &isSymbol) | mlir::presburger::SimplexBase | protected |
| swapColumns(unsigned i, unsigned j) | mlir::presburger::SimplexBase | protected |
| swapRows(unsigned i, unsigned j) | mlir::presburger::SimplexBase | protected |
| swapRowWithCol(unsigned row, unsigned col) | mlir::presburger::SimplexBase | protected |
| tableau | mlir::presburger::SimplexBase | protected |
| undo(UndoLogEntry entry) | mlir::presburger::SimplexBase | protected |
| undoLog | mlir::presburger::SimplexBase | protected |
| UndoLogEntry enum name | mlir::presburger::SimplexBase | protected |
| unknownFromColumn(unsigned col) const | mlir::presburger::SimplexBase | protected |
| unknownFromColumn(unsigned col) | mlir::presburger::SimplexBase | protected |
| unknownFromIndex(int index) const | mlir::presburger::SimplexBase | protected |
| unknownFromIndex(int index) | mlir::presburger::SimplexBase | protected |
| unknownFromRow(unsigned row) const | mlir::presburger::SimplexBase | protected |
| unknownFromRow(unsigned row) | mlir::presburger::SimplexBase | protected |
| usingBigM | mlir::presburger::SimplexBase | protected |
| var | mlir::presburger::SimplexBase | protected |
| ~Simplex() override=default | mlir::presburger::Simplex | |
| ~SimplexBase()=default | mlir::presburger::SimplexBase | virtual |
