MLIR  19.0.0git
Public Member Functions | Static Public Member Functions | List of all members
mlir::presburger::LinearTransform Class Reference

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

Public Member Functions

 LinearTransform (IntMatrix &&oMatrix)
 LinearTransform (const IntMatrix &oMatrix)
IntegerRelation applyTo (const IntegerRelation &rel) const
SmallVector< MPInt, 8 > preMultiplyWithRow (ArrayRef< MPInt > rowVec) const
SmallVector< MPInt, 8 > postMultiplyWithColumn (ArrayRef< MPInt > colVec) const

Static Public Member Functions

static std::pair< unsigned, LinearTransformmakeTransformToColumnEchelon (const IntMatrix &m)

Detailed Description

Definition at line 23 of file LinearTransform.h.

Constructor & Destructor Documentation

◆ LinearTransform() [1/2]

LinearTransform::LinearTransform ( IntMatrix &&  oMatrix)

Definition at line 19 of file LinearTransform.cpp.

Referenced by makeTransformToColumnEchelon().

◆ LinearTransform() [2/2]

LinearTransform::LinearTransform ( const IntMatrix oMatrix)

Definition at line 20 of file LinearTransform.cpp.

Member Function Documentation

◆ applyTo()

IntegerRelation LinearTransform::applyTo ( const IntegerRelation rel) const

◆ makeTransformToColumnEchelon()

std::pair< unsigned, LinearTransform > LinearTransform::makeTransformToColumnEchelon ( const IntMatrix m)

◆ postMultiplyWithColumn()

SmallVector<MPInt, 8> mlir::presburger::LinearTransform::postMultiplyWithColumn ( ArrayRef< MPInt colVec) const

◆ preMultiplyWithRow()

SmallVector<MPInt, 8> mlir::presburger::LinearTransform::preMultiplyWithRow ( ArrayRef< MPInt rowVec) const

Definition at line 43 of file LinearTransform.h.

References mlir::presburger::Matrix< T >::preMultiplyWithRow().

Referenced by applyTo().

The documentation for this class was generated from the following files: