[gecode-users] Reporting memory usage
Christian Schulte
cschulte at kth.se
Thu Oct 30 15:57:53 CET 2008
Filip, can you then also take into account my last messgae?
Cheers
Christian
--
Christian Schulte, www.ict.kth.se/~cschulte/
-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf Of Filip Konvicka
Sent: Thursday, October 30, 2008 3:56 PM
To: users at gecode.org
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
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
More information about the gecode-users
mailing list