[gecode-users] Thread-safe space copying

[Jérémie Vautard]

Hi all,

I have several threads that might clone a same Gecode::Space object  
at the same time. Is the Space.clone(...) method thread safe, or  
should I ensure that it is never concurently called ?

Cheers,


-- 
Jérémie Vautard
Doctorant/Ph-D Student
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
Batiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2
Tel: (+33) 02 38 49 48 57
Cell: (+33) 06 65 11 51 7(
http://www.univ-orleans.fr/lifo/Membres/vautard

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20090529/e9165827/attachment.htm>