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-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf
Of Mailing List Email
Sent: Wednesday, June 19, 2013 7:49 PM
To: Amina Kemmar
Cc: users@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" <mailingli...@gmail.com> wrote:

Try x1.le(max(s)), x1.ge(min(s)) for domain consistency.

On 19 Jun 2013 19:17, "Amina Kemmar" <kemmar.am...@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@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users

_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users

Reply via email to