Adding switch &get -m to import mapped network into the &-space.

This commit is contained in:
Alan Mishchenko 2013-09-01 19:37:47 -07:00
parent e2f11e14d0
commit 5023be4aa0
1 changed files with 2 additions and 2 deletions

View File

@ -941,9 +941,9 @@ Gia_Man_t * Abc_NtkAigToGia( Abc_Ntk_t * p )
Abc_NtkForEachCi( p, pNode, i )
pNode->iTemp = Gia_ManAppendCi(pNew);
// find the number of objects
nObjs = Abc_NtkCiNum(p) + Abc_NtkCoNum(p);
nObjs = 1 + Abc_NtkCiNum(p) + Abc_NtkCoNum(p);
Abc_NtkForEachNode( p, pNode, i )
nObjs += 2 + Hop_DagSize( (Hop_Obj_t *)pNode->pData );
nObjs += Hop_DagSize( (Hop_Obj_t *)pNode->pData );
vMapping = Vec_IntStart( nObjs );
// iterate through nodes used in the mapping
vNodes = Abc_NtkDfs( p, 0 );