diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-17 12:19:42 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-17 12:19:42 -0800 |
commit | eb66ce9c3133f8149959c84a9ab71faa6249870d (patch) | |
tree | 28a8da402d4ee53458b45010b065e96a27888aed /src/map/if/ifMan.c | |
parent | adb3044f39fdfa261d828b8f3600dfbc0def2e4a (diff) | |
download | abc-eb66ce9c3133f8149959c84a9ab71faa6249870d.tar.gz abc-eb66ce9c3133f8149959c84a9ab71faa6249870d.tar.bz2 abc-eb66ce9c3133f8149959c84a9ab71faa6249870d.zip |
Changes to LUT mappers.
Diffstat (limited to 'src/map/if/ifMan.c')
-rw-r--r-- | src/map/if/ifMan.c | 15 |
1 files changed, 3 insertions, 12 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index 3034df67..6334505b 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -84,13 +84,7 @@ If_Man_t * If_ManStart( If_Par_t * pPars ) p->puTemp[3] = p->puTemp[2] + p->nTruth6Words*2; p->puTempW = p->pPars->fTruth? ABC_ALLOC( word, p->nTruth6Words ) : NULL; if ( pPars->fUseDsd ) - { -// p->pNamDsd = Abc_NamStart( 1000, 20 ); -// p->iNamVar = Abc_NamStrFindOrAdd( p->pNamDsd, "a", NULL ); p->pDsdMan = Dss_ManAlloc( pPars->nLutSize, pPars->nNonDecLimit ); - p->iNamVar = 2; - } - // create the constant node p->pConst1 = If_ManSetupObj( p ); p->pConst1->Type = IF_CONST1; @@ -436,14 +430,11 @@ void If_ManSetupCutTriv( If_Man_t * p, If_Cut_t * pCut, int ObjId ) pCut->nLeaves = 1; pCut->pLeaves[0] = p->pPars->fLiftLeaves? (ObjId << 8) : ObjId; pCut->uSign = If_ObjCutSign( pCut->pLeaves[0] ); + pCut->iCutFunc = p->pPars->fTruth ? 2 : -1; + pCut->iCutDsd = p->pPars->fUseDsd ? 2 : -1; + assert( pCut->pLeaves[0] < p->vObjs->nSize ); if ( p->pPars->fUseDsd ) - { - pCut->iCutFunc = p->iNamVar; pCut->pPerm[0] = 0; - } - // set up elementary truth table of the unit cut - pCut->iCutFunc = p->pPars->fTruth ? 2 : -1; - assert( pCut->pLeaves[0] < p->vObjs->nSize ); } /**Function************************************************************* |