| 37 | NonLinIntExpr::~NonLinIntExpr(void) {} |
| 38 | |
| 39 | forceinline IntVar |
| 40 | NonLinIntExpr::result(Home home, IntVar* x) { |
| 41 | if (x == nullptr) |
| 42 | return IntVar(home,Int::Limits::min,Int::Limits::max); |
| 43 | return *x; |
| 44 | } |
| 45 | forceinline IntVar |
| 46 | NonLinIntExpr::result(Home home, IntVar* x, IntVar y) { |
| 47 | if (x != nullptr) |