From 59f3389c9bce4c20c6476d46513883f0cf15e454 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 28 Apr 2016 20:54:38 -0700 Subject: Experiments with arithmetic circuits. --- src/misc/vec/vecInt.h | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/misc/vec') diff --git a/src/misc/vec/vecInt.h b/src/misc/vec/vecInt.h index 3d7c33fc..e0e2ba7f 100644 --- a/src/misc/vec/vecInt.h +++ b/src/misc/vec/vecInt.h @@ -1991,6 +1991,13 @@ static inline void Vec_IntAppendSkip( Vec_Int_t * vVec1, Vec_Int_t * vVec2, int if ( i != iVar ) Vec_IntPush( vVec1, Entry ); } +static inline void Vec_IntAppendMinus( Vec_Int_t * vVec1, Vec_Int_t * vVec2, int fMinus ) +{ + int Entry, i; + Vec_IntClear( vVec1 ); + Vec_IntForEachEntry( vVec2, Entry, i ) + Vec_IntPush( vVec1, fMinus ? -Entry : Entry ); +} /**Function************************************************************* -- cgit v1.2.3