diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-18 13:03:01 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-18 13:03:01 -0700 |
| commit | a35599960b1fc7ba3a94c0ac562ec0ad217230a2 (patch) | |
| tree | 8b374b398f2d29d59f8e78d20558117b3b98fb8b /src/map/mpm/mpmTruth.c | |
| parent | 4decece2c73d826c49c5bbca3df3364da94357bc (diff) | |
| download | abc-a35599960b1fc7ba3a94c0ac562ec0ad217230a2.tar.gz abc-a35599960b1fc7ba3a94c0ac562ec0ad217230a2.tar.bz2 abc-a35599960b1fc7ba3a94c0ac562ec0ad217230a2.zip | |
New technology mapper.
Diffstat (limited to 'src/map/mpm/mpmTruth.c')
| -rw-r--r-- | src/map/mpm/mpmTruth.c | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/src/map/mpm/mpmTruth.c b/src/map/mpm/mpmTruth.c index 79f24cca..c60ebb6e 100644 --- a/src/map/mpm/mpmTruth.c +++ b/src/map/mpm/mpmTruth.c @@ -91,13 +91,6 @@ static inline int Mpm_CutTruthMinimize6( Mpm_Man_t * p, Mpm_Cut_t * pCut ) } k++; } - else - { - int iObj = Abc_Lit2Var( pCut->pLeaves[i] ); - int Res = Vec_IntRemove( &p->vObjPresUsed, iObj ); - assert( Res == 1 ); - p->pObjPres[iObj] = (unsigned char)0xFF; - } } assert( k == nSuppSize ); pCut->nLeaves = nSuppSize; @@ -129,13 +122,6 @@ static inline int Mpm_CutTruthMinimize7( Mpm_Man_t * p, Mpm_Cut_t * pCut ) } k++; } - else - { - int iObj = Abc_Lit2Var( pCut->pLeaves[i] ); - int Res = Vec_IntRemove( &p->vObjPresUsed, iObj ); - assert( Res == 1 ); - p->pObjPres[iObj] = (unsigned char)0xFF; - } } assert( k == nSuppSize ); assert( nSuppSize == Abc_TtSupportSize(p->Truth, Mpm_CutLeafNum(pCut)) ); |