abc/src/base/abci/abcDress2.c
/**Function*************************************************************

  Synopsis    [Transfers names from pNtk1 to pNtk2.]

  Description [Internally calls new procedure for mapping node IDs of
  both networks into the shared equivalence classes.]
               
  SideEffects []

  SeeAlso     []

***********************************************************************/
Function
Synopsis    [Transfers names from pNtk1 to pNtk2.]

Description [Internally calls new procedure for mapping node IDs of
both networks into the shared equivalence classes.]




Function Synopsis [ Transfers names from pNtk1 to pNtk2 . ] Description [ Internally calls new procedure for mapping node IDs of both networks into the shared equivalence classes . ]
void Abc_NtkDress2( Abc_Ntk_t * pNtk1, Abc_Ntk_t * pNtk2, int nConflictLimit, int fVerbose )
{
    Vec_Ptr_t * vRes;
    abctime clk = Abc_Clock();
    vRes = Abc_NtkDressComputeEquivs( pNtk1, pNtk2, nConflictLimit, fVerbose );
    Abc_NtkDressPrintStats( vRes, Abc_NtkNodeNum(pNtk1), Abc_NtkNodeNum(pNtk1), Abc_Clock() - clk );
    Abc_NtkDress2Transfer( pNtk1, pNtk2, vRes, fVerbose );
    Vec_VecFree( (Vec_Vec_t *)vRes );
}
void Abc_NtkDress2 ( Abc_Ntk_t * pNtk1 , Abc_Ntk_t * pNtk2 , int nConflictLimit , int fVerbose ) { Vec_Ptr_t * vRes ; abctime clk = Abc_Clock ( ) ; vRes = Abc_NtkDressComputeEquivs ( pNtk1 , pNtk2 , nConflictLimit , fVerbose ) ; Abc_NtkDressPrintStats ( vRes , Abc_NtkNodeNum ( pNtk1 ) , Abc_NtkNodeNum ( pNtk1 ) , Abc_Clock ( ) - clk ) ; Abc_NtkDress2Transfer ( pNtk1 , pNtk2 , vRes , fVerbose ) ; Vec_VecFree ( ( Vec_Vec_t * ) vRes ) ; }
Function
Synopsis    [Transfers names from pNtk1 to pNtk2.]
Function Synopsis [ Transfers names from pNtk1 to pNtk2 . ]
//    Abc_NtkDressPrintEquivs( vRes );