abc/src/aig/gia/giaKf.c
// returns 1 if the cut in hash table is dominated by the given one
returns 1 if the cut in hash table is dominated by the given one
returns 1 if the cut in hash table is dominated by the given one
static inline int Kf_SetCutDominatedByThis( Kf_Set_t * p, Kf_Cut_t * pCut )
{
    int i;
    for ( i = 0; i < pCut->nLeaves; i++ )
        if ( Kf_HashLookup(p, pCut->pLeaves[i]) >= 0 )
            return 0;
    return 1;
}
static inline int Kf_SetCutDominatedByThis ( Kf_Set_t * p , Kf_Cut_t * pCut ) { int i ; for ( i = 0 ; i < pCut -> nLeaves ; i ++ ) if ( Kf_HashLookup ( p , pCut -> pLeaves [ i ] ) >= 0 ) return 0 ; return 1 ; }
returns 1 if the cut in hash table is dominated by the given one
returns 1 if the cut in hash table is dominated by the given one