| 822 | } |
| 823 | |
| 824 | LinIntExpr |
| 825 | operator *(int a, const IntVar& x) { |
| 826 | if (a == 0) |
| 827 | return LinIntExpr(0); |
| 828 | else if (x.assigned() && |
| 829 | Int::Limits::valid(static_cast<long long int>(a)*x.val())) |
| 830 | return LinIntExpr(a*x.val()); |
| 831 | else |
| 832 | return LinIntExpr(x,a); |
| 833 | } |
| 834 | LinIntExpr |
| 835 | operator *(int a, const BoolVar& x) { |
| 836 | if (a == 0) |
nothing calls this directly
no test coverage detected