diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-20 18:56:26 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-20 18:56:26 -0700 |
commit | 6df122bda6a48ab61a27989b73027d617e0db626 (patch) | |
tree | 58be86f8bb5453efdc71562a3786b85780565852 /src/aig/gia/giaHash.c | |
parent | 6c9b59bfc06d3ae8e9d3b40cc4dd4bb401eb2084 (diff) | |
download | abc-6df122bda6a48ab61a27989b73027d617e0db626.tar.gz abc-6df122bda6a48ab61a27989b73027d617e0db626.tar.bz2 abc-6df122bda6a48ab61a27989b73027d617e0db626.zip |
Updated code for lazy man's synthesis (memory optimization).
Diffstat (limited to 'src/aig/gia/giaHash.c')
-rw-r--r-- | src/aig/gia/giaHash.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaHash.c b/src/aig/gia/giaHash.c index 61f73705..7167de39 100644 --- a/src/aig/gia/giaHash.c +++ b/src/aig/gia/giaHash.c @@ -109,7 +109,7 @@ int Gia_ManHashLookup( Gia_Man_t * p, Gia_Obj_t * p0, Gia_Obj_t * p1 ) void Gia_ManHashAlloc( Gia_Man_t * p ) { assert( p->pHTable == NULL ); - p->nHTable = Abc_PrimeCudd( p->nObjsAlloc ); + p->nHTable = Abc_PrimeCudd( Gia_ManAndNum(p) ? Gia_ManAndNum(p) + 1000 : p->nObjsAlloc ); p->pHTable = ABC_CALLOC( int, p->nHTable ); } |