abc/src/proof/acec/acecXor.c
// marks XOR outputs participating in trees
marks XOR outputs participating in trees
marks XOR outputs participating in trees
Vec_Bit_t * Acec_MapXorOuts2( Gia_Man_t * p, Vec_Int_t * vXors, Vec_Int_t * vRanks )
{
    Vec_Bit_t * vMap = Vec_BitStart( Gia_ManObjNum(p) ); int i;
    for ( i = 0; 4*i < Vec_IntSize(vXors); i++ )
        if ( Vec_IntEntry(vRanks, Vec_IntEntry(vXors, 4*i)) != -1 )
            Vec_BitWriteEntry( vMap, Vec_IntEntry(vXors, 4*i), 1 );
    return vMap;
}
Vec_Bit_t * Acec_MapXorOuts2 ( Gia_Man_t * p , Vec_Int_t * vXors , Vec_Int_t * vRanks ) { Vec_Bit_t * vMap = Vec_BitStart ( Gia_ManObjNum ( p ) ) ; int i ; for ( i = 0 ; 4 * i < Vec_IntSize ( vXors ) ; i ++ ) if ( Vec_IntEntry ( vRanks , Vec_IntEntry ( vXors , 4 * i ) ) != -1 ) Vec_BitWriteEntry ( vMap , Vec_IntEntry ( vXors , 4 * i ) , 1 ) ; return vMap ; }
marks XOR outputs participating in trees
marks XOR outputs participating in trees