diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-12 14:52:58 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-12 14:52:58 -0700 |
| commit | 0a346a36a290d558e177de62a5bb1ec649d0f74d (patch) | |
| tree | 498d8c8001968d08addf5811b88c6a74f4a631b4 /src | |
| parent | 9b02a26a80e59bede18c4bd2650ad7f39a3a71f3 (diff) | |
| download | abc-0a346a36a290d558e177de62a5bb1ec649d0f74d.tar.gz abc-0a346a36a290d558e177de62a5bb1ec649d0f74d.tar.bz2 abc-0a346a36a290d558e177de62a5bb1ec649d0f74d.zip | |
Improvements to the new technology mapper.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaJf.c | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/src/aig/gia/giaJf.c b/src/aig/gia/giaJf.c index 7a99d466..d5fa3c7f 100644 --- a/src/aig/gia/giaJf.c +++ b/src/aig/gia/giaJf.c @@ -35,11 +35,11 @@ ABC_NAMESPACE_IMPL_START typedef struct Jf_Cut_t_ Jf_Cut_t; struct Jf_Cut_t_ { - word Sign; - float Flow; - int Time; - int iFunc; - int pCut[JF_LEAF_MAX+1]; + word Sign; // signature + float Flow; // flow + int Time; // arrival time + int iFunc; // function + int pCut[JF_LEAF_MAX+1]; // cut }; typedef struct Jf_Man_t_ Jf_Man_t; @@ -1222,7 +1222,6 @@ Gia_Man_t * Jf_ManDeriveMappingGia( Jf_Man_t * p ) } Gia_ManForEachCo( p->pGia, pObj, i ) { - int s = Gia_ObjFaninId0p(p->pGia, pObj); iLit = Vec_IntEntry( vCopies, Gia_ObjFaninId0p(p->pGia, pObj) ); Gia_ManAppendCo( pNew, Abc_LitNotCond(iLit, Gia_ObjFaninC0(pObj)) ); } @@ -1243,7 +1242,6 @@ Gia_Man_t * Jf_ManDeriveMappingGia( Jf_Man_t * p ) // attach mapping and packing assert( pNew->vMapping == NULL ); pNew->vMapping = vMapping; -// Gia_ManMappingVerify( p->pGia ); Gia_ManSetRegNum( pNew, Gia_ManRegNum(p->pGia) ); return pNew; } |