diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-07 13:20:41 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-07 13:20:41 -0700 |
commit | 95ab749087c2aaac033829e0ec2cf8d1d44f37bf (patch) | |
tree | b1d04764b7836bf85107adad44c81ade06a3b44f /src/aig/gia/giaOf.c | |
parent | b31b6fec771ef4fd19ac64b4ce31b30fd7113e6d (diff) | |
download | abc-95ab749087c2aaac033829e0ec2cf8d1d44f37bf.tar.gz abc-95ab749087c2aaac033829e0ec2cf8d1d44f37bf.tar.bz2 abc-95ab749087c2aaac033829e0ec2cf8d1d44f37bf.zip |
Supporting edges in delay-optimization in &satlut.
Diffstat (limited to 'src/aig/gia/giaOf.c')
-rw-r--r-- | src/aig/gia/giaOf.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/giaOf.c b/src/aig/gia/giaOf.c index 2dc8b376..dca13ae6 100644 --- a/src/aig/gia/giaOf.c +++ b/src/aig/gia/giaOf.c @@ -1846,6 +1846,8 @@ Gia_Man_t * Of_ManPerformMapping( Gia_Man_t * pGia, Jf_Par_t * pPars ) pNew = Of_ManDeriveMapping( p ); Gia_ManMappingVerify( pNew ); + if ( pNew->vPacking ) + Gia_ManConvertPackingToEdges( pNew ); //Of_ManPrintCuts( p ); Of_StoDelete( p ); if ( pCls != pGia ) |