[gecode-users] Propagator for Set Constraint

[Amina Kemmar]

Hi everybody,

I am implementing a propagator over an array of SetView: x[0], x[1], 
....x[n]. The propagate function is executed only if a variable is 
assigned. For example, if the domain of x[0] is [{} .. {1,2,3,4}], when 
x[0] is assigned to {1}, the value "2" and "4" must be deleted from the 
domain of x[0] to avoid the enumeration of x[0]={1,2} and x[0]={1,4}, 
How can I apply this filtering rule?

Thanks for your help.
---
Amina.