| addCut(unsigned row) | mlir::presburger::LexSimplexBase | protected |
| addDivisionVariable(ArrayRef< DynamicAPInt > coeffs, const DynamicAPInt &denom) | mlir::presburger::SimplexBase | |
| addEquality(ArrayRef< DynamicAPInt > coeffs) | mlir::presburger::SimplexBase | |
| addInequality(ArrayRef< DynamicAPInt > coeffs) final | mlir::presburger::LexSimplexBase | virtual |
| addRow(ArrayRef< DynamicAPInt > coeffs, bool makeRestricted=false) | mlir::presburger::SimplexBase | protected |
| addZeroRow(bool makeRestricted=false) | mlir::presburger::SimplexBase | protected |
| appendSymbol() | mlir::presburger::LexSimplexBase | protected |
| appendVariable(unsigned count=1) | mlir::presburger::SimplexBase | |
| colUnknown | mlir::presburger::SimplexBase | protected |
| con | mlir::presburger::SimplexBase | protected |
| dump() const | mlir::presburger::SimplexBase | |
| empty | mlir::presburger::SimplexBase | protected |
| findAnyPivotRow(unsigned col) | mlir::presburger::SimplexBase | protected |
| findIntegerLexMin() | mlir::presburger::LexSimplex | |
| findRationalLexMin() | mlir::presburger::LexSimplex | |
| getLexMinPivotColumn(unsigned row, unsigned colA, unsigned colB) const | mlir::presburger::LexSimplexBase | protected |
| 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 | |
| getSnapshot() | mlir::presburger::LexSimplexBase | inline |
| mlir::presburger::SimplexBase::getSnapshot() const | mlir::presburger::SimplexBase | |
| getSnapshotBasis() | mlir::presburger::SimplexBase | |
| intersectIntegerRelation(const IntegerRelation &rel) | mlir::presburger::SimplexBase | |
| isEmpty() const | mlir::presburger::SimplexBase | |
| isRedundantInequality(ArrayRef< DynamicAPInt > coeffs) | mlir::presburger::LexSimplex | |
| isSeparateInequality(ArrayRef< DynamicAPInt > coeffs) | mlir::presburger::LexSimplex | |
| LexSimplex(unsigned nVar) | mlir::presburger::LexSimplex | inlineexplicit |
| LexSimplex(const IntegerRelation &constraints) | mlir::presburger::LexSimplex | inlineexplicit |
| LexSimplexBase(unsigned nVar) | mlir::presburger::LexSimplexBase | inlineprotected |
| LexSimplexBase(unsigned nVar, const llvm::SmallBitVector &isSymbol) | mlir::presburger::LexSimplexBase | inlineprotected |
| LexSimplexBase(const IntegerRelation &constraints) | mlir::presburger::LexSimplexBase | inlineexplicitprotected |
| LexSimplexBase(const IntegerRelation &constraints, const llvm::SmallBitVector &isSymbol) | mlir::presburger::LexSimplexBase | inlineexplicitprotected |
| markEmpty() | mlir::presburger::SimplexBase | |
| moveRowUnknownToColumn(unsigned row) | mlir::presburger::LexSimplexBase | protected |
| 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 |
| 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 |
| undoLastConstraint() final | mlir::presburger::LexSimplexBase | protectedvirtual |
| 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 |
| ~LexSimplexBase() override=default | mlir::presburger::LexSimplexBase | |
| ~SimplexBase()=default | mlir::presburger::SimplexBase | virtual |
