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

[Christian Schulte]

Hi Zoe,

 

Please consult Guido’s dissertation:

                <http://www.csse.monash.edu/~guidot/publication-details.php?key=tack:2009:1:constraint> http://www.csse.monash.edu/~guidot/publication-details.php?key=tack:2009:1:constraint

 

Cheers

Christian

 

--

Christian Schulte,  <http://www.gecode.org/~schulte> www.gecode.org/~schulte 

Professor of Computer Science, KTH,  <mailto:cschulte at kth.se> cschulte at kth.se

Expert Researcher, SICS,  <mailto:cschulte at sics.se> 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/f388fb64/attachment.html>