next up previous contents index
Next: Tabling Up: Memory Management Previous: Memory allocation   Contents   Index

Statistics

The user can get statistics about memory consumptions by using statistics/0 or statistics/2.



Neng-Fa Zhou
1999-11-24