abc/src/bool/lucky/lucky.c
// this procedure calls internal canoniziers
// it returns canonical phase (as return value) and canonical permutation (in pCanonPerm)
this procedure calls internal canoniziers
it returns canonical phase (as return value) and canonical permutation (in pCanonPerm)
this procedure calls internal canoniziers it returns canonical phase ( as return value ) and canonical permutation ( in pCanonPerm )
unsigned Kit_TruthSemiCanonicize_new_internal( word * pInOut, int nVars, char * pCanonPerm )
{
    word pAux[1024], pAux1[1024];
    char tempArray[16];
    unsigned CanonPhase;
    assert( nVars <= 16 );
    CanonPhase = Kit_TruthSemiCanonicize_Yasha( pInOut, nVars, pCanonPerm );
    luckyCanonicizer(pInOut, pAux, pAux1, nVars, pCanonPerm, tempArray, &CanonPhase);
    return CanonPhase;
}
unsigned Kit_TruthSemiCanonicize_new_internal ( word * pInOut , int nVars , char * pCanonPerm ) { word pAux [ 1024 ] , pAux1 [ 1024 ] ; char tempArray [ 16 ] ; unsigned CanonPhase ; assert ( nVars <= 16 ) ; CanonPhase = Kit_TruthSemiCanonicize_Yasha ( pInOut , nVars , pCanonPerm ) ; luckyCanonicizer ( pInOut , pAux , pAux1 , nVars , pCanonPerm , tempArray , & CanonPhase ) ; return CanonPhase ; }
this procedure calls internal canoniziers
it returns canonical phase (as return value) and canonical permutation (in pCanonPerm)
this procedure calls internal canoniziers it returns canonical phase ( as return value ) and canonical permutation ( in pCanonPerm )