Hello,
After trying to allocate memory for a boost data structure from a gecode
space we got an error regarding a missing assignment operator in the
allocator code. We don't know if this method is actually needed by more data
structures or not but we think the code fixing the problem is quite simple
and probably you could include it. Attached to this mail you will find the
small patch.
Regards,
--
Gustavo
Index: gecode/kernel/allocators.hpp
===================================================================
--- gecode/kernel/allocators.hpp (revision 10102)
+++ gecode/kernel/allocators.hpp (working copy)
@@ -205,6 +205,14 @@
*/
space_allocator(space_allocator const& al) throw() : space(al.space) {}
/**
+ * \brief Assignement operator
+ * @param al The allocator to assign
+ */
+ space_allocator& operator=(space_allocator const& al) {
+ assert (&space == &(al.space));
+ return *this;
+ }
+ /**
* \brief Copy from other instantiation
* @param al The source allocator.
*/
_______________________________________________
Gecode users mailing list
us...@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
