diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-25 15:29:01 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-25 15:29:01 -0700 |
| commit | 531657105b2d41d0ad4652dce3cca32a3f5b0194 (patch) | |
| tree | 1b4854f5ad58f877269303c95833d8c1380d9973 /src/misc/vec | |
| parent | a55b178729aed0cee447b7a0a6df57e00062adbe (diff) | |
| download | abc-531657105b2d41d0ad4652dce3cca32a3f5b0194.tar.gz abc-531657105b2d41d0ad4652dce3cca32a3f5b0194.tar.bz2 abc-531657105b2d41d0ad4652dce3cca32a3f5b0194.zip | |
Improving DAG-aware unmapping.
Diffstat (limited to 'src/misc/vec')
| -rw-r--r-- | src/misc/vec/vecHsh4.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/misc/vec/vecHsh4.h b/src/misc/vec/vecHsh4.h index bd44f35e..af48f32b 100644 --- a/src/misc/vec/vecHsh4.h +++ b/src/misc/vec/vecHsh4.h @@ -60,6 +60,9 @@ struct Hsh_Int4Man_t_ //////////////////////////////////////////////////////////////////////// static inline Hsh_Int4Obj_t * Hsh_Int4Obj( Hsh_Int4Man_t * p, int iObj ) { return iObj ? (Hsh_Int4Obj_t *)Vec_IntEntryP(p->vObjs, 4*iObj) : NULL; } +static inline int Hsh_Int4ObjRes( Hsh_Int4Man_t * p, int i ) { return Hsh_Int4Obj(p, i)->iRes; } +static inline void Hsh_Int4ObjInc( Hsh_Int4Man_t * p, int i ) { Hsh_Int4Obj(p, i)->iRes++; } +static inline void Hsh_Int4ObjDec( Hsh_Int4Man_t * p, int i ) { Hsh_Int4Obj(p, i)->iRes--; } //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// |