MLIR  17.0.0git
mlir::presburger::PresburgerSet Member List

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

coalesce() constmlir::presburger::PresburgerSet
complement() constmlir::presburger::PresburgerSet
computeReprWithOnlyDivLocals() constmlir::presburger::PresburgerRelation
computeVolume() constmlir::presburger::PresburgerRelation
containsPoint(ArrayRef< MPInt > point) constmlir::presburger::PresburgerRelation
containsPoint(ArrayRef< int64_t > point) constmlir::presburger::PresburgerRelationinline
disjunctsmlir::presburger::PresburgerRelationprotected
dump() constmlir::presburger::PresburgerRelation
findIntegerSample(SmallVectorImpl< MPInt > &sample)mlir::presburger::PresburgerRelation
getAllDisjuncts() constmlir::presburger::PresburgerRelation
getDisjunct(unsigned index) constmlir::presburger::PresburgerRelation
getEmpty(const PresburgerSpace &space)mlir::presburger::PresburgerSetstatic
getNumDisjuncts() constmlir::presburger::PresburgerRelation
getNumDomainVars() constmlir::presburger::PresburgerRelationinline
getNumLocalVars() constmlir::presburger::PresburgerRelationinline
getNumRangeVars() constmlir::presburger::PresburgerRelationinline
getNumSymbolVars() constmlir::presburger::PresburgerRelationinline
getNumVars() constmlir::presburger::PresburgerRelationinline
getSpace() constmlir::presburger::PresburgerRelationinline
getUniverse(const PresburgerSpace &space)mlir::presburger::PresburgerSetstatic
hasOnlyDivLocals() constmlir::presburger::PresburgerRelation
intersect(const PresburgerRelation &set) constmlir::presburger::PresburgerSet
isEqual(const PresburgerRelation &set) constmlir::presburger::PresburgerRelation
isIntegerEmpty() constmlir::presburger::PresburgerRelation
isSubsetOf(const PresburgerRelation &set) constmlir::presburger::PresburgerRelation
PresburgerRelation(const IntegerRelation &disjunct)mlir::presburger::PresburgerRelationexplicit
PresburgerRelation(const PresburgerSpace &space)mlir::presburger::PresburgerRelationinlineexplicitprotected
PresburgerSet(const IntegerPolyhedron &disjunct)mlir::presburger::PresburgerSetexplicit
PresburgerSet(const PresburgerRelation &set)mlir::presburger::PresburgerSetexplicit
PresburgerSet(const PresburgerSpace &space)mlir::presburger::PresburgerSetinlineexplicitprotected
print(raw_ostream &os) constmlir::presburger::PresburgerRelation
setSpace(const PresburgerSpace &oSpace)mlir::presburger::PresburgerRelation
spacemlir::presburger::PresburgerRelationprotected
subtract(const PresburgerRelation &set) constmlir::presburger::PresburgerSet
unionInPlace(const IntegerRelation &disjunct)mlir::presburger::PresburgerRelation
unionInPlace(const PresburgerRelation &set)mlir::presburger::PresburgerRelation
unionSet(const PresburgerRelation &set) constmlir::presburger::PresburgerSet
Generated on Wed Mar 29 2023 04:35:06 for MLIR by doxygen 1.9.1