Sorry, that's bounds consistency. On 19 Jun 2013 19:23, "Mailing List Email" <mailingli...@gmail.com> wrote:
> Try x1.le(max(s)), x1.ge(min(s)) for domain consistency. > On 19 Jun 2013 19:17, "Amina Kemmar" <kemmar.am...@gmail.com> wrote: > >> Hi, >> >> In my propagate function that I implemented, I want to reduce the domain >> of an IntView x1 to a fix set of values given by the strucure set<int> s, >> how can I do this? >> >> Thank you for your help. >> Regards. >> >> >> ______________________________**_________________ >> Gecode users mailing list >> users@gecode.org >> https://www.gecode.org/**mailman/listinfo/gecode-users<https://www.gecode.org/mailman/listinfo/gecode-users> >> >
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
