diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-26 13:14:38 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-26 13:14:38 -0700 |
| commit | 8de7816dafc4f4e3da275a1f2aaaa055d51531f2 (patch) | |
| tree | 36c5db2cbc95cc7ca6244eba7240cf3747d1f37c /src/aig/gia/gia.h | |
| parent | f0cc98cfcd5a2a15e4b7d3deeee700ff77433536 (diff) | |
| download | abc-8de7816dafc4f4e3da275a1f2aaaa055d51531f2.tar.gz abc-8de7816dafc4f4e3da275a1f2aaaa055d51531f2.tar.bz2 abc-8de7816dafc4f4e3da275a1f2aaaa055d51531f2.zip | |
Exploration of MFFCs.
Diffstat (limited to 'src/aig/gia/gia.h')
| -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 5894c494..62b7c89a 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -901,6 +901,8 @@ static inline int Gia_ObjLutFanin( Gia_Man_t * p, int Id, int i ) { re for ( i = 1; (i < p->nObjs) && ((pObj) = Gia_ManObj(p, i)); i++ ) #define Gia_ManForEachObjVec( vVec, p, pObj, i ) \ for ( i = 0; (i < Vec_IntSize(vVec)) && ((pObj) = Gia_ManObj(p, Vec_IntEntry(vVec,i))); i++ ) +#define Gia_ManForEachObjVecReverse( vVec, p, pObj, i ) \ + for ( i = Vec_IntSize(vVec) - 1; (i >= 0) && ((pObj) = Gia_ManObj(p, Vec_IntEntry(vVec,i))); i-- ) #define Gia_ManForEachObjVecLit( vVec, p, pObj, fCompl, i ) \ for ( i = 0; (i < Vec_IntSize(vVec)) && ((pObj) = Gia_ManObj(p, Abc_Lit2Var(Vec_IntEntry(vVec,i)))) && (((fCompl) = Abc_LitIsCompl(Vec_IntEntry(vVec,i))),1); i++ ) #define Gia_ManForEachObjReverse( p, pObj, i ) \ |