diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-30 22:41:55 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-30 22:41:55 -0700 |
| commit | 1fb7ef8153eb42bc8b614f109571c9e47138b956 (patch) | |
| tree | 4dbed89f936a808c2b73343289f9716a33e5ab6a /src/aig/gia/giaJf.c | |
| parent | 4f72aff1d164b1ebb190ac5e1e7a5c01d8d1e720 (diff) | |
| download | abc-1fb7ef8153eb42bc8b614f109571c9e47138b956.tar.gz abc-1fb7ef8153eb42bc8b614f109571c9e47138b956.tar.bz2 abc-1fb7ef8153eb42bc8b614f109571c9e47138b956.zip | |
Converting mapped AIG into strashed AIG.
Diffstat (limited to 'src/aig/gia/giaJf.c')
| -rw-r--r-- | src/aig/gia/giaJf.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaJf.c b/src/aig/gia/giaJf.c index e330fb80..6af8a4b3 100644 --- a/src/aig/gia/giaJf.c +++ b/src/aig/gia/giaJf.c @@ -1499,7 +1499,7 @@ Gia_Man_t * Jf_ManDeriveGia( Jf_Man_t * p ) Jf_CutForEachLit( pCut, iLit, k ) Vec_IntPush( vLeaves, Abc_Lit2LitL(Vec_IntArray(vCopies), iLit) ); // create GIA - iLit = Dsm_ManDeriveGia( pNew, pTruth, vLeaves, vCover ); + iLit = Dsm_ManTruthToGia( pNew, pTruth, vLeaves, vCover ); iLit = Abc_LitNotCond( iLit, (p->pPars->fCutMin && Jf_CutFuncCompl(pCut)) ); Vec_IntWriteEntry( vCopies, i, iLit ); } |