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 | |