abc/src/proof/acec/acecFadds.c
// annotate artificial chains and then put them into boxes
annotate artificial chains and then put them into boxes
annotate artificial chains and then put them into boxes
Gia_Man_t * Gia_ManDupWithArtificialBoxes( Gia_Man_t * p, int DelayC, int nPathMin, int nPathMax, int nPathLimit, int fUseFanout, int fXorTrick, int fIgnoreBoxDelays, int fVerbose )
{
    Gia_Man_t * pNew;
    Gia_ManIteratePaths( p, DelayC, nPathMin, nPathMax, nPathLimit, fIgnoreBoxDelays, fVerbose );
    pNew = Gia_ManDupWithArtificalFaddBoxes( p, fUseFanout, fXorTrick );
    Gia_ManCleanMark01( p );
    return pNew;
}
Gia_Man_t * Gia_ManDupWithArtificialBoxes ( Gia_Man_t * p , int DelayC , int nPathMin , int nPathMax , int nPathLimit , int fUseFanout , int fXorTrick , int fIgnoreBoxDelays , int fVerbose ) { Gia_Man_t * pNew ; Gia_ManIteratePaths ( p , DelayC , nPathMin , nPathMax , nPathLimit , fIgnoreBoxDelays , fVerbose ) ; pNew = Gia_ManDupWithArtificalFaddBoxes ( p , fUseFanout , fXorTrick ) ; Gia_ManCleanMark01 ( p ) ; return pNew ; }
annotate artificial chains and then put them into boxes
annotate artificial chains and then put them into boxes
/*
    if ( Gia_ManBoxNum(p) > 0 )
    {
        printf( "Currently artifical carry-chains cannot be detected when natural ones are present.\n" );
        return NULL;
    }
*/