This is a class to represent a resizable matrix. More...
#include "mlir/Analysis/Presburger/Matrix.h"
Inheritance diagram for mlir::presburger::Matrix< T >:
Public Member Functions | |
| Matrix ()=delete | |
| Matrix (unsigned rows, unsigned columns, unsigned reservedRows=0, unsigned reservedColumns=0) | |
| Construct a matrix with the specified number of rows and columns. More... | |
| T & | at (unsigned row, unsigned column) |
| Access the element at the specified row and column. More... | |
| T | at (unsigned row, unsigned column) const |
| T & | operator() (unsigned row, unsigned column) |
| T | operator() (unsigned row, unsigned column) const |
| bool | operator== (const Matrix< T > &m) const |
We cannot use the default implementation of operator== as it compares fields like reservedColumns etc., which are not part of the data. More... | |
| void | swapColumns (unsigned column, unsigned otherColumn) |
| Swap the given columns. More... | |
| void | swapRows (unsigned row, unsigned otherRow) |
| Swap the given rows. More... | |
| unsigned | getNumRows () const |
| unsigned | getNumColumns () const |
| unsigned | getNumReservedRows () const |
| Return the maximum number of rows/columns that can be added without incurring a reallocation. More... | |
| unsigned | getNumReservedColumns () const |
| void | reserveRows (unsigned rows) |
| Reserve enough space to resize to the specified number of rows without reallocations. More... | |
| MutableArrayRef< T > | getRow (unsigned row) |
| Get a [Mutable]ArrayRef corresponding to the specified row. More... | |
| ArrayRef< T > | getRow (unsigned row) const |
| void | setRow (unsigned row, ArrayRef< T > elems) |
Set the specified row to elems. More... | |
| void | insertColumns (unsigned pos, unsigned count) |
| Insert columns having positions pos, pos + 1, ... More... | |
| void | insertColumn (unsigned pos) |
| void | insertRows (unsigned pos, unsigned count) |
| Insert rows having positions pos, pos + 1, ... More... | |
| void | insertRow (unsigned pos) |
| void | removeColumns (unsigned pos, unsigned count) |
| Remove the columns having positions pos, pos + 1, ... More... | |
| void | removeColumn (unsigned pos) |
| void | removeRows (unsigned pos, unsigned count) |
| Remove the rows having positions pos, pos + 1, ... More... | |
| void | removeRow (unsigned pos) |
| void | copyRow (unsigned sourceRow, unsigned targetRow) |
| void | fillRow (unsigned row, const T &value) |
| void | fillRow (unsigned row, int64_t value) |
| void | addToRow (unsigned sourceRow, unsigned targetRow, const T &scale) |
Add scale multiples of the source row to the target row. More... | |
| void | addToRow (unsigned sourceRow, unsigned targetRow, int64_t scale) |
| void | addToRow (unsigned row, ArrayRef< T > rowVec, const T &scale) |
Add scale multiples of the rowVec row to the specified row. More... | |
| void | scaleRow (unsigned row, const T &scale) |
Multiply the specified row by a factor of scale. More... | |
| void | addToColumn (unsigned sourceColumn, unsigned targetColumn, const T &scale) |
Add scale multiples of the source column to the target column. More... | |
| void | addToColumn (unsigned sourceColumn, unsigned targetColumn, int64_t scale) |
| void | negateColumn (unsigned column) |
| Negate the specified column. More... | |
| void | negateRow (unsigned row) |
| Negate the specified row. More... | |
| void | negateMatrix () |
| Negate the entire matrix. More... | |
| SmallVector< T, 8 > | preMultiplyWithRow (ArrayRef< T > rowVec) const |
| The given vector is interpreted as a row vector v. More... | |
| SmallVector< T, 8 > | postMultiplyWithColumn (ArrayRef< T > colVec) const |
| The given vector is interpreted as a column vector v. More... | |
| void | resize (unsigned newNRows, unsigned newNColumns) |
| Resize the matrix to the specified dimensions. More... | |
| void | resizeHorizontally (unsigned newNColumns) |
| void | resizeVertically (unsigned newNRows) |
| unsigned | appendExtraRow () |
| Add an extra row at the bottom of the matrix and return its position. More... | |
| unsigned | appendExtraRow (ArrayRef< T > elems) |
| Same as above, but copy the given elements into the row. More... | |
| Matrix< T > | transpose () const |
| Matrix< T > | getSubMatrix (unsigned fromRow, unsigned toRow, unsigned fromColumn, unsigned toColumn) const |
| std::pair< Matrix< T >, Matrix< T > > | splitByBitset (ArrayRef< int > indicator) |
| Split the rows of a matrix into two matrices according to which bits are 1 and which are 0 in a given bitset. More... | |
| void | print (raw_ostream &os) const |
| Print the matrix. More... | |
| void | dump () const |
| bool | hasConsistentState () const |
| Return whether the Matrix is in a consistent state with all its invariants satisfied. More... | |
| void | moveColumns (unsigned srcPos, unsigned num, unsigned dstPos) |
| Move the columns in the source range [srcPos, srcPos + num) to the specified destination [dstPos, dstPos + num), while moving the columns adjacent to the source range to the left/right of the shifted columns. More... | |
Static Public Member Functions | |
| static Matrix | identity (unsigned dimension) |
| Return the identity matrix of the specified dimension. More... | |
Protected Attributes | |
| unsigned | nRows |
| The current number of rows, columns, and reserved columns. More... | |
| unsigned | nColumns |
| unsigned | nReservedColumns |
| SmallVector< T, 16 > | data |
| Stores the data. More... | |
Detailed Description
template<typename T>
class mlir::presburger::Matrix< T >
This is a class to represent a resizable matrix.
More columns and rows can be reserved than are currently used. The data is stored as a single 1D array, viewed as a 2D matrix with nRows rows and nReservedColumns columns, stored in row major form. Thus the element at (i, j) is stored at data[i*nReservedColumns + j]. The reserved but unused columns always have all zero values. The reserved rows are just reserved space in the underlying SmallVector's capacity. This class only works for the types MPInt and Fraction, since the method implementations are in the Matrix.cpp file. Only these two types have been explicitly instantiated there.
Constructor & Destructor Documentation
◆ Matrix() [1/2]
|
delete |
◆ Matrix() [2/2]
| Matrix::Matrix | ( | unsigned | rows, |
| unsigned | columns, | ||
| unsigned | reservedRows = 0, |
||
| unsigned | reservedColumns = 0 |
||
| ) |
Construct a matrix with the specified number of rows and columns.
The number of reserved rows and columns will be at least the number specified, and will always be sufficient to accomodate the number of rows and columns specified.
Initially, the entries are initialized to ero.
Definition at line 24 of file Matrix.cpp.
References mlir::presburger::Matrix< T >::data, max(), mlir::presburger::Matrix< T >::nReservedColumns, and mlir::presburger::Matrix< T >::nRows.
Member Function Documentation
◆ addToColumn() [1/2]
| void Matrix::addToColumn | ( | unsigned | sourceColumn, |
| unsigned | targetColumn, | ||
| const T & | scale | ||
| ) |
Add scale multiples of the source column to the target column.
Definition at line 321 of file Matrix.cpp.
Referenced by mlir::presburger::Matrix< T >::addToColumn(), mlir::presburger::IntegerRelation::eliminateRedundantLocalVar(), mlir::presburger::MultiAffineFunction::mergeDivs(), modEntryColumnOperation(), mlir::presburger::DivisionRepr::removeDuplicateDivs(), and mlir::presburger::IntegerRelation::setAndEliminate().
◆ addToColumn() [2/2]
|
inline |
Definition at line 154 of file Matrix.h.
References mlir::presburger::Matrix< T >::addToColumn().
◆ addToRow() [1/3]
| void Matrix::addToRow | ( | unsigned | row, |
| ArrayRef< T > | rowVec, | ||
| const T & | scale | ||
| ) |
Add scale multiples of the rowVec row to the specified row.
Definition at line 307 of file Matrix.cpp.
◆ addToRow() [2/3]
| void Matrix::addToRow | ( | unsigned | sourceRow, |
| unsigned | targetRow, | ||
| const T & | scale | ||
| ) |
Add scale multiples of the source row to the target row.
Definition at line 301 of file Matrix.cpp.
Referenced by mlir::presburger::Matrix< T >::addToRow(), mlir::presburger::detail::computePolytopeGeneratingFunction(), mlir::presburger::FracMatrix::determinant(), mlir::presburger::FracMatrix::gramSchmidt(), mlir::presburger::detail::solveParametricEquations(), and mlir::presburger::MultiAffineFunction::subtract().
◆ addToRow() [3/3]
|
inline |
Definition at line 142 of file Matrix.h.
References mlir::presburger::Matrix< T >::addToRow().
◆ appendExtraRow() [1/2]
| unsigned Matrix::appendExtraRow |
Add an extra row at the bottom of the matrix and return its position.
Definition at line 67 of file Matrix.cpp.
Referenced by mlir::presburger::IntegerRelation::addBound(), mlir::presburger::IntegerRelation::addEquality(), mlir::presburger::IntegerRelation::addInequality(), mlir::presburger::SimplexBase::addZeroRow(), mlir::presburger::DivisionRepr::insertDiv(), mlir::presburger::Simplex::makeProduct(), and mlir::presburger::Matrix< T >::splitByBitset().
◆ appendExtraRow() [2/2]
| unsigned Matrix::appendExtraRow | ( | ArrayRef< T > | elems | ) |
Same as above, but copy the given elements into the row.
The length of elems must be equal to the number of columns.
Definition at line 73 of file Matrix.cpp.
◆ at() [1/2]
|
inline |
Access the element at the specified row and column.
Definition at line 61 of file Matrix.h.
References mlir::presburger::Matrix< T >::data, mlir::presburger::Matrix< T >::nColumns, mlir::presburger::Matrix< T >::nReservedColumns, and mlir::presburger::Matrix< T >::nRows.
Referenced by mlir::presburger::FracMatrix::determinant(), mlir::presburger::IntMatrix::determinant(), mlir::presburger::FracMatrix::FracMatrix(), mlir::presburger::detail::getDual(), and mlir::presburger::Matrix< T >::operator()().
◆ at() [2/2]
|
inline |
Definition at line 67 of file Matrix.h.
References mlir::presburger::Matrix< T >::data, mlir::presburger::Matrix< T >::nColumns, mlir::presburger::Matrix< T >::nReservedColumns, and mlir::presburger::Matrix< T >::nRows.
◆ copyRow()
| void Matrix::copyRow | ( | unsigned | sourceRow, |
| unsigned | targetRow | ||
| ) |
Definition at line 246 of file Matrix.cpp.
Referenced by mlir::presburger::IntegerRelation::removeRedundantConstraints(), mlir::presburger::IntegerRelation::removeRedundantInequalities(), and mlir::presburger::IntegerRelation::removeTrivialRedundancy().
◆ dump()
| void Matrix::dump |
Definition at line 426 of file Matrix.cpp.
References print().
◆ fillRow() [1/2]
| void Matrix::fillRow | ( | unsigned | row, |
| const T & | value | ||
| ) |
Definition at line 254 of file Matrix.cpp.
Referenced by mlir::presburger::IntegerRelation::removeRedundantInequalities().
◆ fillRow() [2/2]
|
inline |
Definition at line 138 of file Matrix.h.
References mlir::presburger::Matrix< T >::fillRow().
Referenced by mlir::presburger::Matrix< T >::fillRow().
◆ getNumColumns()
|
inline |
Definition at line 87 of file Matrix.h.
References mlir::presburger::Matrix< T >::nColumns.
Referenced by mlir::presburger::IntMatrix::computeHermiteNormalForm(), mlir::presburger::detail::computeUnimodularConeGeneratingFunction(), mlir::presburger::FracMatrix::FracMatrix(), mlir::presburger::detail::getDual(), mlir::presburger::detail::getIndex(), mlir::presburger::SimplexBase::getNumColumns(), mlir::presburger::DivisionRepr::getNumVars(), mlir::presburger::LinearTransform::makeTransformToColumnEchelon(), mlir::presburger::Matrix< T >::operator==(), and mlir::presburger::detail::solveParametricEquations().
◆ getNumReservedColumns()
|
inline |
Definition at line 92 of file Matrix.h.
References mlir::presburger::Matrix< T >::nReservedColumns.
◆ getNumReservedRows()
| unsigned Matrix::getNumReservedRows |
Return the maximum number of rows/columns that can be added without incurring a reallocation.
Definition at line 57 of file Matrix.cpp.
Referenced by mlir::presburger::IntegerRelation::getNumReservedEqualities(), and mlir::presburger::IntegerRelation::getNumReservedInequalities().
◆ getNumRows()
|
inline |
Definition at line 85 of file Matrix.h.
References mlir::presburger::Matrix< T >::nRows.
Referenced by mlir::presburger::IntegerRelation::addBound(), mlir::presburger::IntegerRelation::append(), mlir::presburger::IntMatrix::computeHermiteNormalForm(), mlir::presburger::detail::computeUnimodularConeGeneratingFunction(), mlir::presburger::Simplex::findIntegerSample(), mlir::presburger::IntegerRelation::findSymbolicIntegerLexMax(), mlir::presburger::FracMatrix::FracMatrix(), mlir::presburger::detail::getDual(), mlir::presburger::detail::getIndex(), mlir::presburger::DivisionRepr::getNumDivs(), mlir::presburger::IntegerRelation::getNumEqualities(), mlir::presburger::IntegerRelation::getNumInequalities(), mlir::presburger::SimplexBase::getNumRows(), mlir::presburger::IntegerPolyhedron::IntegerPolyhedron(), mlir::presburger::LinearTransform::makeTransformToColumnEchelon(), mlir::presburger::Matrix< T >::operator==(), and mlir::presburger::detail::solveParametricEquations().
◆ getRow() [1/2]
| MutableArrayRef< T > Matrix::getRow | ( | unsigned | row | ) |
Get a [Mutable]ArrayRef corresponding to the specified row.
Definition at line 132 of file Matrix.cpp.
Referenced by mlir::presburger::detail::computePolytopeGeneratingFunction(), mlir::presburger::detail::computeUnimodularConeGeneratingFunction(), mlir::presburger::Simplex::findIntegerSample(), mlir::presburger::DivisionRepr::getDividend(), mlir::presburger::detail::getDual(), mlir::presburger::IntegerRelation::getEquality(), mlir::presburger::IntegerRelation::getEquality64(), mlir::presburger::IntegerRelation::getInequality(), mlir::presburger::IntegerRelation::getInequality64(), mlir::presburger::MultiAffineFunction::getOutputExpr(), mlir::presburger::FracMatrix::gramSchmidt(), mlir::presburger::IntegerPolyhedron::IntegerPolyhedron(), mlir::presburger::FracMatrix::LLL(), mlir::presburger::Matrix< T >::operator==(), and mlir::presburger::DivisionRepr::removeDuplicateDivs().
◆ getRow() [2/2]
| ArrayRef< T > Matrix::getRow | ( | unsigned | row | ) | const |
Definition at line 137 of file Matrix.cpp.
◆ getSubMatrix()
| Matrix< T > Matrix::getSubMatrix | ( | unsigned | fromRow, |
| unsigned | toRow, | ||
| unsigned | fromColumn, | ||
| unsigned | toColumn | ||
| ) | const |
Definition at line 386 of file Matrix.cpp.
Referenced by mlir::presburger::detail::solveParametricEquations().
◆ hasConsistentState()
| bool Matrix::hasConsistentState |
Return whether the Matrix is in a consistent state with all its invariants satisfied.
Definition at line 431 of file Matrix.cpp.
Referenced by mlir::presburger::IntegerRelation::hasConsistentState().
◆ identity()
|
static |
Return the identity matrix of the specified dimension.
Definition at line 49 of file Matrix.cpp.
Referenced by mlir::presburger::FracMatrix::identity().
◆ insertColumn()
| void Matrix::insertColumn | ( | unsigned | pos | ) |
Definition at line 150 of file Matrix.cpp.
Referenced by mlir::presburger::detail::getDual(), and mlir::presburger::DivisionRepr::insertDiv().
◆ insertColumns()
| void Matrix::insertColumns | ( | unsigned | pos, |
| unsigned | count | ||
| ) |
Insert columns having positions pos, pos + 1, ...
pos + count - 1. Columns that were at positions 0 to pos - 1 will stay where they are; columns that were at positions pos to nColumns - 1 will be pushed to the right. pos should be at most nColumns.
Definition at line 154 of file Matrix.cpp.
Referenced by mlir::presburger::DivisionRepr::insertDiv(), and mlir::presburger::MultiAffineFunction::mergeDivs().
◆ insertRow()
| void Matrix::insertRow | ( | unsigned | pos | ) |
Definition at line 214 of file Matrix.cpp.
◆ insertRows()
| void Matrix::insertRows | ( | unsigned | pos, |
| unsigned | count | ||
| ) |
Insert rows having positions pos, pos + 1, ...
pos + count - 1. Rows that were at positions 0 to pos - 1 will stay where they are; rows that were at positions pos to nColumns - 1 will be pushed to the right. pos should be at most nRows.
Definition at line 218 of file Matrix.cpp.
Referenced by mlir::presburger::DivisionRepr::insertDiv().
◆ moveColumns()
| void Matrix::moveColumns | ( | unsigned | srcPos, |
| unsigned | num, | ||
| unsigned | dstPos | ||
| ) |
Move the columns in the source range [srcPos, srcPos + num) to the specified destination [dstPos, dstPos + num), while moving the columns adjacent to the source range to the left/right of the shifted columns.
When moving the source columns right (i.e. dstPos > srcPos), columns that were at positions [0, srcPos) and [dstPos + num, nCols) will stay where they are; columns that were at positions [srcPos, srcPos + num) will be moved to [dstPos, dstPos + num); and columns that were at positions [srcPos + num, dstPos + num) will be moved to [srcPos, dstPos). Equivalently, the columns [srcPos + num, dstPos + num) are interchanged with [srcPos, srcPos + num). For example, if m = |0 1 2 3 4 5| then: m.moveColumns(1, 3, 2) will result in m = |0 4 1 2 3 5|; or m.moveColumns(1, 2, 4) will result in m = |0 3 4 5 1 2|.
The left shift operation (i.e. dstPos < srcPos) works in a similar way.
Definition at line 268 of file Matrix.cpp.
Referenced by mlir::presburger::IntegerRelation::convertVarKind().
◆ negateColumn()
| void Matrix::negateColumn | ( | unsigned | column | ) |
Negate the specified column.
Definition at line 330 of file Matrix.cpp.
Referenced by mlir::presburger::IntMatrix::computeHermiteNormalForm().
◆ negateMatrix()
| void Matrix::negateMatrix |
Negate the entire matrix.
Definition at line 342 of file Matrix.cpp.
Referenced by mlir::presburger::detail::solveParametricEquations().
◆ negateRow()
| void Matrix::negateRow | ( | unsigned | row | ) |
Negate the specified row.
Definition at line 336 of file Matrix.cpp.
Referenced by mlir::presburger::detail::computeUnimodularConeGeneratingFunction(), mlir::presburger::IntegerRelation::findSymbolicIntegerLexMax(), and mlir::presburger::IntegerRelation::removeRedundantInequalities().
◆ operator()() [1/2]
|
inline |
Definition at line 73 of file Matrix.h.
References mlir::presburger::Matrix< T >::at().
◆ operator()() [2/2]
|
inline |
Definition at line 75 of file Matrix.h.
References mlir::presburger::Matrix< T >::at().
◆ operator==()
| bool Matrix::operator== | ( | const Matrix< T > & | m | ) | const |
We cannot use the default implementation of operator== as it compares fields like reservedColumns etc., which are not part of the data.
Definition at line 35 of file Matrix.cpp.
References mlir::presburger::Matrix< T >::getNumColumns(), mlir::presburger::Matrix< T >::getNumRows(), and mlir::presburger::Matrix< T >::getRow().
◆ postMultiplyWithColumn()
| SmallVector< T, 8 > Matrix::postMultiplyWithColumn | ( | ArrayRef< T > | colVec | ) | const |
The given vector is interpreted as a column vector v.
Pre-multiply v with this matrix, say M, and return Mv.
Definition at line 359 of file Matrix.cpp.
Referenced by mlir::presburger::LinearTransform::postMultiplyWithColumn(), and mlir::presburger::MultiAffineFunction::valueAt().
◆ preMultiplyWithRow()
| SmallVector< T, 8 > Matrix::preMultiplyWithRow | ( | ArrayRef< T > | rowVec | ) | const |
The given vector is interpreted as a row vector v.
Post-multiply v with this matrix, say M, and return vM.
Definition at line 348 of file Matrix.cpp.
Referenced by mlir::presburger::detail::computeUnimodularConeGeneratingFunction(), and mlir::presburger::LinearTransform::preMultiplyWithRow().
◆ print()
| void Matrix::print | ( | raw_ostream & | os | ) | const |
Print the matrix.
Definition at line 402 of file Matrix.cpp.
Referenced by mlir::presburger::MultiAffineFunction::print(), and mlir::presburger::DivisionRepr::print().
◆ removeColumn()
| void Matrix::removeColumn | ( | unsigned | pos | ) |
Definition at line 196 of file Matrix.cpp.
Referenced by mlir::presburger::MultiAffineFunction::mergeDivs(), and mlir::presburger::DivisionRepr::removeDuplicateDivs().
◆ removeColumns()
| void Matrix::removeColumns | ( | unsigned | pos, |
| unsigned | count | ||
| ) |
Remove the columns having positions pos, pos + 1, ...
pos + count - 1. Rows that were at positions 0 to pos - 1 will stay where they are; columns that were at positions pos + count - 1 or later will be pushed to the right. The columns to be deleted must be valid rows: pos + count - 1 must be at most nColumns - 1.
Definition at line 200 of file Matrix.cpp.
◆ removeRow()
| void Matrix::removeRow | ( | unsigned | pos | ) |
◆ removeRows()
| void Matrix::removeRows | ( | unsigned | pos, |
| unsigned | count | ||
| ) |
Remove the rows having positions pos, pos + 1, ...
pos + count - 1. Rows that were at positions 0 to pos - 1 will stay where they are; rows that were at positions pos + count - 1 or later will be pushed to the right. The rows to be deleted must be valid rows: pos + count - 1 must be at most nRows - 1.
Definition at line 236 of file Matrix.cpp.
Referenced by mlir::presburger::IntegerRelation::removeEqualityRange(), mlir::presburger::IntegerRelation::removeInequalityRange(), and mlir::presburger::MultiAffineFunction::removeOutputs().
◆ reserveRows()
| void Matrix::reserveRows | ( | unsigned | rows | ) |
Reserve enough space to resize to the specified number of rows without reallocations.
Definition at line 62 of file Matrix.cpp.
Referenced by mlir::presburger::IntegerRelation::append(), and mlir::presburger::Simplex::makeProduct().
◆ resize()
| void Matrix::resize | ( | unsigned | newNRows, |
| unsigned | newNColumns | ||
| ) |
Resize the matrix to the specified dimensions.
If a dimension is smaller, the values are truncated; if it is bigger, the new values are initialized to zero.
Due to the representation of the matrix, resizing vertically (adding rows) is less expensive than increasing the number of columns beyond nReservedColumns.
Definition at line 100 of file Matrix.cpp.
◆ resizeHorizontally()
| void Matrix::resizeHorizontally | ( | unsigned | newNColumns | ) |
Definition at line 92 of file Matrix.cpp.
Referenced by mlir::presburger::SimplexBase::appendVariable(), and mlir::presburger::SimplexBase::undo().
◆ resizeVertically()
| void Matrix::resizeVertically | ( | unsigned | newNRows | ) |
Definition at line 106 of file Matrix.cpp.
Referenced by mlir::presburger::IntegerRelation::clearConstraints(), mlir::presburger::SimplexBase::removeLastConstraintRowOrientation(), mlir::presburger::IntegerRelation::removeRedundantConstraints(), mlir::presburger::IntegerRelation::removeRedundantInequalities(), and mlir::presburger::IntegerRelation::removeTrivialRedundancy().
◆ scaleRow()
| void Matrix::scaleRow | ( | unsigned | row, |
| const T & | scale | ||
| ) |
Multiply the specified row by a factor of scale.
Definition at line 315 of file Matrix.cpp.
Referenced by mlir::presburger::detail::solveParametricEquations().
◆ setRow()
| void Matrix::setRow | ( | unsigned | row, |
| ArrayRef< T > | elems | ||
| ) |
Set the specified row to elems.
Definition at line 142 of file Matrix.cpp.
Referenced by mlir::presburger::detail::computePolytopeGeneratingFunction(), mlir::presburger::detail::computeUnimodularConeGeneratingFunction(), and mlir::presburger::DivisionRepr::setDiv().
◆ splitByBitset()
| std::pair< Matrix< T >, Matrix< T > > Matrix::splitByBitset | ( | ArrayRef< int > | indicator | ) |
Split the rows of a matrix into two matrices according to which bits are 1 and which are 0 in a given bitset.
We iterate over the indicator bitset, checking each bit.
The first matrix returned has the rows corresponding to 1 and the second corresponding to 2.
If a bit is 1, we append it to one matrix, and if it is zero, we append it to the other.
Definition at line 414 of file Matrix.cpp.
References mlir::presburger::Matrix< T >::appendExtraRow().
Referenced by mlir::presburger::detail::computePolytopeGeneratingFunction().
◆ swapColumns()
| void Matrix::swapColumns | ( | unsigned | column, |
| unsigned | otherColumn | ||
| ) |
Swap the given columns.
Definition at line 122 of file Matrix.cpp.
Referenced by mlir::presburger::IntMatrix::computeHermiteNormalForm(), mlir::presburger::SimplexBase::swapColumns(), and mlir::presburger::IntegerRelation::swapVar().
◆ swapRows()
| void Matrix::swapRows | ( | unsigned | row, |
| unsigned | otherRow | ||
| ) |
Swap the given rows.
Definition at line 112 of file Matrix.cpp.
Referenced by mlir::presburger::FracMatrix::determinant(), mlir::presburger::IntegerRelation::gaussianEliminate(), mlir::presburger::IntegerRelation::removeDuplicateConstraints(), mlir::presburger::detail::solveParametricEquations(), and mlir::presburger::SimplexBase::swapRows().
◆ transpose()
| Matrix< T > Matrix::transpose |
Definition at line 82 of file Matrix.cpp.
Referenced by mlir::presburger::detail::computeUnimodularConeGeneratingFunction(), and substituteMuInTerm().
Member Data Documentation
◆ data
|
protected |
Stores the data.
data.size() is equal to nRows * nReservedColumns. data.capacity() / nReservedColumns is the number of reserved rows.
Definition at line 244 of file Matrix.h.
Referenced by mlir::presburger::Matrix< T >::at(), and mlir::presburger::Matrix< T >::Matrix().
◆ nColumns
|
protected |
Definition at line 240 of file Matrix.h.
Referenced by mlir::presburger::Matrix< T >::at(), and mlir::presburger::Matrix< T >::getNumColumns().
◆ nReservedColumns
|
protected |
Definition at line 240 of file Matrix.h.
Referenced by mlir::presburger::Matrix< T >::at(), mlir::presburger::Matrix< T >::getNumReservedColumns(), and mlir::presburger::Matrix< T >::Matrix().
◆ nRows
|
protected |
The current number of rows, columns, and reserved columns.
The underlying data vector is viewed as an nRows x nReservedColumns matrix, of which the first nColumns columns are currently in use, and the remaining are reserved columns filled with zeros.
Definition at line 240 of file Matrix.h.
Referenced by mlir::presburger::Matrix< T >::at(), mlir::presburger::Matrix< T >::getNumRows(), and mlir::presburger::Matrix< T >::Matrix().
The documentation for this class was generated from the following files:
- include/mlir/Analysis/Presburger/Matrix.h
- lib/Analysis/Presburger/Matrix.cpp
