MLIR  20.0.0git
mlir::presburger::LexSimplexBase Member List

This is the complete list of members for mlir::presburger::LexSimplexBase, including all inherited members.

addCut(unsigned row)mlir::presburger::LexSimplexBaseprotected
addDivisionVariable(ArrayRef< DynamicAPInt > coeffs, const DynamicAPInt &denom)mlir::presburger::SimplexBase
addEquality(ArrayRef< DynamicAPInt > coeffs)mlir::presburger::SimplexBase
addInequality(ArrayRef< DynamicAPInt > coeffs) finalmlir::presburger::LexSimplexBasevirtual
addRow(ArrayRef< DynamicAPInt > coeffs, bool makeRestricted=false)mlir::presburger::SimplexBaseprotected
addZeroRow(bool makeRestricted=false)mlir::presburger::SimplexBaseprotected
appendSymbol()mlir::presburger::LexSimplexBaseprotected
appendVariable(unsigned count=1)mlir::presburger::SimplexBase
colUnknownmlir::presburger::SimplexBaseprotected
conmlir::presburger::SimplexBaseprotected
dump() constmlir::presburger::SimplexBase
emptymlir::presburger::SimplexBaseprotected
findAnyPivotRow(unsigned col)mlir::presburger::SimplexBaseprotected
getLexMinPivotColumn(unsigned row, unsigned colA, unsigned colB) constmlir::presburger::LexSimplexBaseprotected
getNumColumns() constmlir::presburger::SimplexBaseinlineprotected
getNumConstraints() constmlir::presburger::SimplexBase
getNumFixedCols() constmlir::presburger::SimplexBaseinlineprotected
getNumRows() constmlir::presburger::SimplexBaseinlineprotected
getNumVariables() constmlir::presburger::SimplexBase
getSnapshot()mlir::presburger::LexSimplexBaseinline
mlir::presburger::SimplexBase::getSnapshot() constmlir::presburger::SimplexBase
getSnapshotBasis()mlir::presburger::SimplexBase
intersectIntegerRelation(const IntegerRelation &rel)mlir::presburger::SimplexBase
isEmpty() constmlir::presburger::SimplexBase
LexSimplexBase(unsigned nVar)mlir::presburger::LexSimplexBaseinlineprotected
LexSimplexBase(unsigned nVar, const llvm::SmallBitVector &isSymbol)mlir::presburger::LexSimplexBaseinlineprotected
LexSimplexBase(const IntegerRelation &constraints)mlir::presburger::LexSimplexBaseinlineexplicitprotected
LexSimplexBase(const IntegerRelation &constraints, const llvm::SmallBitVector &isSymbol)mlir::presburger::LexSimplexBaseinlineexplicitprotected
markEmpty()mlir::presburger::SimplexBase
moveRowUnknownToColumn(unsigned row)mlir::presburger::LexSimplexBaseprotected
nRedundantmlir::presburger::SimplexBaseprotected
nSymbolmlir::presburger::SimplexBaseprotected
Orientation enum namemlir::presburger::SimplexBaseprotected
pivot(unsigned row, unsigned col)mlir::presburger::SimplexBaseprotected
pivot(Pivot pair)mlir::presburger::SimplexBaseprotected
print(raw_ostream &os) constmlir::presburger::SimplexBase
removeLastConstraintRowOrientation()mlir::presburger::SimplexBaseprotected
rollback(unsigned snapshot)mlir::presburger::SimplexBase
rowUnknownmlir::presburger::SimplexBaseprotected
savedBasesmlir::presburger::SimplexBaseprotected
SimplexBase()=deletemlir::presburger::SimplexBase
SimplexBase(unsigned nVar, bool mustUseBigM)mlir::presburger::SimplexBaseprotected
SimplexBase(unsigned nVar, bool mustUseBigM, const llvm::SmallBitVector &isSymbol)mlir::presburger::SimplexBaseprotected
swapColumns(unsigned i, unsigned j)mlir::presburger::SimplexBaseprotected
swapRows(unsigned i, unsigned j)mlir::presburger::SimplexBaseprotected
swapRowWithCol(unsigned row, unsigned col)mlir::presburger::SimplexBaseprotected
tableaumlir::presburger::SimplexBaseprotected
undo(UndoLogEntry entry)mlir::presburger::SimplexBaseprotected
undoLastConstraint() finalmlir::presburger::LexSimplexBaseprotectedvirtual
undoLogmlir::presburger::SimplexBaseprotected
UndoLogEntry enum namemlir::presburger::SimplexBaseprotected
unknownFromColumn(unsigned col) constmlir::presburger::SimplexBaseprotected
unknownFromColumn(unsigned col)mlir::presburger::SimplexBaseprotected
unknownFromIndex(int index) constmlir::presburger::SimplexBaseprotected
unknownFromIndex(int index)mlir::presburger::SimplexBaseprotected
unknownFromRow(unsigned row) constmlir::presburger::SimplexBaseprotected
unknownFromRow(unsigned row)mlir::presburger::SimplexBaseprotected
usingBigMmlir::presburger::SimplexBaseprotected
varmlir::presburger::SimplexBaseprotected
~LexSimplexBase() override=defaultmlir::presburger::LexSimplexBase
~SimplexBase()=defaultmlir::presburger::SimplexBasevirtual