[gecode-users] Reducing a view domain during propagation

[Amina Kemmar]

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.