[gecode-users] Reducing a view domain during propagation

[Mailing List Email]

Sorry, that's bounds consistency.
On 19 Jun 2013 19:23, "Mailing List Email" <mailinglistx at gmail.com> wrote:

> 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/6521ed4f/attachment.html>