abc/src/base/io/ioReadPlaMo.c
// knowing that cubes are distance-1, find the different input variable
knowing that cubes are distance-1, find the different input variable
knowing that cubes are distance - 1 find the different input variable
static inline int Mop_ManFindDiffVar( word * pCube1, word * pCube2, int nWords )
{
    int w, i;
    for ( w = 0; w < nWords; w++ )
    {
        word Xor = pCube1[w] ^ pCube2[w];
        for ( i = 0; i < 32; i++ )
            if ( (Xor >> (i << 1)) & 0x3 )
                return w * 32 + i;
    }
    assert( 0 );
    return -1;
}
static inline int Mop_ManFindDiffVar ( word * pCube1 , word * pCube2 , int nWords ) { int w , i ; for ( w = 0 ; w < nWords ; w ++ ) { word Xor = pCube1 [ w ] ^ pCube2 [ w ] ; for ( i = 0 ; i < 32 ; i ++ ) if ( ( Xor >> ( i << 1 ) ) & 0x3 ) return w * 32 + i ; } assert ( 0 ) ; return -1 ; }
knowing that cubes are distance-1, find the different input variable
knowing that cubes are distance - 1 find the different input variable