From 0398ced8243806439b814f21ca7d6e584cea13a1 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 22 Jun 2015 23:04:53 -0700 Subject: Version abc90714 committer: Baruch Sterin --- src/misc/vec/vec.h | 1 - src/misc/vec/vecStr.h | 22 ++++++++++++++++++++++ 2 files changed, 22 insertions(+), 1 deletion(-) (limited to 'src/misc/vec') diff --git a/src/misc/vec/vec.h b/src/misc/vec/vec.h index 915265f3..d6ed53b9 100644 --- a/src/misc/vec/vec.h +++ b/src/misc/vec/vec.h @@ -37,7 +37,6 @@ /// MACRO DEFINITIONS /// //////////////////////////////////////////////////////////////////////// - //////////////////////////////////////////////////////////////////////// /// PARAMETERS /// //////////////////////////////////////////////////////////////////////// diff --git a/src/misc/vec/vecStr.h b/src/misc/vec/vecStr.h index c77a3a17..bd10154c 100644 --- a/src/misc/vec/vecStr.h +++ b/src/misc/vec/vecStr.h @@ -570,6 +570,28 @@ static inline char Vec_StrPop( Vec_Str_t * p ) return p->pArray[--p->nSize]; } +/**Function************************************************************* + + Synopsis [Reverses the order of entries.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +static inline void Vec_StrReverseOrder( Vec_Str_t * p ) +{ + int i, Temp; + for ( i = 0; i < p->nSize/2; i++ ) + { + Temp = p->pArray[i]; + p->pArray[i] = p->pArray[p->nSize-1-i]; + p->pArray[p->nSize-1-i] = Temp; + } +} + /**Function************************************************************* Synopsis [Comparison procedure for two clauses.] -- cgit v1.2.3