Function expr

gecode/minimodel/float-expr.cpp:555–562

  }

  FloatVar
  expr(Home home, const LinFloatExpr& e) {
    PostInfo pi(home);
    if (!home.failed())
      return e.post(home);
    FloatVar x(home,Float::Limits::min,Float::Limits::max);
    return x;
  }

}