abc/src/aig/gia/giaJf.c
// returns 1 if MFFC size is less than limit
returns 1 if MFFC size is less than limit
returns 1 if MFFC size is less than limit
int Jf_CutCheckMffc_rec( Jf_Man_t * p, int * pCut, int Limit )
{
    int i, Var;
    Jf_CutForEachVar( pCut, Var, i )
    {
        int fRecur = (!Gia_ObjRefDecId(p->pGia, Var) && !Jf_CutIsTriv(Jf_ObjCutBest(p, Var), Var));
        Vec_IntPush( p->vTemp, Var );
        if ( Vec_IntSize(p->vTemp) >= Limit )
            return 0;
        if ( fRecur && !Jf_CutCheckMffc_rec( p, Jf_ObjCutBest(p, Var), Limit ) )
            return 0;
    }
    return 1;
}
int Jf_CutCheckMffc_rec ( Jf_Man_t * p , int * pCut , int Limit ) { int i , Var ; Jf_CutForEachVar ( pCut , Var , i ) { int fRecur = ( ! Gia_ObjRefDecId ( p -> pGia , Var ) && ! Jf_CutIsTriv ( Jf_ObjCutBest ( p , Var ) , Var ) ) ; Vec_IntPush ( p -> vTemp , Var ) ; if ( Vec_IntSize ( p -> vTemp ) >= Limit ) return 0 ; if ( fRecur && ! Jf_CutCheckMffc_rec ( p , Jf_ObjCutBest ( p , Var ) , Limit ) ) return 0 ; } return 1 ; }
returns 1 if MFFC size is less than limit
returns 1 if MFFC size is less than limit