abc/src/proof/acec/acecFadds.c
// finds internal node that can begin a new chain
finds internal node that can begin a new chain
finds internal node that can begin a new chain
int Gia_ManFindChainStart( Gia_Man_t * p )
{
    Gia_Obj_t * pObj;
    int * pDelays = Vec_IntArray(p->vLevels);
    int i, iMax = -1, DelayMax = 0;
    Gia_ManForEachAnd( p, pObj, i )
    {
        if ( Gia_ObjIsUsed(pObj) )
            continue;
        if ( DelayMax > pDelays[i] )
            continue;
        DelayMax = pDelays[i];
        iMax = i;
    }
    return iMax;
}
int Gia_ManFindChainStart ( Gia_Man_t * p ) { Gia_Obj_t * pObj ; int * pDelays = Vec_IntArray ( p -> vLevels ) ; int i , iMax = -1 , DelayMax = 0 ; Gia_ManForEachAnd ( p , pObj , i ) { if ( Gia_ObjIsUsed ( pObj ) ) continue ; if ( DelayMax > pDelays [ i ] ) continue ; DelayMax = pDelays [ i ] ; iMax = i ; } return iMax ; }
finds internal node that can begin a new chain
finds internal node that can begin a new chain