Searched refs:polyStr (Results 1 – 1 of 1) sorted by relevance
1161 StringRef polyStr, in expectSymbolicIntegerLexMin() argument1165 IntegerPolyhedron poly = parsePoly(polyStr); in expectSymbolicIntegerLexMin()1194 StringRef polyStr, in expectSymbolicIntegerLexMin() argument1197 expectSymbolicIntegerLexMin(polyStr, result, {}); in expectSymbolicIntegerLexMin()