diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-02-06 15:20:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-02-06 15:20:00 -0800 |
| commit | 081afc3fc5af7a842f0253c372866eee456af7d9 (patch) | |
| tree | 89fd64c49e4cb94cc84bb6c2d9fca66d50a32e01 /src/base/acb/acbUtil.c | |
| parent | 53f223806f1c570b62a180e0eb3aed3a974c1677 (diff) | |
| download | abc-081afc3fc5af7a842f0253c372866eee456af7d9.tar.gz abc-081afc3fc5af7a842f0253c372866eee456af7d9.tar.bz2 abc-081afc3fc5af7a842f0253c372866eee456af7d9.zip | |
Experimental simulation based code.
Diffstat (limited to 'src/base/acb/acbUtil.c')
| -rw-r--r-- | src/base/acb/acbUtil.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/acb/acbUtil.c b/src/base/acb/acbUtil.c index 001a137b..da0880f0 100644 --- a/src/base/acb/acbUtil.c +++ b/src/base/acb/acbUtil.c @@ -588,6 +588,8 @@ Vec_Int_t * Acb_NtkCollectCopies( Acb_Ntk_t * p, Gia_Man_t * pGia, Vec_Ptr_t ** Vec_Int_t * vNodes = Vec_IntAlloc( Acb_NtkObjNum(p) ); Vec_Ptr_t * vNodesR = Vec_PtrStart( Gia_ManObjNum(pGia) ); Vec_Bit_t * vDriver = Vec_BitStart( Gia_ManObjNum(pGia) ); + Gia_ManForEachCiId( pGia, iObj, i ) + Vec_PtrWriteEntry( vNodesR, iObj, Abc_UtilStrsav(Acb_ObjNameStr(p, Acb_NtkCi(p, i))) ); Gia_ManForEachCoId( pGia, iObj, i ) { Vec_BitWriteEntry( vDriver, Gia_ObjFaninId0(Gia_ManObj(pGia, iObj), iObj), 1 ); |