[gecode-users] Reducing a view domain during propagation

[Christian Schulte]

Read Chapter 25 in MPG and then you will have to implement a Gecode-style
iterator that iterates over the values of set<int>.

 

Best

Christian

 

--

Christian Schulte, www.ict.kth.se/~cschulte/

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Mailing List Email
Sent: Wednesday, June 19, 2013 7:49 PM
To: Amina Kemmar
Cc: users at gecode.org
Subject: Re: [gecode-users] Reducing a view domain during propagation

 

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20130619/699ea6e8/attachment.html>