| 694 | } |
| 695 | |
| 696 | LinIntExpr |
| 697 | operator -(int c, const IntVar& x) { |
| 698 | if (x.assigned() && |
| 699 | Int::Limits::valid(static_cast<long long int>(c)-x.val())) |
| 700 | return LinIntExpr(c-x.val()); |
| 701 | else |
| 702 | return LinIntExpr(x,LinIntExpr::NT_SUB,c); |
| 703 | } |
| 704 | LinIntExpr |
| 705 | operator -(int c, const BoolVar& x) { |
| 706 | if (x.assigned() && |
nothing calls this directly
no test coverage detected