abc/src/proof/acec/acecXor.c
// marks MAJ outputs participating in trees
marks MAJ outputs participating in trees
marks MAJ outputs participating in trees
Vec_Int_t * Acec_MapMajOuts2( Gia_Man_t * p, Vec_Int_t * vAdds, Vec_Int_t * vRanks )
{
    Vec_Int_t * vMap = Vec_IntStartFull( Gia_ManObjNum(p) ); int i;
    for ( i = 0; 6*i < Vec_IntSize(vAdds); i++ )
        if ( Vec_IntEntry(vRanks, Vec_IntEntry(vAdds, 6*i+4)) != -1 )
            Vec_IntWriteEntry( vMap, Vec_IntEntry(vAdds, 6*i+4), i );
    return vMap;
}
Vec_Int_t * Acec_MapMajOuts2 ( Gia_Man_t * p , Vec_Int_t * vAdds , Vec_Int_t * vRanks ) { Vec_Int_t * vMap = Vec_IntStartFull ( Gia_ManObjNum ( p ) ) ; int i ; for ( i = 0 ; 6 * i < Vec_IntSize ( vAdds ) ; i ++ ) if ( Vec_IntEntry ( vRanks , Vec_IntEntry ( vAdds , 6 * i + 4 ) ) != -1 ) Vec_IntWriteEntry ( vMap , Vec_IntEntry ( vAdds , 6 * i + 4 ) , i ) ; return vMap ; }
marks MAJ outputs participating in trees
marks MAJ outputs participating in trees