From 0f22046bcb71ba096fedfc6a75b6bc7fd4090e70 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 27 Jan 2015 09:54:35 -0800 Subject: New assertions and bug fix in DSD balancing. --- src/misc/vec/vecInt.h | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'src/misc/vec/vecInt.h') diff --git a/src/misc/vec/vecInt.h b/src/misc/vec/vecInt.h index 3e195bd3..e37743c5 100644 --- a/src/misc/vec/vecInt.h +++ b/src/misc/vec/vecInt.h @@ -96,6 +96,16 @@ static inline Vec_Int_t * Vec_IntAlloc( int nCap ) p->pArray = p->nCap? ABC_ALLOC( int, p->nCap ) : NULL; return p; } +static inline Vec_Int_t * Vec_IntAllocExact( int nCap ) +{ + Vec_Int_t * p; + assert( nCap >= 0 ); + p = ABC_ALLOC( Vec_Int_t, 1 ); + p->nSize = 0; + p->nCap = nCap; + p->pArray = p->nCap? ABC_ALLOC( int, p->nCap ) : NULL; + return p; +} /**Function************************************************************* -- cgit v1.2.3