Function expr

gecode/minimodel/set-expr.cpp:836–843

* Posting set expressions * */

   *
   */
  SetVar
  expr(Home home, const SetExpr& e) {
    PostInfo pi(home);
    if (!home.failed())
      return e.post(home);
    SetVar x(home,IntSet::empty,IntSet::empty);
    return x;
  }

}