[gecode-users] Reducing a view domain during propagation

Mailing List Email mailinglistx at gmail.com
Wed Jun 19 19:23:12 CEST 2013


Try x1.le(max(s)), x1.ge(min(s)) for domain consistency.
On 19 Jun 2013 19:17, "Amina Kemmar" <kemmar.amina at 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 at gecode.org
> https://www.gecode.org/**mailman/listinfo/gecode-users<https://www.gecode.org/mailman/listinfo/gecode-users>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20130619/7b626d81/attachment.html>


More information about the users mailing list