abc/src/aig/gia/giaSweeper.c
// returns literal associated with the probe
returns literal associated with the probe
returns literal associated with the probe
int Gia_SweeperProbeLit( Gia_Man_t * p, int ProbeId )
{
    Swp_Man_t * pSwp = (Swp_Man_t *)p->pData;
    int iLit = Vec_IntEntry(pSwp->vProbes, ProbeId);
    assert( iLit >= 0 );
    return iLit;
}
int Gia_SweeperProbeLit ( Gia_Man_t * p , int ProbeId ) { Swp_Man_t * pSwp = ( Swp_Man_t * ) p -> pData ; int iLit = Vec_IntEntry ( pSwp -> vProbes , ProbeId ) ; assert ( iLit >= 0 ) ; return iLit ; }
returns literal associated with the probe
returns literal associated with the probe