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