diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-01 01:14:32 -0500 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-01 01:14:32 -0500 |
commit | 5161978d05d3298d1f2212d88f81855220f352c8 (patch) | |
tree | 6ee261e44245596683246c56e9ec6cce5173c765 /src/misc/vec/vecInt.h | |
parent | 1c16c45679252be03fb2be840fc497a1150b0d2a (diff) | |
download | abc-5161978d05d3298d1f2212d88f81855220f352c8.tar.gz abc-5161978d05d3298d1f2212d88f81855220f352c8.tar.bz2 abc-5161978d05d3298d1f2212d88f81855220f352c8.zip |
Started proof transformations.
Diffstat (limited to 'src/misc/vec/vecInt.h')
-rw-r--r-- | src/misc/vec/vecInt.h | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/misc/vec/vecInt.h b/src/misc/vec/vecInt.h index 59c91e53..0d0c24a8 100644 --- a/src/misc/vec/vecInt.h +++ b/src/misc/vec/vecInt.h @@ -327,6 +327,22 @@ static inline int * Vec_IntArray( Vec_Int_t * p ) SeeAlso [] ***********************************************************************/ +static inline int * Vec_IntLimit( Vec_Int_t * p ) +{ + return p->pArray + p->nSize; +} + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ static inline int Vec_IntSize( Vec_Int_t * p ) { return p->nSize; |