abc/src/proof/acec/acecXor.c
// collects XOR roots (XOR nodes not appearing as fanins of other XORs)
collects XOR roots (XOR nodes not appearing as fanins of other XORs)
collects XOR roots ( XOR nodes not appearing as fanins of other XORs )
Vec_Int_t * Acec_FindXorRoots( Gia_Man_t * p, Vec_Int_t * vXors )
{
    Vec_Bit_t * vMapXorIns = Acec_MapXorIns( p, vXors );
    Vec_Int_t * vXorRoots = Vec_IntAlloc( 100 );  int i;
    for ( i = 0; 4*i < Vec_IntSize(vXors); i++ )
        if ( !Vec_BitEntry(vMapXorIns, Vec_IntEntry(vXors, 4*i)) )
            Vec_IntPushUniqueOrder( vXorRoots, Vec_IntEntry(vXors, 4*i) );
    Vec_BitFree( vMapXorIns );
    return vXorRoots;
}
Vec_Int_t * Acec_FindXorRoots ( Gia_Man_t * p , Vec_Int_t * vXors ) { Vec_Bit_t * vMapXorIns = Acec_MapXorIns ( p , vXors ) ; Vec_Int_t * vXorRoots = Vec_IntAlloc ( 100 ) ; int i ; for ( i = 0 ; 4 * i < Vec_IntSize ( vXors ) ; i ++ ) if ( ! Vec_BitEntry ( vMapXorIns , Vec_IntEntry ( vXors , 4 * i ) ) ) Vec_IntPushUniqueOrder ( vXorRoots , Vec_IntEntry ( vXors , 4 * i ) ) ; Vec_BitFree ( vMapXorIns ) ; return vXorRoots ; }
collects XOR roots (XOR nodes not appearing as fanins of other XORs)
collects XOR roots ( XOR nodes not appearing as fanins of other XORs )