abc/src/aig/gia/giaSatLE.c
// returns 1 if Cut can represent LUT (Cut is equal or is contained in LUT)
returns 1 if Cut can represent LUT (Cut is equal or is contained in LUT)
returns 1 if Cut can represent LUT ( Cut is equal or is contained in LUT )
static inline int Sle_ManCheckContained( int * pCutLeaves, int nCutLeaves, int * pLutFanins, int nLutFanins )
{
    int i, k;
    if ( nCutLeaves > nLutFanins )
        return 0;
    for ( i = 0; i < nCutLeaves; i++ )
    {
        for ( k = 0; k < nLutFanins; k++ )
            if ( pCutLeaves[i] == pLutFanins[k] )
                break;
        if ( k == nLutFanins ) 
            return 0;
    }
    return 1;
}
static inline int Sle_ManCheckContained ( int * pCutLeaves , int nCutLeaves , int * pLutFanins , int nLutFanins ) { int i , k ; if ( nCutLeaves > nLutFanins ) return 0 ; for ( i = 0 ; i < nCutLeaves ; i ++ ) { for ( k = 0 ; k < nLutFanins ; k ++ ) if ( pCutLeaves [ i ] == pLutFanins [ k ] ) break ; if ( k == nLutFanins ) return 0 ; } return 1 ; }
returns 1 if Cut can represent LUT (Cut is equal or is contained in LUT)
returns 1 if Cut can represent LUT ( Cut is equal or is contained in LUT )
// not found