diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-01 13:47:51 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-01 13:47:51 +0700 |
| commit | 961f7532d703060ef2e053df1f1b7a672e7dae30 (patch) | |
| tree | 4acbe7857d51c5d80d3f2c7315ef5b80450c9723 /src/aig/saig/saigCexMin.c | |
| parent | 820a147ef1e8ff307c3d4e675001372e8f636404 (diff) | |
| download | abc-961f7532d703060ef2e053df1f1b7a672e7dae30.tar.gz abc-961f7532d703060ef2e053df1f1b7a672e7dae30.tar.bz2 abc-961f7532d703060ef2e053df1f1b7a672e7dae30.zip | |
Changing the ordering of arguments in two iterators.
Diffstat (limited to 'src/aig/saig/saigCexMin.c')
| -rw-r--r-- | src/aig/saig/saigCexMin.c | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/src/aig/saig/saigCexMin.c b/src/aig/saig/saigCexMin.c index ac397297..5dfcda01 100644 --- a/src/aig/saig/saigCexMin.c +++ b/src/aig/saig/saigCexMin.c @@ -321,6 +321,36 @@ Abc_Cex_t * Saig_ManCexMinPerform( Aig_Man_t * pAig, Abc_Cex_t * pCex ) return pCexMin; } +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Saig_ManCexMinGetCos( Aig_Man_t * pAig, Abc_Cex_t * pCex, Vec_Vec_t * vFrameCis, int f, Vec_Int_t * vTemp ) +{ + Vec_Int_t * vFrameCisOne; + Aig_Obj_t * pObj; + int i; + Vec_IntClear( vTemp ); + if ( f == Vec_VecSize(vFrameCis) - 1 ) + { + pObj = Aig_ManPo( pAig, pCex->iPo ); + Vec_IntPush( vTemp, Aig_ObjId(pObj) ); + return; + } + vFrameCisOne = Vec_VecEntryInt( vFrameCis, f+1 ); + Aig_ManForEachObjVec( vFrameCisOne, pAig, pObj, i ) + if ( Saig_ObjIsLo(pAig, pObj) ) + Vec_IntPush( vTemp, Aig_ObjId( Saig_ObjLoToLi(pAig, pObj) ) ); +} + + //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// |