abc/src/proof/acec/acecFadds.c
// maps MAJ nodes into FADD indexes
maps MAJ nodes into FADD indexes
maps MAJ nodes into FADD indexes
Vec_Int_t * Gia_ManCreateMap( Gia_Man_t * p, Vec_Int_t * vFadds )
{
    Vec_Int_t * vMap = Vec_IntStartFull( Gia_ManObjNum(p) );  int i;
    Dtc_ForEachFadd( vFadds, i )
        Vec_IntWriteEntry( vMap, Vec_IntEntry(vFadds, 5*i+4), i );
    return vMap;
}
Vec_Int_t * Gia_ManCreateMap ( Gia_Man_t * p , Vec_Int_t * vFadds ) { Vec_Int_t * vMap = Vec_IntStartFull ( Gia_ManObjNum ( p ) ) ; int i ; Dtc_ForEachFadd ( vFadds , i ) Vec_IntWriteEntry ( vMap , Vec_IntEntry ( vFadds , 5 * i + 4 ) , i ) ; return vMap ; }
maps MAJ nodes into FADD indexes
maps MAJ nodes into FADD indexes