abc/src/bool/lucky/lucky.c
// this procedure is translates truth table from 'unsingeds' into 'words' 
this procedure is translates truth table from 'unsingeds' into 'words'
this procedure is translates truth table from ' unsingeds ' into ' words '
unsigned Kit_TruthSemiCanonicize_new( unsigned * pInOut, unsigned * pAux, int nVars, char * pCanonPerm )
{
    unsigned Result;
    if ( nVars < 6 )
    {
         word Temp = ((word)pInOut[0] << 32) | (word)pInOut[0];
         Result = Kit_TruthSemiCanonicize_new_internal( &Temp, nVars, pCanonPerm );
         pInOut[0] = (unsigned)Temp;
    }
    else
         Result = Kit_TruthSemiCanonicize_new_internal( (word *)pInOut, nVars, pCanonPerm );
    return Result;
}
unsigned Kit_TruthSemiCanonicize_new ( unsigned * pInOut , unsigned * pAux , int nVars , char * pCanonPerm ) { unsigned Result ; if ( nVars < 6 ) { word Temp = ( ( word ) pInOut [ 0 ] << 32 ) | ( word ) pInOut [ 0 ] ; Result = Kit_TruthSemiCanonicize_new_internal ( & Temp , nVars , pCanonPerm ) ; pInOut [ 0 ] = ( unsigned ) Temp ; } else Result = Kit_TruthSemiCanonicize_new_internal ( ( word * ) pInOut , nVars , pCanonPerm ) ; return Result ; }
this procedure is translates truth table from 'unsingeds' into 'words'
this procedure is translates truth table from ' unsingeds ' into ' words '