diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-06 09:05:17 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-06 09:05:17 -0800 |
| commit | dd365cbaf36fad4675bb116a8e7e80dbfdd0205a (patch) | |
| tree | 1bf6083c28aec31a664ed23f7dd208e395d76592 /src/aig | |
| parent | 83da5a038413b8062ec730eb87089e76834ec130 (diff) | |
| download | abc-dd365cbaf36fad4675bb116a8e7e80dbfdd0205a.tar.gz abc-dd365cbaf36fad4675bb116a8e7e80dbfdd0205a.tar.bz2 abc-dd365cbaf36fad4675bb116a8e7e80dbfdd0205a.zip | |
Improvements to 'satclp' (unfinished).
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/gia.h | 2 |
1 files changed, 2 insertions, 0 deletions
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 ) \ |