Sorry, that's bounds consistency. On 19 Jun 2013 19:23, "Mailing List Email" <[email protected]> wrote:
> 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
