Home
last modified time | relevance | path

Searched refs:positive_divisor (Results 1 – 1 of 1) sorted by relevance

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dinteger.h84 IntegerValue positive_divisor) { in CeilRatio() argument
85 DCHECK_GT(positive_divisor, 0); in CeilRatio()
86 const IntegerValue result = dividend / positive_divisor; in CeilRatio()
88 static_cast<IntegerValue>(result * positive_divisor < dividend); in CeilRatio()
93 IntegerValue positive_divisor) { in FloorRatio() argument
94 DCHECK_GT(positive_divisor, 0); in FloorRatio()
95 const IntegerValue result = dividend / positive_divisor; in FloorRatio()
97 static_cast<IntegerValue>(result * positive_divisor > dividend); in FloorRatio()
109 DCHECK_GT(positive_divisor, 0); in PositiveRemainder()
110 const IntegerValue m = dividend % positive_divisor; in PositiveRemainder()
[all …]