[gecode-users] Reification of the extensional constraint

[Amina Kemmar]

Hi all,

I want to implement a half reification for the constraint /Extensional/, 
so to propagate the constraint when b=1, I must call the method 
*Gecode::Int::Extensional::post_lgp(home,x,dfa)*, such that *x* is of 
type *VarArgArray<IntVar>*, the propagate function handles on views 
(ViewArray<IntView>), how can I update x, in order to be filtered by the 
function *Gecode::Int::Extensional::post_lgp?

*/Thanks/*/./*
---
Amina Kemmar.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20140623/0a1b6843/attachment.html>