Function max

gecode/set/int.cpp:260–264

  }

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

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