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
