diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-11-03 22:04:14 +0200 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-11-03 22:04:14 +0200 |
| commit | ec1dc44287f151e9ff3cc3d54c69df4b4f7841fb (patch) | |
| tree | 117b0bda1c65bdbafab3c6db83182cd708cdfaca /src/aig/gia/giaUtil.c | |
| parent | 6b2fe00cd82f0229777a6beb2390858834551399 (diff) | |
| download | abc-ec1dc44287f151e9ff3cc3d54c69df4b4f7841fb.tar.gz abc-ec1dc44287f151e9ff3cc3d54c69df4b4f7841fb.tar.bz2 abc-ec1dc44287f151e9ff3cc3d54c69df4b4f7841fb.zip | |
Changes to several APIs.
Diffstat (limited to 'src/aig/gia/giaUtil.c')
| -rw-r--r-- | src/aig/gia/giaUtil.c | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index eadc2a86..a753075f 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -2194,6 +2194,34 @@ int Gia_ManCountPosWithNonZeroDrivers( Gia_Man_t * p ) return Count; } +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Gia_ManUpdateCopy( Vec_Int_t * vCopy, Gia_Man_t * p ) +{ + Gia_Obj_t * pObj; + int i, iLit; + Vec_IntForEachEntry( vCopy, iLit, i ) + { + if ( iLit == -1 ) + continue; + pObj = Gia_ManObj( p, Abc_Lit2Var(iLit) ); + if ( !~pObj->Value ) + Vec_IntWriteEntry( vCopy, i, -1 ); + else + Vec_IntWriteEntry( vCopy, i, Abc_LitNotCond(pObj->Value, Abc_LitIsCompl(iLit)) ); + } +} + + //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// |