From fe3b2e250bc642509e7c954b837d21d8c6bb8d42 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 25 Feb 2013 17:49:59 -0500 Subject: User-controlable SAT sweeper. --- src/misc/vec/vecInt.h | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/misc/vec/vecInt.h') diff --git a/src/misc/vec/vecInt.h b/src/misc/vec/vecInt.h index a7722866..7ba75c46 100644 --- a/src/misc/vec/vecInt.h +++ b/src/misc/vec/vecInt.h @@ -609,6 +609,11 @@ static inline void Vec_IntSetEntry( Vec_Int_t * p, int i, int Entry ) Vec_IntFillExtra( p, i + 1, 0 ); Vec_IntWriteEntry( p, i, Entry ); } +static inline void Vec_IntSetEntryFull( Vec_Int_t * p, int i, int Entry ) +{ + Vec_IntFillExtra( p, i + 1, -1 ); + Vec_IntWriteEntry( p, i, Entry ); +} /**Function************************************************************* -- cgit v1.2.3