Function dom

gecode/int/dom.cpp:40–47

namespace Gecode {

  void
  dom(Home home, IntVar x, int n, IntPropLevel) {
    using namespace Int;
    Limits::check(n,"Int::dom");
    GECODE_POST;
    IntView xv(x);
    GECODE_ME_FAIL(xv.eq(home,n));
  }

  void
  dom(Home home, const IntVarArgs& x, int n, IntPropLevel) {