From d0a0cf63951e24a6d979af65c58d564254caec70 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 9 Apr 2016 17:00:46 -0700 Subject: Command &esop to convert AIG into ESOP. --- src/misc/vec/vecPtr.h | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) (limited to 'src/misc/vec/vecPtr.h') diff --git a/src/misc/vec/vecPtr.h b/src/misc/vec/vecPtr.h index f40a7807..5b40665f 100644 --- a/src/misc/vec/vecPtr.h +++ b/src/misc/vec/vecPtr.h @@ -768,6 +768,26 @@ static inline void Vec_PtrRemove( Vec_Ptr_t * p, void * Entry ) p->nSize--; } +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +static inline void Vec_PtrDrop( Vec_Ptr_t * p, int i ) +{ + int k; + assert( i >= 0 && i < Vec_PtrSize(p) ); + p->nSize--; + for ( k = i; k < p->nSize; k++ ) + p->pArray[k] = p->pArray[k+1]; +} + /**Function************************************************************* Synopsis [Interts entry at the index iHere. Shifts other entries.] -- cgit v1.2.3