diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-23 21:33:52 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-23 21:33:52 -0700 |
| commit | e9be6ecaf8a5d87c0e92ccd82b94f5439dbc82f3 (patch) | |
| tree | 268d19cb67203f759372da09006517580ae7fae8 /src/base/wlc/wlcBlast.c | |
| parent | 9bd16029f154903b0ece7206d9ab84e393a5ef18 (diff) | |
| download | abc-e9be6ecaf8a5d87c0e92ccd82b94f5439dbc82f3.tar.gz abc-e9be6ecaf8a5d87c0e92ccd82b94f5439dbc82f3.tar.bz2 abc-e9be6ecaf8a5d87c0e92ccd82b94f5439dbc82f3.zip | |
Updates to Cba data-structure.
Diffstat (limited to 'src/base/wlc/wlcBlast.c')
| -rw-r--r-- | src/base/wlc/wlcBlast.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index d9f9ee3a..86b5fc41 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -213,7 +213,11 @@ void Wlc_BlastLess_rec( Gia_Man_t * pNew, int * pArg0, int * pArg1, int nBits, i int Yes = Gia_ManHashAnd( pNew, Abc_LitNot(pArg0[nBits-1]), pArg1[nBits-1] ), YesR; int No = Gia_ManHashAnd( pNew, Abc_LitNot(pArg1[nBits-1]), pArg0[nBits-1] ), NoR; if ( Yes == 1 || No == 1 ) + { + *pYes = Yes; + *pNo = No; return; + } Wlc_BlastLess_rec( pNew, pArg0, pArg1, nBits-1, &YesR, &NoR ); *pYes = Gia_ManHashOr( pNew, Yes, Gia_ManHashAnd(pNew, Abc_LitNot(No), YesR) ); *pNo = Gia_ManHashOr( pNew, No, Gia_ManHashAnd(pNew, Abc_LitNot(Yes), NoR ) ); |