Function expr

gecode/minimodel/int-expr.cpp:914–921

  IntVar
  expr(Home home, const LinIntExpr& e, const IntPropLevels& ipls) {
    PostInfo pi(home);
    if (!home.failed())
      return e.post(home,ipls);
    IntVar x(home,Int::Limits::min,Int::Limits::max);
    return x;
  }

}