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

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

applyDomain(const PresburgerRelation &rel)mlir::presburger::PresburgerRelation
applyRange(const PresburgerRelation &rel)mlir::presburger::PresburgerRelation
coalesce() constmlir::presburger::PresburgerRelation
complement() constmlir::presburger::PresburgerRelation
compose(const PresburgerRelation &rel)mlir::presburger::PresburgerRelation
computeReprWithOnlyDivLocals() constmlir::presburger::PresburgerRelation
computeVolume() constmlir::presburger::PresburgerRelation
containsPoint(ArrayRef< MPInt > point) constmlir::presburger::PresburgerRelation
containsPoint(ArrayRef< int64_t > point) constmlir::presburger::PresburgerRelationinline
convertVarKind(VarKind srcKind, unsigned srcPos, unsigned num, VarKind dstKind, unsigned dstPos)mlir::presburger::PresburgerRelation
disjunctsmlir::presburger::PresburgerRelationprotected
dump() constmlir::presburger::PresburgerRelation
findIntegerSample(SmallVectorImpl< MPInt > &sample)mlir::presburger::PresburgerRelation
findSymbolicIntegerLexMax() constmlir::presburger::PresburgerRelation
findSymbolicIntegerLexMin() constmlir::presburger::PresburgerRelation
getAllDisjuncts() constmlir::presburger::PresburgerRelation
getDisjunct(unsigned index) constmlir::presburger::PresburgerRelation
getDomainSet() constmlir::presburger::PresburgerRelation
getEmpty(const PresburgerSpace &space)mlir::presburger::PresburgerRelationstatic
getNumDisjuncts() constmlir::presburger::PresburgerRelation
getNumDomainVars() constmlir::presburger::PresburgerRelationinline
getNumLocalVars() constmlir::presburger::PresburgerRelationinline
getNumRangeVars() constmlir::presburger::PresburgerRelationinline
getNumSymbolVars() constmlir::presburger::PresburgerRelationinline
getNumVars() constmlir::presburger::PresburgerRelationinline
getRangeSet() constmlir::presburger::PresburgerRelation
getSpace() constmlir::presburger::PresburgerRelationinline
getUniverse(const PresburgerSpace &space)mlir::presburger::PresburgerRelationstatic
hasOnlyDivLocals() constmlir::presburger::PresburgerRelation
insertVarInPlace(VarKind kind, unsigned pos, unsigned num=1)mlir::presburger::PresburgerRelation
intersect(const PresburgerRelation &set) constmlir::presburger::PresburgerRelation
intersectDomain(const PresburgerSet &set) constmlir::presburger::PresburgerRelation
intersectRange(const PresburgerSet &set) constmlir::presburger::PresburgerRelation
inverse()mlir::presburger::PresburgerRelation
isConvexNoLocals() constmlir::presburger::PresburgerRelation
isEqual(const PresburgerRelation &set) constmlir::presburger::PresburgerRelation
isFullDim() constmlir::presburger::PresburgerRelation
isIntegerEmpty() constmlir::presburger::PresburgerRelation
isObviouslyEmpty() constmlir::presburger::PresburgerRelation
isObviouslyEqual(const PresburgerRelation &set) constmlir::presburger::PresburgerRelation
isObviouslyUniverse() constmlir::presburger::PresburgerRelation
isSubsetOf(const PresburgerRelation &set) constmlir::presburger::PresburgerRelation
PresburgerRelation(const IntegerRelation &disjunct)mlir::presburger::PresburgerRelationexplicit
PresburgerRelation(const PresburgerSpace &space)mlir::presburger::PresburgerRelationinlineexplicitprotected
print(raw_ostream &os) constmlir::presburger::PresburgerRelation
SetCoalescer classmlir::presburger::PresburgerRelationfriend
setSpace(const PresburgerSpace &oSpace)mlir::presburger::PresburgerRelation
simplify() constmlir::presburger::PresburgerRelation
spacemlir::presburger::PresburgerRelationprotected
subtract(const PresburgerRelation &set) constmlir::presburger::PresburgerRelation
unionInPlace(const IntegerRelation &disjunct)mlir::presburger::PresburgerRelation
unionInPlace(const PresburgerRelation &set)mlir::presburger::PresburgerRelation
unionSet(const PresburgerRelation &set) constmlir::presburger::PresburgerRelation
Generated on Thu Apr 25 2024 20:27:39 for MLIR by doxygen 1.9.1