Searched refs:normalizeRange (Results 1 – 4 of 4) sorted by relevance
241 int64_t normalizeRange(MutableArrayRef<int64_t> range);
220 return normalizeRange(getRow(row).slice(0, cols)); in normalizeRow()
326 int64_t presburger::normalizeRange(MutableArrayRef<int64_t> range) { in normalizeRange() function in presburger
342 normalizeRange(sample); in getSymbolicSampleIneq()636 normalizeRange(splitIneq); in computeSymbolicIntegerLexMin()