diff options
Diffstat (limited to 'src/aig/gia/giaMan.c')
| -rw-r--r-- | src/aig/gia/giaMan.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index c4da925e..f88feb8d 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -163,6 +163,13 @@ double Gia_ManMemory( Gia_Man_t * p ) Memory += sizeof(int) * Gia_ManCoNum(p); Memory += sizeof(int) * p->nHTable * (p->pHTable != NULL); Memory += sizeof(int) * Gia_ManObjNum(p) * (p->pRefs != NULL); + Memory += Vec_IntMemory( p->vLevels ); + Memory += Vec_IntMemory( p->vCellMapping ); + Memory += Vec_IntMemory( &p->vCopies ); + Memory += Vec_FltMemory( p->vInArrs ); + Memory += Vec_FltMemory( p->vOutReqs ); + Memory += Vec_PtrMemory( p->vNamesIn ); + Memory += Vec_PtrMemory( p->vNamesOut ); return Memory; } |