| 325 | namespace Gecode { |
| 326 | |
| 327 | LinFloatExpr |
| 328 | abs(const LinFloatExpr& e) { |
| 329 | using namespace MiniModel; |
| 330 | if (hasType(e, ArithNonLinFloatExpr::ANLFE_ABS)) |
| 331 | return e; |
| 332 | ArithNonLinFloatExpr* ae = |
| 333 | new ArithNonLinFloatExpr(ArithNonLinFloatExpr::ANLFE_ABS,1); |
| 334 | ae->a[0] = e; |
| 335 | return LinFloatExpr(ae); |
| 336 | } |
| 337 | |
| 338 | LinFloatExpr |
| 339 | min(const LinFloatExpr& e0, const LinFloatExpr& e1) { |
no test coverage detected