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@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
