| addBound(BoundType type, unsigned pos, const DynamicAPInt &value) | mlir::presburger::IntegerRelation | |
| addBound(BoundType type, unsigned pos, int64_t value) | mlir::presburger::IntegerRelation | inline |
| addBound(BoundType type, ArrayRef< DynamicAPInt > expr, const DynamicAPInt &value) | mlir::presburger::IntegerRelation | |
| addBound(BoundType type, ArrayRef< int64_t > expr, int64_t value) | mlir::presburger::IntegerRelation | inline |
| addEquality(ArrayRef< DynamicAPInt > eq) | mlir::presburger::IntegerRelation | |
| addEquality(ArrayRef< int64_t > eq) | mlir::presburger::IntegerRelation | inline |
| addInequality(ArrayRef< DynamicAPInt > inEq) | mlir::presburger::IntegerRelation | |
| addInequality(ArrayRef< int64_t > inEq) | mlir::presburger::IntegerRelation | inline |
| addLocalFloorDiv(ArrayRef< DynamicAPInt > dividend, const DynamicAPInt &divisor) | mlir::presburger::IntegerRelation | |
| addLocalFloorDiv(ArrayRef< int64_t > dividend, int64_t divisor) | mlir::presburger::IntegerRelation | inline |
| append(const IntegerRelation &other) | mlir::presburger::IntegerRelation | |
| appendVar(VarKind kind, unsigned num=1) | mlir::presburger::IntegerRelation | |
| applyDomain(const IntegerRelation &rel) | mlir::presburger::IntegerRelation | |
| applyRange(const IntegerRelation &rel) | mlir::presburger::IntegerRelation | |
| atEq(unsigned i, unsigned j) const | mlir::presburger::IntegerRelation | inline |
| atEq(unsigned i, unsigned j) | mlir::presburger::IntegerRelation | inline |
| atEq64(unsigned i, unsigned j) const | mlir::presburger::IntegerRelation | inline |
| atIneq(unsigned i, unsigned j) const | mlir::presburger::IntegerRelation | inline |
| atIneq(unsigned i, unsigned j) | mlir::presburger::IntegerRelation | inline |
| atIneq64(unsigned i, unsigned j) const | mlir::presburger::IntegerRelation | inline |
| classof(const IntegerRelation *cst) | mlir::presburger::IntegerPolyhedron | inlinestatic |
| clearAndCopyFrom(const IntegerRelation &other) | mlir::presburger::IntegerRelation | virtual |
| clearConstraints() | mlir::presburger::IntegerRelation | |
| clone() const | mlir::presburger::IntegerPolyhedron | |
| compose(const IntegerRelation &rel) | mlir::presburger::IntegerRelation | |
| computeConstantLowerOrUpperBound(unsigned pos) | mlir::presburger::IntegerRelation | protected |
| computeConstantLowerOrUpperBound64(unsigned pos) | mlir::presburger::IntegerRelation | inlineprotected |
| computeReprWithOnlyDivLocals() const | mlir::presburger::IntegerRelation | |
| computeVolume() const | mlir::presburger::IntegerRelation | |
| constantFoldVar(unsigned pos) | mlir::presburger::IntegerRelation | |
| constantFoldVarRange(unsigned pos, unsigned num) | mlir::presburger::IntegerRelation | |
| containsPoint(ArrayRef< DynamicAPInt > point) const | mlir::presburger::IntegerRelation | |
| containsPoint(ArrayRef< int64_t > point) const | mlir::presburger::IntegerRelation | inline |
| containsPointNoLocal(ArrayRef< DynamicAPInt > point) const | mlir::presburger::IntegerRelation | |
| containsPointNoLocal(ArrayRef< int64_t > point) const | mlir::presburger::IntegerRelation | inline |
| convertToLocal(VarKind kind, unsigned varStart, unsigned varLimit) | mlir::presburger::IntegerRelation | inline |
| convertVarKind(VarKind srcKind, unsigned varStart, unsigned varLimit, VarKind dstKind, unsigned pos) | mlir::presburger::IntegerRelation | |
| convertVarKind(VarKind srcKind, unsigned varStart, unsigned varLimit, VarKind dstKind) | mlir::presburger::IntegerRelation | inline |
| dump() const | mlir::presburger::IntegerRelation | |
| eliminateRedundantLocalVar(unsigned posA, unsigned posB) | mlir::presburger::IntegerRelation | virtual |
| equalities | mlir::presburger::IntegerRelation | protected |
| findConstraintWithNonZeroAt(unsigned colIdx, bool isEq, unsigned *rowIdx) const | mlir::presburger::IntegerRelation | protected |
| findIntegerLexMin() const | mlir::presburger::IntegerRelation | |
| findIntegerSample() const | mlir::presburger::IntegerRelation | |
| findRationalLexMin() const | mlir::presburger::IntegerRelation | |
| findSymbolicIntegerLexMax() const | mlir::presburger::IntegerRelation | |
| findSymbolicIntegerLexMin() const | mlir::presburger::IntegerRelation | |
| fourierMotzkinEliminate(unsigned pos, bool darkShadow=false, bool *isResultIntegerExact=nullptr) | mlir::presburger::IntegerRelation | protectedvirtual |
| gaussianEliminate() | mlir::presburger::IntegerRelation | protected |
| gaussianEliminateVar(unsigned position) | mlir::presburger::IntegerRelation | inlineprotected |
| gaussianEliminateVars(unsigned posStart, unsigned posLimit) | mlir::presburger::IntegerRelation | protected |
| gcdTightenInequalities() | mlir::presburger::IntegerRelation | protected |
| getBoundedDirections() const | mlir::presburger::IntegerRelation | |
| getConstantBound(BoundType type, unsigned pos) const | mlir::presburger::IntegerRelation | |
| getConstantBound64(BoundType type, unsigned pos) const | mlir::presburger::IntegerRelation | inline |
| getConstantBoundOnDimSize(unsigned pos, SmallVectorImpl< DynamicAPInt > *lb=nullptr, DynamicAPInt *boundFloorDivisor=nullptr, SmallVectorImpl< DynamicAPInt > *ub=nullptr, unsigned *minLbPos=nullptr, unsigned *minUbPos=nullptr) const | mlir::presburger::IntegerRelation | |
| getConstantBoundOnDimSize64(unsigned pos, SmallVectorImpl< int64_t > *lb=nullptr, int64_t *boundFloorDivisor=nullptr, SmallVectorImpl< int64_t > *ub=nullptr, unsigned *minLbPos=nullptr, unsigned *minUbPos=nullptr) const | mlir::presburger::IntegerRelation | inline |
| getCounts() const | mlir::presburger::IntegerRelation | |
| getDomainSet() const | mlir::presburger::IntegerRelation | |
| getEmpty(const PresburgerSpace &space) | mlir::presburger::IntegerRelation | inlinestatic |
| getEquality(unsigned idx) const | mlir::presburger::IntegerRelation | inline |
| getEquality64(unsigned idx) const | mlir::presburger::IntegerRelation | inline |
| getIds(VarKind kind) | mlir::presburger::IntegerRelation | |
| getInequalities() const | mlir::presburger::IntegerRelation | inline |
| getInequality(unsigned idx) const | mlir::presburger::IntegerRelation | inline |
| getInequality64(unsigned idx) const | mlir::presburger::IntegerRelation | inline |
| getKind() const override | mlir::presburger::IntegerPolyhedron | inlinevirtual |
| getLocalReprs(std::vector< MaybeLocalRepr > *repr=nullptr) const | mlir::presburger::IntegerRelation | |
| getLowerAndUpperBoundIndices(unsigned pos, SmallVectorImpl< unsigned > *lbIndices, SmallVectorImpl< unsigned > *ubIndices, SmallVectorImpl< unsigned > *eqIndices=nullptr, unsigned offset=0, unsigned num=0) const | mlir::presburger::IntegerRelation | |
| getNumCols() const | mlir::presburger::IntegerRelation | inline |
| getNumConstraints() const | mlir::presburger::IntegerRelation | inline |
| getNumDimAndSymbolVars() const | mlir::presburger::IntegerRelation | inline |
| getNumDimVars() const | mlir::presburger::IntegerRelation | inline |
| getNumDomainVars() const | mlir::presburger::IntegerRelation | inline |
| getNumEqualities() const | mlir::presburger::IntegerRelation | inline |
| getNumInequalities() const | mlir::presburger::IntegerRelation | inline |
| getNumLocalVars() const | mlir::presburger::IntegerRelation | inline |
| getNumRangeVars() const | mlir::presburger::IntegerRelation | inline |
| getNumReservedEqualities() const | mlir::presburger::IntegerRelation | inline |
| getNumReservedInequalities() const | mlir::presburger::IntegerRelation | inline |
| getNumSymbolVars() const | mlir::presburger::IntegerRelation | inline |
| getNumVarKind(VarKind kind) const | mlir::presburger::IntegerRelation | inline |
| getNumVars() const | mlir::presburger::IntegerRelation | inline |
| getRangeSet() const | mlir::presburger::IntegerRelation | |
| getSpace() const | mlir::presburger::IntegerRelation | inline |
| getSpaceWithoutLocals() const | mlir::presburger::IntegerRelation | inline |
| getUniverse(const PresburgerSpace &space) | mlir::presburger::IntegerPolyhedron | inlinestatic |
| getVarKindAt(unsigned pos) const | mlir::presburger::IntegerRelation | inline |
| getVarKindEnd(VarKind kind) const | mlir::presburger::IntegerRelation | inline |
| getVarKindOffset(VarKind kind) const | mlir::presburger::IntegerRelation | inline |
| getVarKindOverlap(VarKind kind, unsigned varStart, unsigned varLimit) const | mlir::presburger::IntegerRelation | inline |
| hasConsistentState() const | mlir::presburger::IntegerRelation | protectedvirtual |
| hasInvalidConstraint() const | mlir::presburger::IntegerRelation | protected |
| hasOnlyDivLocals() const | mlir::presburger::IntegerRelation | |
| inequalities | mlir::presburger::IntegerRelation | protected |
| insertVar(VarKind kind, unsigned pos, unsigned num=1) override | mlir::presburger::IntegerPolyhedron | virtual |
| IntegerPolyhedron(unsigned numReservedInequalities, unsigned numReservedEqualities, unsigned numReservedCols, const PresburgerSpace &space) | mlir::presburger::IntegerPolyhedron | inline |
| IntegerPolyhedron(const PresburgerSpace &space) | mlir::presburger::IntegerPolyhedron | inlineexplicit |
| IntegerPolyhedron(const PresburgerSpace &space, IntMatrix inequalities) | mlir::presburger::IntegerPolyhedron | inlineexplicit |
| IntegerPolyhedron(const PresburgerSpace &space, FracMatrix inequalities) | mlir::presburger::IntegerPolyhedron | inlineexplicit |
| IntegerPolyhedron(const IntegerRelation &rel) | mlir::presburger::IntegerPolyhedron | inlineexplicit |
| IntegerPolyhedron(IntegerRelation &&rel) | mlir::presburger::IntegerPolyhedron | inlineexplicit |
| IntegerRelation(unsigned numReservedInequalities, unsigned numReservedEqualities, unsigned numReservedCols, const PresburgerSpace &space) | mlir::presburger::IntegerRelation | inline |
| IntegerRelation(const PresburgerSpace &space) | mlir::presburger::IntegerRelation | inlineexplicit |
| intersect(const IntegerPolyhedron &other) const | mlir::presburger::IntegerPolyhedron | |
| mlir::presburger::IntegerRelation::intersect(IntegerRelation other) const | mlir::presburger::IntegerRelation | |
| intersectDomain(const IntegerPolyhedron &poly) | mlir::presburger::IntegerRelation | |
| intersectRange(const IntegerPolyhedron &poly) | mlir::presburger::IntegerRelation | |
| inverse() | mlir::presburger::IntegerRelation | |
| isColZero(unsigned pos) const | mlir::presburger::IntegerRelation | protected |
| isEmpty() const | mlir::presburger::IntegerRelation | |
| isEmptyByGCDTest() const | mlir::presburger::IntegerRelation | |
| isEqual(const IntegerRelation &other) const | mlir::presburger::IntegerRelation | |
| isFullDim() | mlir::presburger::IntegerRelation | |
| isHyperRectangular(unsigned pos, unsigned num) const | mlir::presburger::IntegerRelation | |
| isIntegerEmpty() const | mlir::presburger::IntegerRelation | |
| isObviouslyEmpty() const | mlir::presburger::IntegerRelation | |
| isObviouslyEqual(const IntegerRelation &other) const | mlir::presburger::IntegerRelation | |
| isSubsetOf(const IntegerRelation &other) const | mlir::presburger::IntegerRelation | |
| kExplosionFactor | mlir::presburger::IntegerRelation | protectedstatic |
| Kind enum name | mlir::presburger::IntegerRelation | |
| mergeAndAlignSymbols(IntegerRelation &other) | mlir::presburger::IntegerRelation | |
| mergeAndCompose(const IntegerRelation &other) | mlir::presburger::IntegerRelation | |
| mergeLocalVars(IntegerRelation &other) | mlir::presburger::IntegerRelation | |
| normalizeConstraintsByGCD() | mlir::presburger::IntegerRelation | protected |
| print(raw_ostream &os) const | mlir::presburger::IntegerRelation | |
| printSpace(raw_ostream &os) const | mlir::presburger::IntegerRelation | protectedvirtual |
| projectOut(unsigned pos, unsigned num) | mlir::presburger::IntegerRelation | |
| projectOut(unsigned pos) | mlir::presburger::IntegerRelation | inline |
| removeDuplicateConstraints() | mlir::presburger::IntegerRelation | protected |
| removeDuplicateDivs() | mlir::presburger::IntegerRelation | |
| removeEquality(unsigned pos) | mlir::presburger::IntegerRelation | |
| removeEqualityRange(unsigned start, unsigned end) | mlir::presburger::IntegerRelation | |
| removeIndependentConstraints(unsigned pos, unsigned num) | mlir::presburger::IntegerRelation | |
| removeInequality(unsigned pos) | mlir::presburger::IntegerRelation | |
| removeInequalityRange(unsigned start, unsigned end) | mlir::presburger::IntegerRelation | |
| removeRedundantConstraints() | mlir::presburger::IntegerRelation | |
| removeRedundantInequalities() | mlir::presburger::IntegerRelation | |
| removeRedundantLocalVars() | mlir::presburger::IntegerRelation | protected |
| removeTrivialEqualities() | mlir::presburger::IntegerRelation | |
| removeTrivialRedundancy() | mlir::presburger::IntegerRelation | |
| removeVar(VarKind kind, unsigned pos) | mlir::presburger::IntegerRelation | |
| removeVar(unsigned pos) | mlir::presburger::IntegerRelation | |
| removeVarRange(VarKind kind, unsigned varStart, unsigned varLimit) | mlir::presburger::IntegerRelation | virtual |
| removeVarRange(unsigned varStart, unsigned varLimit) | mlir::presburger::IntegerRelation | protected |
| resetIds() | mlir::presburger::IntegerRelation | inline |
| setAndEliminate(unsigned pos, ArrayRef< DynamicAPInt > values) | mlir::presburger::IntegerRelation | |
| setAndEliminate(unsigned pos, ArrayRef< int64_t > values) | mlir::presburger::IntegerRelation | inline |
| setDimSymbolSeparation(unsigned newSymbolCount) | mlir::presburger::IntegerRelation | inline |
| setId(VarKind kind, unsigned i, Identifier id) | mlir::presburger::IntegerRelation | |
| setSpace(const PresburgerSpace &oSpace) | mlir::presburger::IntegerRelation | |
| setSpaceExceptLocals(const PresburgerSpace &oSpace) | mlir::presburger::IntegerRelation | |
| simplify() | mlir::presburger::IntegerRelation | |
| space | mlir::presburger::IntegerRelation | protected |
| subtract(const PresburgerSet &other) const | mlir::presburger::IntegerPolyhedron | |
| mlir::presburger::IntegerRelation::subtract(const PresburgerRelation &set) const | mlir::presburger::IntegerRelation | |
| swapVar(unsigned posA, unsigned posB) | mlir::presburger::IntegerRelation | virtual |
| truncate(const CountsSnapshot &counts) | mlir::presburger::IntegerRelation | |
| truncateVarKind(VarKind kind, unsigned num) | mlir::presburger::IntegerRelation | protected |
| truncateVarKind(VarKind kind, const CountsSnapshot &counts) | mlir::presburger::IntegerRelation | protected |
| unionBoundingBox(const IntegerRelation &other) | mlir::presburger::IntegerRelation | |
| ~IntegerRelation()=default | mlir::presburger::IntegerRelation | virtual |
