Searched refs:subtractRecursively (Results 1 – 1 of 1) sorted by relevance
| /external/llvm-project/mlir/lib/Analysis/ |
| D | PresburgerSet.cpp | 165 static void subtractRecursively(FlatAffineConstraints &b, Simplex &simplex, in subtractRecursively() function
180 subtractRecursively(b, simplex, s, i + 1, result); in subtractRecursively()
201 subtractRecursively(b, simplex, s, i + 1, result); in subtractRecursively()
263 subtractRecursively(fac, simplex, set, 0, result); in getSetDifference()
|