Filip, can you then also take into account my last messgae? Cheers Christian
-- Christian Schulte, www.ict.kth.se/~cschulte/ -----Original Message----- From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Filip Konvicka Sent: Thursday, October 30, 2008 3:56 PM To: [EMAIL PROTECTED] Subject: Re: [gecode-users] Reporting memory usage > I agree, it would be nice to have such thing in gecode. I have been > using an implementation of such allocator (attached to this mail). It > would be nice if we can discuss and improve it. I got this > implementation from Stéphane Zampelli. Thanks! That seems like something I had in mind. I'll try it out, maybe fix a couple of things (I'll try to walk through the C++ standard regarding allocators), move out of the ::std namespace (why is it there?) and re-post back here for more discussions. Cheers, Filip _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
