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
