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:[email protected]> [email protected]
Expert Researcher, SICS, <mailto:[email protected]> [email protected]
From: [email protected] [mailto:[email protected]] On Behalf Of
Zhu Zichen's cse
Sent: Tuesday, September 29, 2015 05:43 AM
To: [email protected]
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
_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
