Searched refs:isRangeDivisibleBy (Results 1 – 1 of 1) sorted by relevance
353 static bool isRangeDivisibleBy(ArrayRef<int64_t> range, int64_t divisor) { in isRangeDivisibleBy() function361 isRangeDivisibleBy(tableau.getRow(row).slice(3, nSymbol), denom); in isSymbolicSampleIntegral()399 if (isRangeDivisibleBy(tableau.getRow(row).slice(3, nSymbol), d)) { in addSymbolicCut()