Hi,
Please look to the constraint post function of any other propagator, there you will see how to create a corresponding view array. Or check MPG. Cheers Christian -- Christian Schulte, KTH, web.it.kth.se/~cschulte/ From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Amina Kemmar Sent: Monday, June 23, 2014 10:34 AM To: users@gecode.org Subject: [gecode-users] Reification of the extensional constraint 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.
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
