#include "mlir/Analysis/Presburger/Matrix.h"

Inheritance diagram for mlir::presburger::FracMatrix:

Public Member Functions
	FracMatrix (unsigned rows, unsigned columns, unsigned reservedRows=0, unsigned reservedColumns=0)
	FracMatrix (Matrix< Fraction > m)
	FracMatrix (IntMatrix m)
Fraction	determinant (FracMatrix *inverse=nullptr) const
FracMatrix	gramSchmidt () const
void	LLL (const Fraction &delta)
IntMatrix	normalizeRows () const
Public Member Functions inherited from mlir::presburger::Matrix< Fraction >
	Matrix ()=delete
Fraction &	at (unsigned row, unsigned column)
	Access the element at the specified row and column.
Fraction &	operator() (unsigned row, unsigned column)
bool	operator== (const Matrix< Fraction > &m) const
	We cannot use the default implementation of operator== as it compares fields like reservedColumns etc., which are not part of the data.
void	swapColumns (unsigned column, unsigned otherColumn)
	Swap the given columns.
void	swapRows (unsigned row, unsigned otherRow)
	Swap the given rows.
unsigned	getNumRows () const
unsigned	getNumColumns () const
unsigned	getNumReservedRows () const
	Return the maximum number of rows/columns that can be added without incurring a reallocation.
unsigned	getNumReservedColumns () const
void	reserveRows (unsigned rows)
	Reserve enough space to resize to the specified number of rows without reallocations.
MutableArrayRef< Fraction >	getRow (unsigned row)
	Get a [Mutable]ArrayRef corresponding to the specified row.
void	setRow (unsigned row, ArrayRef< Fraction > elems)
	Set the specified row to elems.
void	insertColumns (unsigned pos, unsigned count)
	Insert columns having positions pos, pos + 1, ... pos + count - 1.
void	insertColumn (unsigned pos)
void	insertRows (unsigned pos, unsigned count)
	Insert rows having positions pos, pos + 1, ... pos + count - 1.
void	insertRow (unsigned pos)
void	removeColumns (unsigned pos, unsigned count)
	Remove the columns having positions pos, pos + 1, ... pos + count - 1.
void	removeColumn (unsigned pos)
void	removeRows (unsigned pos, unsigned count)
	Remove the rows having positions pos, pos + 1, ... pos + count - 1.
void	removeRow (unsigned pos)
void	copyRow (unsigned sourceRow, unsigned targetRow)
void	fillRow (unsigned row, const Fraction &value)
void	addToRow (unsigned sourceRow, unsigned targetRow, const Fraction &scale)
	Add scale multiples of the source row to the target row.
void	scaleRow (unsigned row, const Fraction &scale)
	Multiply the specified row by a factor of scale.
void	addToColumn (unsigned sourceColumn, unsigned targetColumn, const Fraction &scale)
	Add scale multiples of the source column to the target column.
void	negateColumn (unsigned column)
	Negate the specified column.
void	negateRow (unsigned row)
	Negate the specified row.
void	negateMatrix ()
	Negate the entire matrix.
SmallVector< Fraction, 8 >	preMultiplyWithRow (ArrayRef< Fraction > rowVec) const
	The given vector is interpreted as a row vector v.
SmallVector< Fraction, 8 >	postMultiplyWithColumn (ArrayRef< Fraction > colVec) const
	The given vector is interpreted as a column vector v.
void	resize (unsigned newNRows, unsigned newNColumns)
	Resize the matrix to the specified dimensions.
void	resizeHorizontally (unsigned newNColumns)
void	resizeVertically (unsigned newNRows)
unsigned	appendExtraRow ()
	Add an extra row at the bottom of the matrix and return its position.
Matrix< Fraction >	transpose () const
Matrix< Fraction >	getSubMatrix (unsigned fromRow, unsigned toRow, unsigned fromColumn, unsigned toColumn) const
std::pair< Matrix< Fraction >, Matrix< Fraction > >	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.
void	print (raw_ostream &os) const
	Print the matrix.
void	dump () const
bool	hasConsistentState () const
	Return whether the Matrix is in a consistent state with all its invariants satisfied.
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.

Static Public Member Functions
static FracMatrix	identity (unsigned dimension)
	Return the identity matrix of the specified dimension.
Static Public Member Functions inherited from mlir::presburger::Matrix< Fraction >
static Matrix	identity (unsigned dimension)
	Return the identity matrix of the specified dimension.

Additional Inherited Members
Protected Attributes inherited from mlir::presburger::Matrix< Fraction >
unsigned	nRows
	The current number of rows, columns, and reserved columns.
unsigned	nColumns
unsigned	nReservedColumns
SmallVector< Fraction, 16 >	data
	Stores the data.