diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-21 22:00:39 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-21 22:00:39 -0700 |
commit | fdd043ca341c908bc7dc2ad62fc9974152e4f740 (patch) | |
tree | 0ad9767db7e06ed2b41494ef39d8bed57b8464c0 /src/misc/vec | |
parent | c1f8baafb86cddf08f56a3bdd7329cad68b5413f (diff) | |
download | abc-fdd043ca341c908bc7dc2ad62fc9974152e4f740.tar.gz abc-fdd043ca341c908bc7dc2ad62fc9974152e4f740.tar.bz2 abc-fdd043ca341c908bc7dc2ad62fc9974152e4f740.zip |
Upgrading hierarchy timing manager.
Diffstat (limited to 'src/misc/vec')
-rw-r--r-- | src/misc/vec/vecStr.h | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/src/misc/vec/vecStr.h b/src/misc/vec/vecStr.h index d64fea65..238fe451 100644 --- a/src/misc/vec/vecStr.h +++ b/src/misc/vec/vecStr.h @@ -638,6 +638,28 @@ static inline void Vec_StrReverseOrder( Vec_Str_t * p ) /**Function************************************************************* + Synopsis [Compares two strings.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +static inline int Vec_StrEqual( Vec_Str_t * p1, Vec_Str_t * p2 ) +{ + int i; + if ( p1->nSize != p2->nSize ) + return 0; + for ( i = 0; i < p1->nSize; i++ ) + if ( p1->pArray[i] != p2->pArray[i] ) + return 0; + return 1; +} + +/**Function************************************************************* + Synopsis [Comparison procedure for two clauses.] Description [] |