From dd365cbaf36fad4675bb116a8e7e80dbfdd0205a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 6 Nov 2015 09:05:17 -0800 Subject: Improvements to 'satclp' (unfinished). --- src/aig/gia/gia.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/aig/gia') diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 4ad3e39a..87ce6b91 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -1038,6 +1038,8 @@ static inline int Gia_ObjCellId( Gia_Man_t * p, int iLit ) { re for ( i = 0; (i < Vec_IntSize(p->vCis)) && ((pObj) = Gia_ManCi(p, i)); i++ ) #define Gia_ManForEachCiId( p, Id, i ) \ for ( i = 0; (i < Vec_IntSize(p->vCis)) && ((Id) = Gia_ObjId(p, Gia_ManCi(p, i))); i++ ) +#define Gia_ManForEachCiVec( vVec, p, pObj, i ) \ + for ( i = 0; (i < Vec_IntSize(vVec)) && ((pObj) = Gia_ManCi(p, Vec_IntEntry(vVec,i))); i++ ) #define Gia_ManForEachCiReverse( p, pObj, i ) \ for ( i = Vec_IntSize(p->vCis) - 1; (i >= 0) && ((pObj) = Gia_ManCi(p, i)); i-- ) #define Gia_ManForEachCo( p, pObj, i ) \ -- cgit v1.2.3