| addAffineForOpDomain(AffineForOp forOp) | mlir::affine::FlatAffineValueConstraints | |
| addAffineIfOpDomain(AffineIfOp ifOp) | mlir::affine::FlatAffineValueConstraints | |
| addAffineParallelOpDomain(AffineParallelOp parallelOp) | mlir::affine::FlatAffineValueConstraints | |
| addBound(presburger::BoundType type, unsigned pos, AffineMap boundMap, ValueRange operands) | mlir::affine::FlatAffineValueConstraints | |
| addBound(presburger::BoundType type, Value val, int64_t value) | mlir::affine::FlatAffineValueConstraints | |
| addBound(presburger::BoundType type, unsigned pos, AffineMap boundMap, bool isClosedBound, AddConservativeSemiAffineBounds=AddConservativeSemiAffineBounds::No) | mlir::affine::FlatAffineValueConstraints | |
| addBound(presburger::BoundType type, unsigned pos, AffineMap boundMap, AddConservativeSemiAffineBounds=AddConservativeSemiAffineBounds::No) | mlir::affine::FlatAffineValueConstraints | |
| mlir::FlatLinearValueConstraints::addBound(presburger::BoundType type, Value val, int64_t value) | mlir::FlatLinearValueConstraints | |
| mlir::FlatLinearConstraints::addBound(presburger::BoundType type, unsigned pos, AffineMap boundMap, bool isClosedBound, AddConservativeSemiAffineBounds=AddConservativeSemiAffineBounds::No) | mlir::FlatLinearConstraints | |
| mlir::FlatLinearConstraints::addBound(presburger::BoundType type, unsigned pos, AffineMap boundMap, AddConservativeSemiAffineBounds=AddConservativeSemiAffineBounds::No) | mlir::FlatLinearConstraints | |
| mlir::presburger::IntegerPolyhedron::addBound(BoundType type, unsigned pos, const DynamicAPInt &value) | mlir::presburger::IntegerRelation | |
| mlir::presburger::IntegerPolyhedron::addBound(BoundType type, unsigned pos, int64_t value) | mlir::presburger::IntegerRelation | inline |
| mlir::presburger::IntegerPolyhedron::addBound(BoundType type, ArrayRef< DynamicAPInt > expr, const DynamicAPInt &value) | mlir::presburger::IntegerRelation | |
| mlir::presburger::IntegerPolyhedron::addBound(BoundType type, ArrayRef< int64_t > expr, int64_t value) | mlir::presburger::IntegerRelation | inline |
| AddConservativeSemiAffineBounds enum name | mlir::FlatLinearConstraints | |
| addDomainFromSliceMaps(ArrayRef< AffineMap > lbMaps, ArrayRef< AffineMap > ubMaps, ArrayRef< Value > operands) | mlir::affine::FlatAffineValueConstraints | |
| addEquality(ArrayRef< DynamicAPInt > eq) | mlir::presburger::IntegerRelation | |
| addEquality(ArrayRef< int64_t > eq) | mlir::presburger::IntegerRelation | inline |
| addInductionVarOrTerminalSymbol(Value val) | mlir::affine::FlatAffineValueConstraints | |
| 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 |
| addLocalModulo(ArrayRef< DynamicAPInt > exprs, const DynamicAPInt &modulus) | mlir::presburger::IntegerRelation | |
| addLocalModulo(ArrayRef< int64_t > exprs, int64_t modulus) | mlir::presburger::IntegerRelation | inline |
| addSliceBounds(ArrayRef< Value > values, ArrayRef< AffineMap > lbMaps, ArrayRef< AffineMap > ubMaps, ArrayRef< Value > operands) | mlir::affine::FlatAffineValueConstraints | |
| append(const IntegerRelation &other) | mlir::presburger::IntegerRelation | |
| appendDimVar(ValueRange vals) | mlir::FlatLinearValueConstraints | |
| appendDimVar(unsigned num=1) | mlir::FlatLinearValueConstraints | inline |
| mlir::FlatLinearConstraints::appendDimVar(unsigned num=1) | mlir::FlatLinearConstraints | inline |
| appendDomainVar(unsigned num=1) | mlir::affine::FlatAffineRelation | |
| appendLocalVar(unsigned num=1) | mlir::FlatLinearConstraints | inline |
| appendRangeVar(unsigned num=1) | mlir::affine::FlatAffineRelation | |
| appendSymbolVar(ValueRange vals) | mlir::FlatLinearValueConstraints | |
| appendSymbolVar(unsigned num=1) | mlir::FlatLinearValueConstraints | inline |
| mlir::FlatLinearConstraints::appendSymbolVar(unsigned num=1) | mlir::FlatLinearConstraints | inline |
| appendVar(VarKind kind, unsigned num=1) | mlir::presburger::IntegerRelation | |
| applyDomain(const IntegerRelation &rel) | mlir::presburger::IntegerRelation | |
| applyRange(const IntegerRelation &rel) | mlir::presburger::IntegerRelation | |
| areVarsAlignedWithOther(const FlatLinearConstraints &other) | mlir::FlatLinearValueConstraints | |
| 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::affine::FlatAffineRelation | inlinestatic |
| mlir::FlatLinearConstraints::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 FlatAffineRelation &other) | mlir::affine::FlatAffineRelation | |
| mlir::affine::FlatAffineValueConstraints::compose(const IntegerRelation &rel) | mlir::presburger::IntegerRelation | |
| composeMap(const AffineValueMap *vMap) | mlir::affine::FlatAffineValueConstraints | |
| composeMatchingMap(AffineMap other) | mlir::FlatLinearConstraints | |
| computeAlignedMap(AffineMap map, ValueRange operands) const | mlir::FlatLinearValueConstraints | |
| computeConstantLowerOrUpperBound(unsigned pos) | mlir::presburger::IntegerRelation | protected |
| computeConstantLowerOrUpperBound64(unsigned pos) | mlir::presburger::IntegerRelation | inlineprotected |
| computeLocalVars(SmallVectorImpl< AffineExpr > &memo, MLIRContext *context) const | mlir::FlatLinearConstraints | protected |
| 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 |
| containsVar(Value val) const | mlir::FlatLinearValueConstraints | |
| convertLoopIVSymbolsToDims() | mlir::affine::FlatAffineValueConstraints | |
| 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 | |
| dumpPretty() const | mlir::FlatLinearConstraints | |
| dumpRow(ArrayRef< int64_t > row, bool fixedColWidth=true) const | mlir::FlatLinearConstraints | |
| eliminateRedundantLocalVar(unsigned posA, unsigned posB) | mlir::presburger::IntegerRelation | virtual |
| equalities | mlir::presburger::IntegerRelation | protected |
| findConstraintWithNonZeroAt(unsigned colIdx, bool isEq) const | mlir::presburger::IntegerRelation | |
| findEqualityToConstant(unsigned pos, bool symbolic=false) const | mlir::presburger::IntegerRelation | |
| 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 | |
| findVar(Value val, unsigned *pos, unsigned offset=0) const | mlir::FlatLinearValueConstraints | |
| FlatAffineRelation(unsigned numReservedInequalities, unsigned numReservedEqualities, unsigned numReservedCols, unsigned numDomainDims, unsigned numRangeDims, unsigned numSymbols, unsigned numLocals, ArrayRef< std::optional< Value >> valArgs={}) | mlir::affine::FlatAffineRelation | inline |
| FlatAffineRelation(unsigned numDomainDims=0, unsigned numRangeDims=0, unsigned numSymbols=0, unsigned numLocals=0) | mlir::affine::FlatAffineRelation | inline |
| FlatAffineRelation(unsigned numDomainDims, unsigned numRangeDims, FlatAffineValueConstraints &fac) | mlir::affine::FlatAffineRelation | inline |
| FlatAffineRelation(unsigned numDomainDims, unsigned numRangeDims, IntegerPolyhedron &fac) | mlir::affine::FlatAffineRelation | inline |
| FlatLinearConstraints(unsigned numReservedInequalities, unsigned numReservedEqualities, unsigned numReservedCols, unsigned numDims, unsigned numSymbols, unsigned numLocals) | mlir::FlatLinearConstraints | inline |
| FlatLinearConstraints(unsigned numDims=0, unsigned numSymbols=0, unsigned numLocals=0) | mlir::FlatLinearConstraints | inline |
| FlatLinearConstraints(const IntegerPolyhedron &fac) | mlir::FlatLinearConstraints | inline |
| FlatLinearValueConstraints(unsigned numReservedInequalities, unsigned numReservedEqualities, unsigned numReservedCols, unsigned numDims, unsigned numSymbols, unsigned numLocals, ArrayRef< std::optional< Value >> valArgs) | mlir::affine::FlatAffineValueConstraints | inline |
| FlatLinearValueConstraints(unsigned numReservedInequalities, unsigned numReservedEqualities, unsigned numReservedCols, unsigned numDims, unsigned numSymbols, unsigned numLocals, ArrayRef< Value > valArgs) | mlir::affine::FlatAffineValueConstraints | inline |
| FlatLinearValueConstraints(unsigned numDims, unsigned numSymbols, unsigned numLocals, ArrayRef< std::optional< Value >> valArgs) | mlir::affine::FlatAffineValueConstraints | inline |
| FlatLinearValueConstraints(unsigned numDims=0, unsigned numSymbols=0, unsigned numLocals=0, ArrayRef< Value > valArgs={}) | mlir::affine::FlatAffineValueConstraints | inline |
| FlatLinearValueConstraints(const IntegerPolyhedron &fac, ArrayRef< std::optional< Value >> valArgs={}) | mlir::affine::FlatAffineValueConstraints | inline |
| FlatLinearValueConstraints(IntegerSet set, ValueRange operands={}) | mlir::affine::FlatAffineValueConstraints | explicit |
| mlir::FlatLinearValueConstraints::FlatLinearValueConstraints(unsigned numReservedInequalities, unsigned numReservedEqualities, unsigned numReservedCols, unsigned numDims, unsigned numSymbols, unsigned numLocals, ArrayRef< std::optional< Value >> valArgs) | mlir::FlatLinearValueConstraints | inline |
| mlir::FlatLinearValueConstraints::FlatLinearValueConstraints(unsigned numReservedInequalities, unsigned numReservedEqualities, unsigned numReservedCols, unsigned numDims, unsigned numSymbols, unsigned numLocals, ArrayRef< Value > valArgs) | mlir::FlatLinearValueConstraints | inline |
| mlir::FlatLinearValueConstraints::FlatLinearValueConstraints(unsigned numDims, unsigned numSymbols, unsigned numLocals, ArrayRef< std::optional< Value >> valArgs) | mlir::FlatLinearValueConstraints | inline |
| mlir::FlatLinearValueConstraints::FlatLinearValueConstraints(unsigned numDims=0, unsigned numSymbols=0, unsigned numLocals=0, ArrayRef< Value > valArgs={}) | mlir::FlatLinearValueConstraints | inline |
| mlir::FlatLinearValueConstraints::FlatLinearValueConstraints(const IntegerPolyhedron &fac, ArrayRef< std::optional< Value >> valArgs={}) | mlir::FlatLinearValueConstraints | inline |
| mlir::FlatLinearValueConstraints::FlatLinearValueConstraints(IntegerSet set, ValueRange operands={}) | mlir::FlatLinearValueConstraints | explicit |
| flattenAlignedMapAndMergeLocals(AffineMap map, std::vector< SmallVector< int64_t, 8 >> *flattenedExprs, bool addConservativeSemiAffineBounds=false) | mlir::FlatLinearConstraints | protected |
| 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 |
| getAsIntegerSet(MLIRContext *context) const | mlir::FlatLinearConstraints | |
| 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(MLIRContext *context, unsigned pos, AffineMap *lb=nullptr, AffineMap *ub=nullptr, unsigned *minLbPos=nullptr, unsigned *minUbPos=nullptr) const | mlir::FlatLinearConstraints | |
| mlir::presburger::IntegerPolyhedron::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::affine::FlatAffineRelation | |
| 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 | |
| getIneqAsAffineValueMap(unsigned pos, unsigned ineqPos, AffineValueMap &vmap, MLIRContext *context) const | mlir::affine::FlatAffineValueConstraints | |
| 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::affine::FlatAffineRelation | inlinevirtual |
| getLocalReprs(std::vector< MaybeLocalRepr > *repr=nullptr) const | mlir::presburger::IntegerRelation | |
| getLowerAndUpperBound(unsigned pos, unsigned offset, unsigned num, unsigned symStartPos, ArrayRef< AffineExpr > localExprs, MLIRContext *context, bool closedUB=false) const | mlir::FlatLinearConstraints | |
| getLowerAndUpperBoundIndices(unsigned pos, SmallVectorImpl< unsigned > *lbIndices, SmallVectorImpl< unsigned > *ubIndices, SmallVectorImpl< unsigned > *eqIndices=nullptr, unsigned offset=0, unsigned num=0) const | mlir::presburger::IntegerRelation | |
| getMaybeValues() const | mlir::FlatLinearValueConstraints | inline |
| getMaybeValues(presburger::VarKind kind) const | mlir::FlatLinearValueConstraints | inline |
| getNumCols() const | mlir::presburger::IntegerRelation | inline |
| getNumConstraints() const | mlir::presburger::IntegerRelation | inline |
| getNumDimAndSymbolVars() const | mlir::presburger::IntegerRelation | inline |
| getNumDimVars() const | mlir::presburger::IntegerRelation | inline |
| getNumDomainDims() const | mlir::affine::FlatAffineRelation | 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 |
| getNumRangeDims() const | mlir::affine::FlatAffineRelation | 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::affine::FlatAffineRelation | |
| getSliceBounds(unsigned offset, unsigned num, MLIRContext *context, SmallVectorImpl< AffineMap > *lbMaps, SmallVectorImpl< AffineMap > *ubMaps, bool closedUB=false) | mlir::FlatLinearConstraints | |
| getSpace() const | mlir::presburger::IntegerRelation | inline |
| getSpaceWithoutLocals() const | mlir::presburger::IntegerRelation | inline |
| getUniverse(const PresburgerSpace &space) | mlir::presburger::IntegerPolyhedron | inlinestatic |
| getValue(unsigned pos) const | mlir::FlatLinearValueConstraints | inline |
| getValues(unsigned start, unsigned end, SmallVectorImpl< Value > *values) const | mlir::FlatLinearValueConstraints | inline |
| 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 | |
| hasValue(unsigned pos) const | mlir::FlatLinearValueConstraints | inline |
| Identifier typedef | mlir::FlatLinearValueConstraints | |
| inequalities | mlir::presburger::IntegerRelation | protected |
| insertDimVar(unsigned pos, ValueRange vals) | mlir::FlatLinearValueConstraints | |
| insertDimVar(unsigned pos, unsigned num=1) | mlir::FlatLinearValueConstraints | inline |
| mlir::FlatLinearConstraints::insertDimVar(unsigned pos, unsigned num=1) | mlir::FlatLinearConstraints | inline |
| insertDomainVar(unsigned pos, unsigned num=1) | mlir::affine::FlatAffineRelation | |
| insertLocalVar(unsigned pos, unsigned num=1) | mlir::FlatLinearConstraints | inline |
| insertRangeVar(unsigned pos, unsigned num=1) | mlir::affine::FlatAffineRelation | |
| insertSymbolVar(unsigned pos, ValueRange vals) | mlir::FlatLinearValueConstraints | |
| insertSymbolVar(unsigned pos, unsigned num=1) | mlir::FlatLinearValueConstraints | inline |
| mlir::FlatLinearConstraints::insertSymbolVar(unsigned pos, unsigned num=1) | mlir::FlatLinearConstraints | inline |
| insertVar(presburger::VarKind kind, unsigned pos, unsigned num=1) override | mlir::FlatLinearValueConstraints | virtual |
| insertVar(presburger::VarKind kind, unsigned pos, ValueRange vals) | mlir::FlatLinearValueConstraints | |
| 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, const IntMatrix &inequalities) | mlir::presburger::IntegerPolyhedron | inlineexplicit |
| IntegerPolyhedron(const PresburgerSpace &space, const 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::affine::FlatAffineRelation | |
| 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 | |
| iterVarKind(VarKind kind) | mlir::presburger::IntegerRelation | inline |
| kExplosionFactor | mlir::presburger::IntegerRelation | protectedstatic |
| Kind enum name | mlir::presburger::IntegerRelation | |
| mergeAndAlignSymbols(IntegerRelation &other) | mlir::presburger::IntegerRelation | |
| mergeAndAlignVarsWithOther(unsigned offset, FlatLinearValueConstraints *other) | mlir::FlatLinearValueConstraints | |
| mergeAndCompose(const IntegerRelation &other) | mlir::presburger::IntegerRelation | |
| mergeLocalVars(IntegerRelation &other) | mlir::presburger::IntegerRelation | |
| mergeSymbolVars(FlatLinearValueConstraints &other) | mlir::FlatLinearValueConstraints | |
| normalizeConstraintsByGCD() | mlir::presburger::IntegerRelation | protected |
| numDomainDims | mlir::affine::FlatAffineRelation | protected |
| numRangeDims | mlir::affine::FlatAffineRelation | protected |
| print(raw_ostream &os) const | mlir::presburger::IntegerRelation | |
| printSpace(raw_ostream &os) const override | mlir::FlatLinearValueConstraints | virtual |
| projectOut(Value val) | mlir::FlatLinearValueConstraints | |
| mlir::FlatLinearConstraints::projectOut(unsigned pos, unsigned num) | mlir::presburger::IntegerRelation | |
| mlir::FlatLinearConstraints::projectOut(unsigned pos) | mlir::presburger::IntegerRelation | inline |
| rangeProduct(const IntegerRelation &rel) | mlir::presburger::IntegerRelation | |
| 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) override | mlir::affine::FlatAffineRelation | virtual |
| mlir::FlatLinearConstraints::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 | |
| setValue(unsigned pos, Value val) | mlir::FlatLinearValueConstraints | inline |
| setValues(unsigned start, unsigned end, ArrayRef< Value > values) | mlir::FlatLinearValueConstraints | inline |
| 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 FlatLinearValueConstraints &other) | mlir::FlatLinearValueConstraints | |
| mlir::FlatLinearConstraints::unionBoundingBox(const IntegerRelation &other) | mlir::presburger::IntegerRelation | |
| VarKind typedef | mlir::FlatLinearConstraints | protected |
| ~IntegerRelation()=default | mlir::presburger::IntegerRelation | virtual |
