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

[Zhu Zichen's cse]

Dear Christian and Guido,

Thanks very much. It helps a lot.

Regards,
Zoe

On Tue, Sep 29, 2015 at 8:53 PM, Christian Schulte <cschulte at kth.se> wrote:

> Hi Zoe,
>
>
>
> Please consult Guido’s dissertation:
>
>
> http://www.csse.monash.edu/~guidot/publication-details.php?key=tack:2009:1:constraint
>
>
>
> Cheers
>
> Christian
>
>
>
> --
>
> Christian Schulte, www.gecode.org/~schulte
>
> Professor of Computer Science, KTH, cschulte at kth.se
>
> Expert Researcher, SICS, cschulte at sics.se
>
>
>
> *From:* users-bounces at gecode.org [mailto:users-bounces at gecode.org] *On
> Behalf Of *Zhu Zichen's cse
> *Sent:* Tuesday, September 29, 2015 05:43 AM
> *To:* users at gecode.org
> *Subject:* [gecode-users] Subscription of variables during copying of
> propagators
>
>
>
> 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/c51a9b77/attachment.html>