From d4399dbf929b9c273b187580566ab41ac9ab955d Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 3 May 2012 19:54:40 +0800 Subject: Misc changes. --- src/misc/tim/tim.h | 2 +- src/misc/vec/vecWrd.h | 6 ++++++ 2 files changed, 7 insertions(+), 1 deletion(-) (limited to 'src/misc') 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 ); -- cgit v1.2.3