diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-01 19:37:47 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-01 19:37:47 -0700 |
commit | 5023be4aa062eff8c9e0582dd45a3163bfa238e9 (patch) | |
tree | a6a18cf7d96c6ffcff0e0178c76be31521ba09a6 | |
parent | e2f11e14d025f61e8368d2b6c1b9a0f4e96ec40d (diff) | |
download | abc-5023be4aa062eff8c9e0582dd45a3163bfa238e9.tar.gz abc-5023be4aa062eff8c9e0582dd45a3163bfa238e9.tar.bz2 abc-5023be4aa062eff8c9e0582dd45a3163bfa238e9.zip |
Adding switch &get -m to import mapped network into the &-space.
-rw-r--r-- | src/base/abc/abcFunc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abc/abcFunc.c b/src/base/abc/abcFunc.c index 3df465f5..896af04b 100644 --- a/src/base/abc/abcFunc.c +++ b/src/base/abc/abcFunc.c @@ -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 ); |