[gecode-users] Subscription of variables during copying of propagators

[Zhu Zichen's cse]

Dear all,

I am wondering how the variables are subscribed during copying of
propagators? Could you tell me the exact code that does such things in
Gecode? Is it defined in the _clone() of Space? And how does it work?


Many thanks!

Regards,
Zoe
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20150929/c05c8d54/attachment.html>