| applyDomain(const PresburgerRelation &rel) | mlir::presburger::PresburgerRelation | |
| applyRange(const PresburgerRelation &rel) | mlir::presburger::PresburgerRelation | |
| coalesce() const | mlir::presburger::PresburgerRelation | |
| complement() const | mlir::presburger::PresburgerRelation | |
| compose(const PresburgerRelation &rel) | mlir::presburger::PresburgerRelation | |
| computeReprWithOnlyDivLocals() const | mlir::presburger::PresburgerRelation | |
| computeVolume() const | mlir::presburger::PresburgerRelation | |
| containsPoint(ArrayRef< DynamicAPInt > point) const | mlir::presburger::PresburgerRelation | |
| containsPoint(ArrayRef< int64_t > point) const | mlir::presburger::PresburgerRelation | inline |
| convertVarKind(VarKind srcKind, unsigned srcPos, unsigned num, VarKind dstKind, unsigned dstPos) | mlir::presburger::PresburgerRelation | |
| disjuncts | mlir::presburger::PresburgerRelation | protected |
| dump() const | mlir::presburger::PresburgerRelation | |
| findIntegerSample(SmallVectorImpl< DynamicAPInt > &sample) | mlir::presburger::PresburgerRelation | |
| findSymbolicIntegerLexMax() const | mlir::presburger::PresburgerRelation | |
| findSymbolicIntegerLexMin() const | mlir::presburger::PresburgerRelation | |
| getAllDisjuncts() const | mlir::presburger::PresburgerRelation | |
| getDisjunct(unsigned index) const | mlir::presburger::PresburgerRelation | |
| getDomainSet() const | mlir::presburger::PresburgerRelation | |
| getEmpty(const PresburgerSpace &space) | mlir::presburger::PresburgerRelation | static |
| getNumDisjuncts() const | mlir::presburger::PresburgerRelation | |
| getNumDomainVars() const | mlir::presburger::PresburgerRelation | inline |
| getNumLocalVars() const | mlir::presburger::PresburgerRelation | inline |
| getNumRangeVars() const | mlir::presburger::PresburgerRelation | inline |
| getNumSymbolVars() const | mlir::presburger::PresburgerRelation | inline |
| getNumVars() const | mlir::presburger::PresburgerRelation | inline |
| getRangeSet() const | mlir::presburger::PresburgerRelation | |
| getSpace() const | mlir::presburger::PresburgerRelation | inline |
| getUniverse(const PresburgerSpace &space) | mlir::presburger::PresburgerRelation | static |
| hasOnlyDivLocals() const | mlir::presburger::PresburgerRelation | |
| insertVarInPlace(VarKind kind, unsigned pos, unsigned num=1) | mlir::presburger::PresburgerRelation | |
| intersect(const PresburgerRelation &set) const | mlir::presburger::PresburgerRelation | |
| intersectDomain(const PresburgerSet &set) const | mlir::presburger::PresburgerRelation | |
| intersectRange(const PresburgerSet &set) const | mlir::presburger::PresburgerRelation | |
| inverse() | mlir::presburger::PresburgerRelation | |
| isConvexNoLocals() const | mlir::presburger::PresburgerRelation | |
| isEqual(const PresburgerRelation &set) const | mlir::presburger::PresburgerRelation | |
| isFullDim() const | mlir::presburger::PresburgerRelation | |
| isIntegerEmpty() const | mlir::presburger::PresburgerRelation | |
| isObviouslyEmpty() const | mlir::presburger::PresburgerRelation | |
| isObviouslyEqual(const PresburgerRelation &set) const | mlir::presburger::PresburgerRelation | |
| isObviouslyUniverse() const | mlir::presburger::PresburgerRelation | |
| isSubsetOf(const PresburgerRelation &set) const | mlir::presburger::PresburgerRelation | |
| PresburgerRelation(const IntegerRelation &disjunct) | mlir::presburger::PresburgerRelation | explicit |
| PresburgerRelation(const PresburgerSpace &space) | mlir::presburger::PresburgerRelation | inlineexplicitprotected |
| print(raw_ostream &os) const | mlir::presburger::PresburgerRelation | |
| SetCoalescer class | mlir::presburger::PresburgerRelation | friend |
| setSpace(const PresburgerSpace &oSpace) | mlir::presburger::PresburgerRelation | |
| simplify() const | mlir::presburger::PresburgerRelation | |
| space | mlir::presburger::PresburgerRelation | protected |
| subtract(const PresburgerRelation &set) const | mlir::presburger::PresburgerRelation | |
| unionInPlace(const IntegerRelation &disjunct) | mlir::presburger::PresburgerRelation | |
| unionInPlace(const PresburgerRelation &set) | mlir::presburger::PresburgerRelation | |
| unionSet(const PresburgerRelation &set) const | mlir::presburger::PresburgerRelation | |
