| 297 | namespace Gecode { |
| 298 | |
| 299 | LinIntExpr |
| 300 | abs(const LinIntExpr& e) { |
| 301 | using namespace MiniModel; |
| 302 | if (hasType(e, ArithNonLinIntExpr::ANLE_ABS)) |
| 303 | return e; |
| 304 | ArithNonLinIntExpr* ae = |
| 305 | new ArithNonLinIntExpr(ArithNonLinIntExpr::ANLE_ABS,1); |
| 306 | ae->a[0] = e; |
| 307 | return LinIntExpr(ae); |
| 308 | } |
| 309 | |
| 310 | LinIntExpr |
| 311 | min(const LinIntExpr& e0, const LinIntExpr& e1) { |
no test coverage detected