diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-01 17:00:59 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-01 17:00:59 +0700 |
| commit | e6e6a3cf9ecfccf71cba45273ea866e7e2526f0a (patch) | |
| tree | 624cbbdca94773dced12e3689362d13358ae62f9 /src/map/if/ifDec07.c | |
| parent | ff4c674dd7afd2c8f3fa3e52aca8c1e65829315d (diff) | |
| download | abc-e6e6a3cf9ecfccf71cba45273ea866e7e2526f0a.tar.gz abc-e6e6a3cf9ecfccf71cba45273ea866e7e2526f0a.tar.bz2 abc-e6e6a3cf9ecfccf71cba45273ea866e7e2526f0a.zip | |
Changes to the matching procedure.
Diffstat (limited to 'src/map/if/ifDec07.c')
| -rw-r--r-- | src/map/if/ifDec07.c | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/map/if/ifDec07.c b/src/map/if/ifDec07.c index bf9894b0..b10ddeb8 100644 --- a/src/map/if/ifDec07.c +++ b/src/map/if/ifDec07.c @@ -673,9 +673,9 @@ int If_Dec7PickBestMux( word t[2], word c0r[2], word c1r[2] ) SeeAlso [] ***********************************************************************/ -int If_CutPerformCheck07( unsigned * pTruth, int nVars, int nLeaves ) +int If_CutPerformCheck07( unsigned * pTruth, int nVars, int nLeaves, char * pStr ) { - int fDerive = 1; + int fDerive = 0; if ( nLeaves < 6 ) return 1; if ( nLeaves == 6 ) @@ -685,7 +685,10 @@ int If_CutPerformCheck07( unsigned * pTruth, int nVars, int nLeaves ) return 1; z = If_Dec6Perform( t, fDerive ); if ( fDerive && z ) + { +// If_DecPrintConfig( z ); If_Dec6Verify( t, z ); + } return z != 0; } if ( nLeaves == 7 ) @@ -698,8 +701,6 @@ int If_CutPerformCheck07( unsigned * pTruth, int nVars, int nLeaves ) z = If_Dec7Perform( t, fDerive ); if ( fDerive && z ) If_Dec7Verify( t, z ); - - return z != 0; } assert( 0 ); |