diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-16 14:47:01 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-16 14:47:01 -0700 |
| commit | 57d65f7391f14a93014d1e6c988357e545aac491 (patch) | |
| tree | b08163ca5642609adde21a16dfe0d3caa105b35c /src/opt | |
| parent | 0edf9a500ae6e1a8a8983be637b5e49a8bc3568c (diff) | |
| download | abc-57d65f7391f14a93014d1e6c988357e545aac491.tar.gz abc-57d65f7391f14a93014d1e6c988357e545aac491.tar.bz2 abc-57d65f7391f14a93014d1e6c988357e545aac491.zip | |
Expriments with functions.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/dau/dauNpn2.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/opt/dau/dauNpn2.c b/src/opt/dau/dauNpn2.c index 7086159d..58f3cfb5 100644 --- a/src/opt/dau/dauNpn2.c +++ b/src/opt/dau/dauNpn2.c @@ -143,7 +143,7 @@ Vec_Int_t * Dtt_ManCollect( Dtt_Man_t * p, unsigned Truth, Vec_Int_t * vFuns ) for ( k = 0; k < p->nComps; k++ ) { unsigned tTemp = (unsigned)(tCur & 1 ? ~tCur : tCur); - //if ( Dtt_ManCheckHash( p, tTemp ) ) + if ( Dtt_ManCheckHash( p, tTemp ) ) Vec_IntPush( vFuns, tTemp ); tCur = Abc_Tt6Flip( tCur, p->pComps[k] ); } @@ -233,7 +233,7 @@ void Dtt_EnumerateLf( int nVars, int nNodeMax, int fVerbose ) Dtt_PrintStats(0, nVars, p->vFunNodes, nSteps, clk); for ( n = 1; n < nNodeMax; n++ ) { - for ( i = 0, j = n - 1; i < n; i++, j-- ) + for ( i = 0, j = n - 1; i < n; i++, j-- ) if ( i <= j ) { Vec_Int_t * vFaninI = Vec_WecEntry( p->vFunNodes, i ); Vec_Int_t * vFaninJ = Vec_WecEntry( p->vFunNodes, j ); |