diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-13 20:03:55 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-13 20:03:55 -0800 |
| commit | d931de7febd2616acb915ef168011ad99466bb2d (patch) | |
| tree | b4459a694c578ccf4458268f6ab19505205b63cb /src/sat/bsat/satVec.h | |
| parent | 6f4bb33ce14dd66b71e41bb71639a74a951a08b1 (diff) | |
| download | abc-d931de7febd2616acb915ef168011ad99466bb2d.tar.gz abc-d931de7febd2616acb915ef168011ad99466bb2d.tar.bz2 abc-d931de7febd2616acb915ef168011ad99466bb2d.zip | |
Variable timeframe abstraction.
Diffstat (limited to 'src/sat/bsat/satVec.h')
| -rw-r--r-- | src/sat/bsat/satVec.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/sat/bsat/satVec.h b/src/sat/bsat/satVec.h index 01740580..8f7a5fab 100644 --- a/src/sat/bsat/satVec.h +++ b/src/sat/bsat/satVec.h @@ -44,7 +44,11 @@ static inline void veci_new (veci* v) { static inline void veci_delete (veci* v) { ABC_FREE(v->ptr); } static inline int* veci_begin (veci* v) { return v->ptr; } static inline int veci_size (veci* v) { return v->size; } -static inline void veci_resize (veci* v, int k) { assert(k <= v->size); v->size = k; } // only safe to shrink !! +static inline void veci_resize (veci* v, int k) { + assert(k <= v->size); +// memset( veci_begin(v) + k, -1, sizeof(int) * (veci_size(v) - k) ); + v->size = k; +} // only safe to shrink !! static inline int veci_pop (veci* v) { assert(v->size); return v->ptr[--v->size]; } static inline void veci_push (veci* v, int e) { |