[gecode-users] Propagator for Set Constraint

[Christian Schulte]

Sorry, but your question is really too unspecific for an answer. Did you
read the part in MPG on set propagators? Cheers Christian

--
Christian Schulte, www.gecode.org/~schulte 
Professor of Computer Science, KTH, cschulte at kth.se
Expert Researcher, SICS, cschulte at sics.se


-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Amina Kemmar
Sent: Saturday, January 16, 2016 02:57 PM
To: users at gecode.org
Subject: [gecode-users] Propagator for Set Constraint

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.

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