MLIR  19.0.0git
mlir::presburger::IntegerPolyhedron Member List

This is the complete list of members for mlir::presburger::IntegerPolyhedron, including all inherited members.

addBound(BoundType type, unsigned pos, const MPInt &value)mlir::presburger::IntegerRelation
addBound(BoundType type, unsigned pos, int64_t value)mlir::presburger::IntegerRelationinline
addBound(BoundType type, ArrayRef< MPInt > expr, const MPInt &value)mlir::presburger::IntegerRelation
addBound(BoundType type, ArrayRef< int64_t > expr, int64_t value)mlir::presburger::IntegerRelationinline
addEquality(ArrayRef< MPInt > eq)mlir::presburger::IntegerRelation
addEquality(ArrayRef< int64_t > eq)mlir::presburger::IntegerRelationinline
addInequality(ArrayRef< MPInt > inEq)mlir::presburger::IntegerRelation
addInequality(ArrayRef< int64_t > inEq)mlir::presburger::IntegerRelationinline
addLocalFloorDiv(ArrayRef< MPInt > dividend, const MPInt &divisor)mlir::presburger::IntegerRelation
addLocalFloorDiv(ArrayRef< int64_t > dividend, int64_t divisor)mlir::presburger::IntegerRelationinline
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) 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::presburger::IntegerPolyhedroninlinestatic
clearAndCopyFrom(const IntegerRelation &other)mlir::presburger::IntegerRelationvirtual
clearConstraints()mlir::presburger::IntegerRelation
clone() constmlir::presburger::IntegerPolyhedron
compose(const IntegerRelation &rel)mlir::presburger::IntegerRelation
computeConstantLowerOrUpperBound(unsigned pos)mlir::presburger::IntegerRelationprotected
computeConstantLowerOrUpperBound64(unsigned pos)mlir::presburger::IntegerRelationinlineprotected
computeReprWithOnlyDivLocals() constmlir::presburger::IntegerRelation
computeVolume() constmlir::presburger::IntegerRelation
constantFoldVar(unsigned pos)mlir::presburger::IntegerRelation
constantFoldVarRange(unsigned pos, unsigned num)mlir::presburger::IntegerRelation
containsPoint(ArrayRef< MPInt > point) constmlir::presburger::IntegerRelation
containsPoint(ArrayRef< int64_t > point) constmlir::presburger::IntegerRelationinline
containsPointNoLocal(ArrayRef< MPInt > point) constmlir::presburger::IntegerRelation
containsPointNoLocal(ArrayRef< int64_t > point) constmlir::presburger::IntegerRelationinline
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
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
getBoundedDirections() constmlir::presburger::IntegerRelation
getConstantBound(BoundType type, unsigned pos) constmlir::presburger::IntegerRelation
getConstantBound64(BoundType type, unsigned pos) constmlir::presburger::IntegerRelationinline
getConstantBoundOnDimSize(unsigned pos, SmallVectorImpl< MPInt > *lb=nullptr, MPInt *boundFloorDivisor=nullptr, SmallVectorImpl< MPInt > *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
getInequalities() constmlir::presburger::IntegerRelationinline
getInequality(unsigned idx) constmlir::presburger::IntegerRelationinline
getInequality64(unsigned idx) constmlir::presburger::IntegerRelationinline
getKind() const overridemlir::presburger::IntegerPolyhedroninlinevirtual
getLocalReprs(std::vector< MaybeLocalRepr > *repr=nullptr) constmlir::presburger::IntegerRelation
getLowerAndUpperBoundIndices(unsigned pos, SmallVectorImpl< unsigned > *lbIndices, SmallVectorImpl< unsigned > *ubIndices, SmallVectorImpl< unsigned > *eqIndices=nullptr, unsigned offset=0, unsigned num=0) constmlir::presburger::IntegerRelation
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
getSpace() constmlir::presburger::IntegerRelationinline
getSpaceWithoutLocals() constmlir::presburger::IntegerRelationinline
getUniverse(const PresburgerSpace &space)mlir::presburger::IntegerPolyhedroninlinestatic
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
inequalitiesmlir::presburger::IntegerRelationprotected
insertVar(VarKind kind, unsigned pos, unsigned num=1) overridemlir::presburger::IntegerPolyhedronvirtual
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
mergeLocalVars(IntegerRelation &other)mlir::presburger::IntegerRelation
normalizeConstraintsByGCD()mlir::presburger::IntegerRelationprotected
print(raw_ostream &os) constmlir::presburger::IntegerRelation
printSpace(raw_ostream &os) constmlir::presburger::IntegerRelationprotectedvirtual
projectOut(unsigned pos, unsigned num)mlir::presburger::IntegerRelation
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(VarKind kind, unsigned varStart, unsigned varLimit)mlir::presburger::IntegerRelationvirtual
removeVarRange(unsigned varStart, unsigned varLimit)mlir::presburger::IntegerRelationprotected
setAndEliminate(unsigned pos, ArrayRef< MPInt > 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
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 IntegerRelation &other)mlir::presburger::IntegerRelation
~IntegerRelation()=defaultmlir::presburger::IntegerRelationvirtual