Function min

gecode/set/int.cpp:228–232

  }

  void
  min(Home home, SetVar s, IntVar x) {
    GECODE_POST;
    GECODE_ES_FAIL(Set::Int::MinElement<Set::SetView>::post(home,s,x));
  }

  void
  notMin(Home home, SetVar s, IntVar x) {