MLIR  19.0.0git
mlir::affine::FlatAffineValueConstraints Member List

This is the complete list of members for mlir::affine::FlatAffineValueConstraints, including all inherited members.

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::IntegerRelationinline
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::IntegerRelationinline
AddConservativeSemiAffineBounds enum namemlir::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::IntegerRelationinline
addInductionVarOrTerminalSymbol(Value val)mlir::affine::FlatAffineValueConstraints
addInequality(ArrayRef< DynamicAPInt > inEq)mlir::presburger::IntegerRelation
addInequality(ArrayRef< int64_t > inEq)mlir::presburger::IntegerRelationinline
addLocalFloorDiv(ArrayRef< DynamicAPInt > dividend, const DynamicAPInt &divisor)mlir::presburger::IntegerRelation
addLocalFloorDiv(ArrayRef< int64_t > dividend, int64_t divisor)mlir::presburger::IntegerRelationinline
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::FlatLinearValueConstraintsinline
mlir::FlatLinearConstraints::appendDimVar(unsigned num=1)mlir::FlatLinearConstraintsinline
appendLocalVar(unsigned num=1)mlir::FlatLinearConstraintsinline
appendSymbolVar(ValueRange vals)mlir::FlatLinearValueConstraints
appendSymbolVar(unsigned num=1)mlir::FlatLinearValueConstraintsinline
mlir::FlatLinearConstraints::appendSymbolVar(unsigned num=1)mlir::FlatLinearConstraintsinline
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) constmlir::presburger::IntegerRelationinline
atEq(unsigned i, unsigned j)mlir::presburger::IntegerRelationinline
atEq64(unsigned i, unsigned j) constmlir::presburger::IntegerRelationinline
atIneq(unsigned i, unsigned j) constmlir::presburger::IntegerRelationinline
atIneq(unsigned i, unsigned j)mlir::presburger::IntegerRelationinline
atIneq64(unsigned i, unsigned j) constmlir::presburger::IntegerRelationinline
classof(const IntegerRelation *cst)mlir::affine::FlatAffineValueConstraintsinlinestatic
mlir::FlatLinearConstraints::classof(const IntegerRelation *cst)mlir::presburger::IntegerPolyhedroninlinestatic
clearAndCopyFrom(const IntegerRelation &other)mlir::presburger::IntegerRelationvirtual
clearConstraints()mlir::presburger::IntegerRelation
clone() constmlir::presburger::IntegerPolyhedron
compose(const IntegerRelation &rel)mlir::presburger::IntegerRelation
composeMap(const AffineValueMap *vMap)mlir::affine::FlatAffineValueConstraints
composeMatchingMap(AffineMap other)mlir::FlatLinearConstraints
computeAlignedMap(AffineMap map, ValueRange operands) constmlir::FlatLinearValueConstraints
computeConstantLowerOrUpperBound(unsigned pos)mlir::presburger::IntegerRelationprotected
computeConstantLowerOrUpperBound64(unsigned pos)mlir::presburger::IntegerRelationinlineprotected
computeLocalVars(SmallVectorImpl< AffineExpr > &memo, MLIRContext *context) constmlir::FlatLinearConstraintsprotected
computeReprWithOnlyDivLocals() constmlir::presburger::IntegerRelation
computeVolume() constmlir::presburger::IntegerRelation
constantFoldVar(unsigned pos)mlir::presburger::IntegerRelation
constantFoldVarRange(unsigned pos, unsigned num)mlir::presburger::IntegerRelation
containsPoint(ArrayRef< DynamicAPInt > point) constmlir::presburger::IntegerRelation
containsPoint(ArrayRef< int64_t > point) constmlir::presburger::IntegerRelationinline
containsPointNoLocal(ArrayRef< DynamicAPInt > point) constmlir::presburger::IntegerRelation
containsPointNoLocal(ArrayRef< int64_t > point) constmlir::presburger::IntegerRelationinline
containsVar(Value val) constmlir::FlatLinearValueConstraints
convertLoopIVSymbolsToDims()mlir::affine::FlatAffineValueConstraints
convertToLocal(VarKind kind, unsigned varStart, unsigned varLimit)mlir::presburger::IntegerRelationinline
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::IntegerRelationinline
dump() constmlir::presburger::IntegerRelation
eliminateRedundantLocalVar(unsigned posA, unsigned posB)mlir::presburger::IntegerRelationvirtual
equalitiesmlir::presburger::IntegerRelationprotected
findConstraintWithNonZeroAt(unsigned colIdx, bool isEq, unsigned *rowIdx) constmlir::presburger::IntegerRelationprotected
findIntegerLexMin() constmlir::presburger::IntegerRelation
findIntegerSample() constmlir::presburger::IntegerRelation
findRationalLexMin() constmlir::presburger::IntegerRelation
findSymbolicIntegerLexMax() constmlir::presburger::IntegerRelation
findSymbolicIntegerLexMin() constmlir::presburger::IntegerRelation
findVar(Value val, unsigned *pos, unsigned offset=0) constmlir::FlatLinearValueConstraints
FlatLinearConstraints(unsigned numReservedInequalities, unsigned numReservedEqualities, unsigned numReservedCols, unsigned numDims, unsigned numSymbols, unsigned numLocals)mlir::FlatLinearConstraintsinline
FlatLinearConstraints(unsigned numDims=0, unsigned numSymbols=0, unsigned numLocals=0)mlir::FlatLinearConstraintsinline
FlatLinearConstraints(const IntegerPolyhedron &fac)mlir::FlatLinearConstraintsinline
FlatLinearValueConstraints(unsigned numReservedInequalities, unsigned numReservedEqualities, unsigned numReservedCols, unsigned numDims, unsigned numSymbols, unsigned numLocals, ArrayRef< std::optional< Value >> valArgs)mlir::affine::FlatAffineValueConstraintsinline
FlatLinearValueConstraints(unsigned numReservedInequalities, unsigned numReservedEqualities, unsigned numReservedCols, unsigned numDims, unsigned numSymbols, unsigned numLocals, ArrayRef< Value > valArgs)mlir::affine::FlatAffineValueConstraintsinline
FlatLinearValueConstraints(unsigned numDims, unsigned numSymbols, unsigned numLocals, ArrayRef< std::optional< Value >> valArgs)mlir::affine::FlatAffineValueConstraintsinline
FlatLinearValueConstraints(unsigned numDims=0, unsigned numSymbols=0, unsigned numLocals=0, ArrayRef< Value > valArgs={})mlir::affine::FlatAffineValueConstraintsinline
FlatLinearValueConstraints(const IntegerPolyhedron &fac, ArrayRef< std::optional< Value >> valArgs={})mlir::affine::FlatAffineValueConstraintsinline
FlatLinearValueConstraints(IntegerSet set, ValueRange operands={})mlir::affine::FlatAffineValueConstraintsexplicit
mlir::FlatLinearValueConstraints::FlatLinearValueConstraints(unsigned numReservedInequalities, unsigned numReservedEqualities, unsigned numReservedCols, unsigned numDims, unsigned numSymbols, unsigned numLocals, ArrayRef< std::optional< Value >> valArgs)mlir::FlatLinearValueConstraintsinline
mlir::FlatLinearValueConstraints::FlatLinearValueConstraints(unsigned numReservedInequalities, unsigned numReservedEqualities, unsigned numReservedCols, unsigned numDims, unsigned numSymbols, unsigned numLocals, ArrayRef< Value > valArgs)mlir::FlatLinearValueConstraintsinline
mlir::FlatLinearValueConstraints::FlatLinearValueConstraints(unsigned numDims, unsigned numSymbols, unsigned numLocals, ArrayRef< std::optional< Value >> valArgs)mlir::FlatLinearValueConstraintsinline
mlir::FlatLinearValueConstraints::FlatLinearValueConstraints(unsigned numDims=0, unsigned numSymbols=0, unsigned numLocals=0, ArrayRef< Value > valArgs={})mlir::FlatLinearValueConstraintsinline
mlir::FlatLinearValueConstraints::FlatLinearValueConstraints(const IntegerPolyhedron &fac, ArrayRef< std::optional< Value >> valArgs={})mlir::FlatLinearValueConstraintsinline
mlir::FlatLinearValueConstraints::FlatLinearValueConstraints(IntegerSet set, ValueRange operands={})mlir::FlatLinearValueConstraintsexplicit
flattenAlignedMapAndMergeLocals(AffineMap map, std::vector< SmallVector< int64_t, 8 >> *flattenedExprs, bool addConservativeSemiAffineBounds=false)mlir::FlatLinearConstraintsprotected
fourierMotzkinEliminate(unsigned pos, bool darkShadow=false, bool *isResultIntegerExact=nullptr)mlir::presburger::IntegerRelationprotectedvirtual
gaussianEliminate()mlir::presburger::IntegerRelationprotected
gaussianEliminateVar(unsigned position)mlir::presburger::IntegerRelationinlineprotected
gaussianEliminateVars(unsigned posStart, unsigned posLimit)mlir::presburger::IntegerRelationprotected
gcdTightenInequalities()mlir::presburger::IntegerRelationprotected
getAsIntegerSet(MLIRContext *context) constmlir::FlatLinearConstraints
getBoundedDirections() constmlir::presburger::IntegerRelation
getConstantBound(BoundType type, unsigned pos) constmlir::presburger::IntegerRelation
getConstantBound64(BoundType type, unsigned pos) constmlir::presburger::IntegerRelationinline
getConstantBoundOnDimSize(unsigned pos, SmallVectorImpl< DynamicAPInt > *lb=nullptr, DynamicAPInt *boundFloorDivisor=nullptr, SmallVectorImpl< DynamicAPInt > *ub=nullptr, unsigned *minLbPos=nullptr, unsigned *minUbPos=nullptr) constmlir::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) constmlir::presburger::IntegerRelationinline
getCounts() constmlir::presburger::IntegerRelation
getDomainSet() constmlir::presburger::IntegerRelation
getEmpty(const PresburgerSpace &space)mlir::presburger::IntegerRelationinlinestatic
getEquality(unsigned idx) constmlir::presburger::IntegerRelationinline
getEquality64(unsigned idx) constmlir::presburger::IntegerRelationinline
getIds(VarKind kind)mlir::presburger::IntegerRelation
getIneqAsAffineValueMap(unsigned pos, unsigned ineqPos, AffineValueMap &vmap, MLIRContext *context) constmlir::affine::FlatAffineValueConstraints
getInequalities() constmlir::presburger::IntegerRelationinline
getInequality(unsigned idx) constmlir::presburger::IntegerRelationinline
getInequality64(unsigned idx) constmlir::presburger::IntegerRelationinline
getKind() const overridemlir::affine::FlatAffineValueConstraintsinlinevirtual
getLocalReprs(std::vector< MaybeLocalRepr > *repr=nullptr) constmlir::presburger::IntegerRelation
getLowerAndUpperBound(unsigned pos, unsigned offset, unsigned num, unsigned symStartPos, ArrayRef< AffineExpr > localExprs, MLIRContext *context, bool closedUB=false) constmlir::FlatLinearConstraints
getLowerAndUpperBoundIndices(unsigned pos, SmallVectorImpl< unsigned > *lbIndices, SmallVectorImpl< unsigned > *ubIndices, SmallVectorImpl< unsigned > *eqIndices=nullptr, unsigned offset=0, unsigned num=0) constmlir::presburger::IntegerRelation
getMaybeValues() constmlir::FlatLinearValueConstraintsinline
getMaybeValues(presburger::VarKind kind) constmlir::FlatLinearValueConstraintsinline
getNumCols() constmlir::presburger::IntegerRelationinline
getNumConstraints() constmlir::presburger::IntegerRelationinline
getNumDimAndSymbolVars() constmlir::presburger::IntegerRelationinline
getNumDimVars() constmlir::presburger::IntegerRelationinline
getNumDomainVars() constmlir::presburger::IntegerRelationinline
getNumEqualities() constmlir::presburger::IntegerRelationinline
getNumInequalities() constmlir::presburger::IntegerRelationinline
getNumLocalVars() constmlir::presburger::IntegerRelationinline
getNumRangeVars() constmlir::presburger::IntegerRelationinline
getNumReservedEqualities() constmlir::presburger::IntegerRelationinline
getNumReservedInequalities() constmlir::presburger::IntegerRelationinline
getNumSymbolVars() constmlir::presburger::IntegerRelationinline
getNumVarKind(VarKind kind) constmlir::presburger::IntegerRelationinline
getNumVars() constmlir::presburger::IntegerRelationinline
getRangeSet() constmlir::presburger::IntegerRelation
getSliceBounds(unsigned offset, unsigned num, MLIRContext *context, SmallVectorImpl< AffineMap > *lbMaps, SmallVectorImpl< AffineMap > *ubMaps, bool closedUB=false)mlir::FlatLinearConstraints
getSpace() constmlir::presburger::IntegerRelationinline
getSpaceWithoutLocals() constmlir::presburger::IntegerRelationinline
getUniverse(const PresburgerSpace &space)mlir::presburger::IntegerPolyhedroninlinestatic
getValue(unsigned pos) constmlir::FlatLinearValueConstraintsinline
getValues(unsigned start, unsigned end, SmallVectorImpl< Value > *values) constmlir::FlatLinearValueConstraintsinline
getVarKindAt(unsigned pos) constmlir::presburger::IntegerRelationinline
getVarKindEnd(VarKind kind) constmlir::presburger::IntegerRelationinline
getVarKindOffset(VarKind kind) constmlir::presburger::IntegerRelationinline
getVarKindOverlap(VarKind kind, unsigned varStart, unsigned varLimit) constmlir::presburger::IntegerRelationinline
hasConsistentState() constmlir::presburger::IntegerRelationprotectedvirtual
hasInvalidConstraint() constmlir::presburger::IntegerRelationprotected
hasOnlyDivLocals() constmlir::presburger::IntegerRelation
hasValue(unsigned pos) constmlir::FlatLinearValueConstraintsinline
Identifier typedefmlir::FlatLinearValueConstraints
inequalitiesmlir::presburger::IntegerRelationprotected
insertDimVar(unsigned pos, ValueRange vals)mlir::FlatLinearValueConstraints
insertDimVar(unsigned pos, unsigned num=1)mlir::FlatLinearValueConstraintsinline
mlir::FlatLinearConstraints::insertDimVar(unsigned pos, unsigned num=1)mlir::FlatLinearConstraintsinline
insertLocalVar(unsigned pos, unsigned num=1)mlir::FlatLinearConstraintsinline
insertSymbolVar(unsigned pos, ValueRange vals)mlir::FlatLinearValueConstraints
insertSymbolVar(unsigned pos, unsigned num=1)mlir::FlatLinearValueConstraintsinline
mlir::FlatLinearConstraints::insertSymbolVar(unsigned pos, unsigned num=1)mlir::FlatLinearConstraintsinline
insertVar(presburger::VarKind kind, unsigned pos, unsigned num=1) overridemlir::FlatLinearValueConstraintsvirtual
insertVar(presburger::VarKind kind, unsigned pos, ValueRange vals)mlir::FlatLinearValueConstraints
IntegerPolyhedron(unsigned numReservedInequalities, unsigned numReservedEqualities, unsigned numReservedCols, const PresburgerSpace &space)mlir::presburger::IntegerPolyhedroninline
IntegerPolyhedron(const PresburgerSpace &space)mlir::presburger::IntegerPolyhedroninlineexplicit
IntegerPolyhedron(const PresburgerSpace &space, IntMatrix inequalities)mlir::presburger::IntegerPolyhedroninlineexplicit
IntegerPolyhedron(const PresburgerSpace &space, FracMatrix inequalities)mlir::presburger::IntegerPolyhedroninlineexplicit
IntegerPolyhedron(const IntegerRelation &rel)mlir::presburger::IntegerPolyhedroninlineexplicit
IntegerPolyhedron(IntegerRelation &&rel)mlir::presburger::IntegerPolyhedroninlineexplicit
IntegerRelation(unsigned numReservedInequalities, unsigned numReservedEqualities, unsigned numReservedCols, const PresburgerSpace &space)mlir::presburger::IntegerRelationinline
IntegerRelation(const PresburgerSpace &space)mlir::presburger::IntegerRelationinlineexplicit
intersect(const IntegerPolyhedron &other) constmlir::presburger::IntegerPolyhedron
mlir::presburger::IntegerRelation::intersect(IntegerRelation other) constmlir::presburger::IntegerRelation
intersectDomain(const IntegerPolyhedron &poly)mlir::presburger::IntegerRelation
intersectRange(const IntegerPolyhedron &poly)mlir::presburger::IntegerRelation
inverse()mlir::presburger::IntegerRelation
isColZero(unsigned pos) constmlir::presburger::IntegerRelationprotected
isEmpty() constmlir::presburger::IntegerRelation
isEmptyByGCDTest() constmlir::presburger::IntegerRelation
isEqual(const IntegerRelation &other) constmlir::presburger::IntegerRelation
isFullDim()mlir::presburger::IntegerRelation
isHyperRectangular(unsigned pos, unsigned num) constmlir::presburger::IntegerRelation
isIntegerEmpty() constmlir::presburger::IntegerRelation
isObviouslyEmpty() constmlir::presburger::IntegerRelation
isObviouslyEqual(const IntegerRelation &other) constmlir::presburger::IntegerRelation
isSubsetOf(const IntegerRelation &other) constmlir::presburger::IntegerRelation
kExplosionFactormlir::presburger::IntegerRelationprotectedstatic
Kind enum namemlir::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::IntegerRelationprotected
print(raw_ostream &os) constmlir::presburger::IntegerRelation
printSpace(raw_ostream &os) const overridemlir::FlatLinearValueConstraintsvirtual
projectOut(Value val)mlir::FlatLinearValueConstraints
mlir::FlatLinearConstraints::projectOut(unsigned pos, unsigned num)mlir::presburger::IntegerRelation
mlir::FlatLinearConstraints::projectOut(unsigned pos)mlir::presburger::IntegerRelationinline
removeDuplicateConstraints()mlir::presburger::IntegerRelationprotected
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::IntegerRelationprotected
removeTrivialEqualities()mlir::presburger::IntegerRelation
removeTrivialRedundancy()mlir::presburger::IntegerRelation
removeVar(VarKind kind, unsigned pos)mlir::presburger::IntegerRelation
removeVar(unsigned pos)mlir::presburger::IntegerRelation
removeVarRange(presburger::VarKind kind, unsigned varStart, unsigned varLimit) overridemlir::FlatLinearValueConstraintsvirtual
mlir::FlatLinearConstraints::removeVarRange(unsigned varStart, unsigned varLimit)mlir::presburger::IntegerRelationprotected
resetIds()mlir::presburger::IntegerRelationinline
setAndEliminate(unsigned pos, ArrayRef< DynamicAPInt > values)mlir::presburger::IntegerRelation
setAndEliminate(unsigned pos, ArrayRef< int64_t > values)mlir::presburger::IntegerRelationinline
setDimSymbolSeparation(unsigned newSymbolCount)mlir::presburger::IntegerRelationinline
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::FlatLinearValueConstraintsinline
setValues(unsigned start, unsigned end, ArrayRef< Value > values)mlir::FlatLinearValueConstraintsinline
simplify()mlir::presburger::IntegerRelation
spacemlir::presburger::IntegerRelationprotected
subtract(const PresburgerSet &other) constmlir::presburger::IntegerPolyhedron
mlir::presburger::IntegerRelation::subtract(const PresburgerRelation &set) constmlir::presburger::IntegerRelation
swapVar(unsigned posA, unsigned posB)mlir::presburger::IntegerRelationvirtual
truncate(const CountsSnapshot &counts)mlir::presburger::IntegerRelation
truncateVarKind(VarKind kind, unsigned num)mlir::presburger::IntegerRelationprotected
truncateVarKind(VarKind kind, const CountsSnapshot &counts)mlir::presburger::IntegerRelationprotected
unionBoundingBox(const FlatLinearValueConstraints &other)mlir::FlatLinearValueConstraints
mlir::FlatLinearConstraints::unionBoundingBox(const IntegerRelation &other)mlir::presburger::IntegerRelation
VarKind typedefmlir::FlatLinearConstraintsprotected
~IntegerRelation()=defaultmlir::presburger::IntegerRelationvirtual