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
_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
