| collectTerms() | mlir::presburger::QuasiPolynomial | |
| convertVarKind(VarKind srcKind, unsigned srcPos, unsigned num, VarKind dstKind, unsigned dstPos) | mlir::presburger::PresburgerSpace | |
| disableIds() | mlir::presburger::PresburgerSpace | inline |
| dump() const | mlir::presburger::PresburgerSpace | |
| getAffine() const | mlir::presburger::QuasiPolynomial | inline |
| getCoefficients() const | mlir::presburger::QuasiPolynomial | inline |
| getConstantTerm() | mlir::presburger::QuasiPolynomial | |
| getDomainSpace() const | mlir::presburger::PresburgerSpace | |
| getId(VarKind kind, unsigned pos) const | mlir::presburger::PresburgerSpace | inline |
| getIds(VarKind kind) const | mlir::presburger::PresburgerSpace | inline |
| getIds() const | mlir::presburger::PresburgerSpace | inline |
| getNumDimAndSymbolVars() const | mlir::presburger::PresburgerSpace | inline |
| getNumDimVars() const | mlir::presburger::PresburgerSpace | inline |
| getNumDomainVars() const | mlir::presburger::PresburgerSpace | inline |
| getNumInputs() const | mlir::presburger::QuasiPolynomial | inline |
| getNumLocalVars() const | mlir::presburger::PresburgerSpace | inline |
| getNumRangeVars() const | mlir::presburger::PresburgerSpace | inline |
| getNumSetDimVars() const | mlir::presburger::PresburgerSpace | inline |
| getNumSymbolVars() const | mlir::presburger::PresburgerSpace | inline |
| getNumVarKind(VarKind kind) const | mlir::presburger::PresburgerSpace | |
| getNumVars() const | mlir::presburger::PresburgerSpace | inline |
| getRangeSpace() const | mlir::presburger::PresburgerSpace | |
| getRelationSpace(unsigned numDomain=0, unsigned numRange=0, unsigned numSymbols=0, unsigned numLocals=0) | mlir::presburger::PresburgerSpace | inlinestatic |
| getSetSpace(unsigned numDims=0, unsigned numSymbols=0, unsigned numLocals=0) | mlir::presburger::PresburgerSpace | inlinestatic |
| getSpaceWithoutLocals() const | mlir::presburger::PresburgerSpace | |
| getVarKindAt(unsigned pos) const | mlir::presburger::PresburgerSpace | |
| getVarKindEnd(VarKind kind) const | mlir::presburger::PresburgerSpace | |
| getVarKindOffset(VarKind kind) const | mlir::presburger::PresburgerSpace | |
| getVarKindOverlap(VarKind kind, unsigned varStart, unsigned varLimit) const | mlir::presburger::PresburgerSpace | |
| insertVar(VarKind kind, unsigned pos, unsigned num=1) | mlir::presburger::PresburgerSpace | |
| isAligned(const PresburgerSpace &other) const | mlir::presburger::PresburgerSpace | |
| isAligned(const PresburgerSpace &other, VarKind kind) const | mlir::presburger::PresburgerSpace | |
| isCompatible(const PresburgerSpace &other) const | mlir::presburger::PresburgerSpace | |
| isEqual(const PresburgerSpace &other) const | mlir::presburger::PresburgerSpace | |
| isUsingIds() const | mlir::presburger::PresburgerSpace | inline |
| mergeAndAlignSymbols(PresburgerSpace &other) | mlir::presburger::PresburgerSpace | |
| operator*(const QuasiPolynomial &x) const | mlir::presburger::QuasiPolynomial | |
| operator+(const QuasiPolynomial &x) const | mlir::presburger::QuasiPolynomial | |
| operator-(const QuasiPolynomial &x) const | mlir::presburger::QuasiPolynomial | |
| operator/(const Fraction &x) const | mlir::presburger::QuasiPolynomial | |
| PresburgerSpace(unsigned numDomain, unsigned numRange, unsigned numSymbols, unsigned numLocals) | mlir::presburger::PresburgerSpace | inlineprotected |
| print(llvm::raw_ostream &os) const | mlir::presburger::PresburgerSpace | |
| QuasiPolynomial(unsigned numVars, ArrayRef< Fraction > coeffs={}, ArrayRef< std::vector< SmallVector< Fraction >>> aff={}) | mlir::presburger::QuasiPolynomial | |
| QuasiPolynomial(unsigned numVars, const Fraction &constant) | mlir::presburger::QuasiPolynomial | |
| removeVarRange(VarKind kind, unsigned varStart, unsigned varLimit) | mlir::presburger::PresburgerSpace | |
| resetIds() | mlir::presburger::PresburgerSpace | inline |
| setId(VarKind kind, unsigned pos, Identifier id) | mlir::presburger::PresburgerSpace | inline |
| setVarSymbolSeparation(unsigned newSymbolCount) | mlir::presburger::PresburgerSpace | |
| simplify() | mlir::presburger::QuasiPolynomial | |
| swapVar(VarKind kindA, VarKind kindB, unsigned posA, unsigned posB) | mlir::presburger::PresburgerSpace | |
