Hello,
I got a problem about alloc memory from heap and the stats of Peak
Memory.
I write a Shared Object and handles, and use heap.alloc<T>(n) to
alloc memory for the shared object's distributes. I changed the value of n, and
the peak Memory is always the same.
It seems that the memory allocated from heap are not added into the
Peak Memory's stats, why is that?
Thank a lot!
XW.
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
