abc/src/proof/acec/acecXor.c
// marks nodes appearing as fanins to XORs
marks nodes appearing as fanins to XORs
marks nodes appearing as fanins to XORs
Vec_Bit_t * Acec_MapXorIns( Gia_Man_t * p, Vec_Int_t * vXors )
{
    Vec_Bit_t * vMap = Vec_BitStart( Gia_ManObjNum(p) ); int i;
    for ( i = 0; 4*i < Vec_IntSize(vXors); i++ )
    {
        Vec_BitWriteEntry( vMap, Vec_IntEntry(vXors, 4*i+1), 1 );
        Vec_BitWriteEntry( vMap, Vec_IntEntry(vXors, 4*i+2), 1 );
        Vec_BitWriteEntry( vMap, Vec_IntEntry(vXors, 4*i+3), 1 );
    }
    return vMap;
}
Vec_Bit_t * Acec_MapXorIns ( Gia_Man_t * p , Vec_Int_t * vXors ) { Vec_Bit_t * vMap = Vec_BitStart ( Gia_ManObjNum ( p ) ) ; int i ; for ( i = 0 ; 4 * i < Vec_IntSize ( vXors ) ; i ++ ) { Vec_BitWriteEntry ( vMap , Vec_IntEntry ( vXors , 4 * i + 1 ) , 1 ) ; Vec_BitWriteEntry ( vMap , Vec_IntEntry ( vXors , 4 * i + 2 ) , 1 ) ; Vec_BitWriteEntry ( vMap , Vec_IntEntry ( vXors , 4 * i + 3 ) , 1 ) ; } return vMap ; }
marks nodes appearing as fanins to XORs
marks nodes appearing as fanins to XORs