diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-14 23:12:05 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-14 23:12:05 -0700 |
| commit | dd29ca30a6afe0ba384a8985957a5bbead031911 (patch) | |
| tree | c34dac29afa1b2d7fef39d0cfd93f885b62fd409 /src/map/mpm/mpmInt.h | |
| parent | c0ac159888963dae8dabeb2ee9215f3efdf48a1a (diff) | |
| download | abc-dd29ca30a6afe0ba384a8985957a5bbead031911.tar.gz abc-dd29ca30a6afe0ba384a8985957a5bbead031911.tar.bz2 abc-dd29ca30a6afe0ba384a8985957a5bbead031911.zip | |
New technology mapper.
Diffstat (limited to 'src/map/mpm/mpmInt.h')
| -rw-r--r-- | src/map/mpm/mpmInt.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/map/mpm/mpmInt.h b/src/map/mpm/mpmInt.h index 307e7a8c..32854b72 100644 --- a/src/map/mpm/mpmInt.h +++ b/src/map/mpm/mpmInt.h @@ -156,7 +156,6 @@ struct Mpm_Man_t_ int nCutsMerged; int nCutsMergedAll; int nSmallSupp; - abctime timeFanin; abctime timeDerive; abctime timeMerge; abctime timeEval; @@ -184,7 +183,6 @@ static inline void Mpm_ObjSetCutList( Mpm_Man_t * p, Mig_Obj_t * pObj, in static inline int Mpm_CutLeafNum( Mpm_Cut_t * pCut ) { return pCut->nLeaves; } static inline word * Mpm_CutTruth( Mpm_Man_t * p, int iFunc ) { return Vec_MemReadEntry(p->vTtMem, iFunc); } -static inline void Mpm_ManSetMigRefs( Mpm_Man_t * p ) { assert( Vec_IntSize(&p->vMigRefs) == Vec_IntSize(&p->pMig->vRefs) ); memcpy( Vec_IntArray(&p->vMigRefs), Vec_IntArray(&p->pMig->vRefs), sizeof(int) * Mig_ManObjNum(p->pMig) ); } static inline int Mig_ObjMigRefNum( Mpm_Man_t * p, Mig_Obj_t * pObj ) { return Vec_IntEntry(&p->vMigRefs, Mig_ObjId(pObj)); } static inline int Mig_ObjMigRefDec( Mpm_Man_t * p, Mig_Obj_t * pObj ) { return Vec_IntAddToEntry(&p->vMigRefs, Mig_ObjId(pObj), -1); } |