diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-06-29 13:06:22 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-06-29 13:06:22 -0700 |
| commit | 99c4a1be5f291391377bccbfadb09d6747bf5ad4 (patch) | |
| tree | 10a74be3b310f18bbd0993f2643b6b0dadd5331c /src/opt | |
| parent | 2f3a9f91e51f6d1f8bab5e8b6b2fbb71fbd345ca (diff) | |
| download | abc-99c4a1be5f291391377bccbfadb09d6747bf5ad4.tar.gz abc-99c4a1be5f291391377bccbfadb09d6747bf5ad4.tar.bz2 abc-99c4a1be5f291391377bccbfadb09d6747bf5ad4.zip | |
Bug fix in &gla_refine.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/nwk/nwkAig.c | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/src/opt/nwk/nwkAig.c b/src/opt/nwk/nwkAig.c index a4959c9a..162012e3 100644 --- a/src/opt/nwk/nwkAig.c +++ b/src/opt/nwk/nwkAig.c @@ -153,7 +153,7 @@ Nwk_Man_t * Nwk_ManCreateFromGia( Gia_Man_t * p, Vec_Int_t * vPPis, Vec_Int_t * Gia_Obj_t * pObj; Vec_Int_t * vMaps; int i; - assert( Vec_IntSize(vLeaves) >= Vec_IntSize(vPPis) ); +// assert( Vec_IntSize(vLeaves) >= Vec_IntSize(vPPis) ); Gia_ManCreateRefs( p ); pNtk = Nwk_ManAlloc(); pNtk->pName = Abc_UtilStrsav( p->pName ); @@ -165,7 +165,8 @@ Nwk_Man_t * Nwk_ManCreateFromGia( Gia_Man_t * p, Vec_Int_t * vPPis, Vec_Int_t * ppCopies = ABC_ALLOC( Nwk_Obj_t *, Gia_ManObjNum(p) ); // copy objects pObj = Gia_ManConst0(p); - ppCopies[Gia_ObjId(p,pObj)] = Nwk_ManCreateNode( pNtk, 0, Gia_ObjRefs(p,pObj) ); +// ppCopies[Gia_ObjId(p,pObj)] = Nwk_ManCreateNode( pNtk, 0, Gia_ObjRefs(p,pObj) ); + ppCopies[Gia_ObjId(p,pObj)] = Nwk_ManCreateNode( pNtk, 0, Gia_ObjRefs(p,pObj) + (Vec_IntSize(vLeaves) > Vec_IntSize(vPPis) ? Vec_IntSize(vLeaves) - Vec_IntSize(vPPis) : 0) ); Vec_IntPush( vMaps, Gia_ObjId(p,pObj) ); Gia_ManForEachObjVec( vLeaves, p, pObj, i ) { @@ -173,13 +174,8 @@ Nwk_Man_t * Nwk_ManCreateFromGia( Gia_Man_t * p, Vec_Int_t * vPPis, Vec_Int_t * assert( Vec_IntSize(vMaps) == Nwk_ObjId(ppCopies[Gia_ObjId(p,pObj)]) ); Vec_IntPush( vMaps, Gia_ObjId(p,pObj) ); } -/* for ( i = Vec_IntSize(vLeaves); i < Vec_IntSize(vPPis); i++ ) - { - pTemp = Nwk_ManCreateCi( pNtk, Gia_ObjRefs(p,pObj) ); - Vec_IntPush( vMaps, 0 );// ??? - } -*/ + Nwk_ManCreateCi( pNtk, 0 ); Gia_ManForEachObjVec( vNodes, p, pObj, i ) { ppCopies[Gia_ObjId(p,pObj)] = Nwk_ManCreateNode( pNtk, 2, Gia_ObjRefs(p,pObj) ); |