Function values

gecode/minimodel/aliases.hpp:142–147

  }

  inline void
  values(Home home, const IntVarArgs& x, IntSet y,
         IntPropLevel ipl) {
    dom(home,x,y,ipl);
    nvalues(home,x,IRT_EQ,static_cast<int>(y.size()),ipl);
  }

#ifdef GECODE_HAS_SET_VARS