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

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

addDivisionVariable(ArrayRef< DynamicAPInt > coeffs, const DynamicAPInt &denom)mlir::presburger::SimplexBase
addEquality(ArrayRef< DynamicAPInt > coeffs)mlir::presburger::SimplexBase
addInequality(ArrayRef< DynamicAPInt > coeffs)=0mlir::presburger::SimplexBasepure virtual
addRow(ArrayRef< DynamicAPInt > coeffs, bool makeRestricted=false)mlir::presburger::SimplexBaseprotected
addZeroRow(bool makeRestricted=false)mlir::presburger::SimplexBaseprotected
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
getNumColumns() constmlir::presburger::SimplexBaseinlineprotected
getNumConstraints() constmlir::presburger::SimplexBase
getNumFixedCols() constmlir::presburger::SimplexBaseinlineprotected
getNumRows() constmlir::presburger::SimplexBaseinlineprotected
getNumVariables() constmlir::presburger::SimplexBase
getSnapshot() constmlir::presburger::SimplexBase
getSnapshotBasis()mlir::presburger::SimplexBase
intersectIntegerRelation(const IntegerRelation &rel)mlir::presburger::SimplexBase
isEmpty() constmlir::presburger::SimplexBase
markEmpty()mlir::presburger::SimplexBase
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()=0mlir::presburger::SimplexBaseprotectedpure virtual
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
~SimplexBase()=defaultmlir::presburger::SimplexBasevirtual