diff options
| -rw-r--r-- | src/map/if/ifDec16.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c index 729b0489..372473a7 100644 --- a/src/map/if/ifDec16.c +++ b/src/map/if/ifDec16.c @@ -1796,13 +1796,13 @@ int If_CluCheckDecInU( word t, int nVars ) Cof2[1] = Abc_Tt6Cofactor1( t, v ); for ( u = v+1; u < nVars; u++ ) { - Cof4[0] = Abc_Tt6Cofactor0( Cof2[0], u ); - Cof4[1] = Abc_Tt6Cofactor1( Cof2[0], u ); - Cof4[2] = Abc_Tt6Cofactor0( Cof2[1], u ); - Cof4[3] = Abc_Tt6Cofactor1( Cof2[1], u ); - if ( Cof4[0] == Cof4[1] && Cof4[0] == Cof4[2] ) + Cof4[0] = Abc_Tt6Cofactor0( Cof2[0], u ); // 00 + Cof4[1] = Abc_Tt6Cofactor1( Cof2[0], u ); // 01 + Cof4[2] = Abc_Tt6Cofactor0( Cof2[1], u ); // 10 + Cof4[3] = Abc_Tt6Cofactor1( Cof2[1], u ); // 11 + if ( Cof4[0] == Cof4[1] && Cof4[0] == Cof4[2] ) // F * a return 1; - if ( Cof4[0] == Cof4[2] && Cof4[0] == Cof4[3] ) + if ( Cof4[0] == Cof4[2] && Cof4[0] == Cof4[3] ) // !F * a return 1; } } |