#include "mlir/Analysis/Presburger/GeneratingFunction.h"
Definition at line 51 of file GeneratingFunction.h.
◆ GeneratingFunction()
mlir::presburger::detail::GeneratingFunction::GeneratingFunction |
( |
unsigned |
numParam, |
|
|
SmallVector< int > |
signs, |
|
|
std::vector< ParamPoint > |
nums, |
|
|
std::vector< std::vector< Point >> |
dens |
|
) |
| |
|
inline |
◆ getDenominators()
std::vector<std::vector<Point> > mlir::presburger::detail::GeneratingFunction::getDenominators |
( |
| ) |
const |
|
inline |
◆ getNumerators()
std::vector<ParamPoint> mlir::presburger::detail::GeneratingFunction::getNumerators |
( |
| ) |
const |
|
inline |
◆ getNumParams()
unsigned mlir::presburger::detail::GeneratingFunction::getNumParams |
( |
| ) |
const |
|
inline |
◆ getSigns()
SmallVector<int> mlir::presburger::detail::GeneratingFunction::getSigns |
( |
| ) |
const |
|
inline |
◆ operator+()
◆ print()
llvm::raw_ostream& mlir::presburger::detail::GeneratingFunction::print |
( |
llvm::raw_ostream & |
os | ) |
const |
|
inline |
The documentation for this class was generated from the following file: