diff options
| -rw-r--r-- | src/map/if/if.h | 2 | ||||
| -rw-r--r-- | src/misc/tim/tim.h | 2 | ||||
| -rw-r--r-- | src/misc/vec/vecWrd.h | 6 |
3 files changed, 9 insertions, 1 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h index ec1dedfa..8c1ab975 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -352,12 +352,14 @@ static inline int If_CutTruthWords( int nVarsMax ) { r static inline int If_CutPermWords( int nVarsMax ) { return nVarsMax / sizeof(int) + ((nVarsMax % sizeof(int)) > 0); } static inline float If_CutLutArea( If_Man_t * p, If_Cut_t * pCut ) { return pCut->fUser? (float)pCut->Cost : (p->pPars->pLutLib? p->pPars->pLutLib->pLutAreas[pCut->nLeaves] : (float)1.0); } +static inline float If_CutLutDelay( If_Lib_t * p, int Size, int iPin ) { return p ? (p->fVarPinDelays ? p->pLutDelays[Size][iPin] : p->pLutDelays[Size][0]) : 1.0; } static inline word If_AndToWrd( If_And_t m ) { union { If_And_t x; word y; } v; v.x = m; return v.y; } static inline If_And_t If_WrdToAnd( word m ) { union { If_And_t x; word y; } v; v.y = m; return v.x; } static inline void If_AndClear( If_And_t * pNode ) { *pNode = If_WrdToAnd(0); } + //////////////////////////////////////////////////////////////////////// /// MACRO DEFINITIONS /// //////////////////////////////////////////////////////////////////////// diff --git a/src/misc/tim/tim.h b/src/misc/tim/tim.h index d921bcc5..9a7667d5 100644 --- a/src/misc/tim/tim.h +++ b/src/misc/tim/tim.h @@ -45,7 +45,7 @@ typedef struct Tim_Man_t_ Tim_Man_t; /// MACRO DEFINITIONS /// //////////////////////////////////////////////////////////////////////// -#define TIM_ETERNITY 10000 +#define TIM_ETERNITY 1000000000 //////////////////////////////////////////////////////////////////////// /// ITERATORS /// diff --git a/src/misc/vec/vecWrd.h b/src/misc/vec/vecWrd.h index 046ecf2a..11414ff7 100644 --- a/src/misc/vec/vecWrd.h +++ b/src/misc/vec/vecWrd.h @@ -251,6 +251,12 @@ static inline Vec_Wrd_t * Vec_WrdDupArray( Vec_Wrd_t * pVec ) SeeAlso [] ***********************************************************************/ +static inline void Vec_WrdErase( Vec_Wrd_t * p ) +{ + ABC_FREE( p->pArray ); + p->nSize = 0; + p->nCap = 0; +} static inline void Vec_WrdFree( Vec_Wrd_t * p ) { ABC_FREE( p->pArray ); |