Try x1.le(max(s)), x1.ge(min(s)) for domain consistency. On 19 Jun 2013 19:17, "Amina Kemmar" <[email protected]> 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 > [email protected] > https://www.gecode.org/**mailman/listinfo/gecode-users<https://www.gecode.org/mailman/listinfo/gecode-users> >
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
