diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-15 10:59:57 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-15 10:59:57 -0800 |
| commit | c2e467d55b188cb1fa5db534a23a4dd6e8291078 (patch) | |
| tree | 9b40bfc4a54de26481d10eb1801fe6fe0e083ca3 /src/aig/gia | |
| parent | 2eb2402b01541ed672ac2b7e742f1e1aa38542e8 (diff) | |
| download | abc-c2e467d55b188cb1fa5db534a23a4dd6e8291078.tar.gz abc-c2e467d55b188cb1fa5db534a23a4dd6e8291078.tar.bz2 abc-c2e467d55b188cb1fa5db534a23a4dd6e8291078.zip | |
Added switch 'cexcut -n' to generate only one bad state.
Diffstat (limited to 'src/aig/gia')
| -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 93387a05..d261e433 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -677,6 +677,8 @@ static inline int Gia_ObjLutFanin( Gia_Man_t * p, int Id, int i ) { re #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 ) \ + for ( i = p->nObjs - 1; (i >= 0) && ((pObj) = Gia_ManObj(p, i)); i-- ) +#define Gia_ManForEachObjReverse1( p, pObj, i ) \ for ( i = p->nObjs - 1; (i > 0) && ((pObj) = Gia_ManObj(p, i)); i-- ) #define Gia_ManForEachAnd( p, pObj, i ) \ for ( i = 0; (i < p->nObjs) && ((pObj) = Gia_ManObj(p, i)); i++ ) if ( !Gia_ObjIsAnd(pObj) ) {} else |