Searched refs:makeSetFromConstraints (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/ |
| H A D | IntegerPolyhedronTest.cpp | 29 makeSetFromConstraints(unsigned ids, ArrayRef<SmallVector<int64_t, 4>> ineqs, in makeSetFromConstraints() function
126 makeSetFromConstraints(nDim, permutedIneqs, permutedEqs), fn); in checkPermutationsSample()
132 makeSetFromConstraints(1, {{0, 0}, {1, 1}, {2, 2}, {3, 3}, {4, 4}}, {}); in TEST()
151 makeSetFromConstraints(1, {}, {{0, 0}, {1, 1}, {2, 2}, {3, 3}, {4, 4}}); in TEST()
169 IntegerPolyhedron set = makeSetFromConstraints(1, {}, {}); in TEST()
|