diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-29 12:34:32 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-29 12:34:32 -0700 |
commit | 8a2d237f788d7650694efa5dead2cb09a75010ee (patch) | |
tree | 00cdf97aba108cda41a5fec10cd0275042356ac2 /src/misc/vec/vecWrd.h | |
parent | e8d690f2a4c9abde54bb248a97c0c619b187f238 (diff) | |
download | abc-8a2d237f788d7650694efa5dead2cb09a75010ee.tar.gz abc-8a2d237f788d7650694efa5dead2cb09a75010ee.tar.bz2 abc-8a2d237f788d7650694efa5dead2cb09a75010ee.zip |
Adding memory reporting to vectors.
Diffstat (limited to 'src/misc/vec/vecWrd.h')
-rw-r--r-- | src/misc/vec/vecWrd.h | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/misc/vec/vecWrd.h b/src/misc/vec/vecWrd.h index 97296401..86985266 100644 --- a/src/misc/vec/vecWrd.h +++ b/src/misc/vec/vecWrd.h @@ -361,6 +361,22 @@ static inline int Vec_WrdCap( Vec_Wrd_t * p ) SeeAlso [] ***********************************************************************/ +static inline double Vec_WrdMemory( Vec_Wrd_t * p ) +{ + return !p ? 0.0 : 1.0 * sizeof(word) * p->nCap + sizeof(Vec_Wrd_t); +} + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ static inline word Vec_WrdEntry( Vec_Wrd_t * p, int i ) { assert( i >= 0 && i < p->nSize ); |