From d85bc1dd68afa94ad4625cfae3f59e5211253111 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 13 Nov 2017 18:50:04 -0800 Subject: Changes to make GIA structural hashing use a dedicated array instead of pObj->Value. --- src/base/abci/abcRec3.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/base/abci/abcRec3.c') diff --git a/src/base/abci/abcRec3.c b/src/base/abci/abcRec3.c index 6d2d58eb..43da4839 100644 --- a/src/base/abci/abcRec3.c +++ b/src/base/abci/abcRec3.c @@ -585,7 +585,7 @@ void Abc_NtkRecLibMerge3( Gia_Man_t * pLib ) assert( Gia_ManCiNum(pLib) == Gia_ManCiNum(pGia) ); // create hash table if not available - if ( pGia->pHTable == NULL ) + if ( Vec_IntSize(&pGia->vHTable) == 0 ) Gia_ManHashStart( pGia ); // add AIG subgraphs @@ -841,7 +841,7 @@ void Abc_NtkRecAdd3( Abc_Ntk_t * pNtk, int fUseSOPB ) // remember that the manager was used for library construction s_pMan3->fLibConstr = 1; // create hash table if not available - if ( s_pMan3->pGia && s_pMan3->pGia->pHTable == NULL ) + if ( s_pMan3->pGia && Vec_IntSize(&s_pMan3->pGia->vHTable) == 0 ) Gia_ManHashStart( s_pMan3->pGia ); // set defaults -- cgit v1.2.3