Searched defs:unionInPlace (Results 1 – 1 of 1) sorted by relevance
| /llvm-project/mlir/lib/Analysis/Presburger/ | ||
| H A D | PresburgerRelation.cpp | 80 void PresburgerRelation::unionInPlace(const IntegerRelation &disjunct) { in unionInPlace() function in PresburgerRelation |