abc/src/base/abc/abcHieGia.c
/**Function*************************************************************

  Synopsis    [Inserts the result of mapping into logic hierarchy.]

  Description [When this procedure is called PIs/POs of pNtk
  point to the corresponding nodes in network with barbufs.]
               
  SideEffects []

  SeeAlso     []

***********************************************************************/
Function
Synopsis    [Inserts the result of mapping into logic hierarchy.]

Description [When this procedure is called PIs/POs of pNtk
point to the corresponding nodes in network with barbufs.]




Function Synopsis [ Inserts the result of mapping into logic hierarchy . ] Description [ When this procedure is called PIs / POs of pNtk point to the corresponding nodes in network with barbufs . ]
Abc_Obj_t * Gia_ManInsertOne_rec( Abc_Ntk_t * pNtk, Abc_Ntk_t * pNew, Abc_Obj_t * pObj )
{
    Abc_Obj_t * pFanin;  int i;
    if ( pObj == NULL )
        return Abc_NtkCreateNodeConst0( pNtk );
    assert( Abc_ObjNtk(pObj) == pNew );
    if ( pObj->pCopy )
        return pObj->pCopy;
    Abc_ObjForEachFanin( pObj, pFanin, i )
        Gia_ManInsertOne_rec( pNtk, pNew, pFanin );
    pObj->pCopy = Abc_NtkDupObj( pNtk, pObj, 0 );
    Abc_ObjForEachFanin( pObj, pFanin, i )
        Abc_ObjAddFanin( pObj, pFanin );
    return pObj->pCopy;
}
Abc_Obj_t * Gia_ManInsertOne_rec ( Abc_Ntk_t * pNtk , Abc_Ntk_t * pNew , Abc_Obj_t * pObj ) { Abc_Obj_t * pFanin ; int i ; if ( pObj == NULL ) return Abc_NtkCreateNodeConst0 ( pNtk ) ; assert ( Abc_ObjNtk ( pObj ) == pNew ) ; if ( pObj -> pCopy ) return pObj -> pCopy ; Abc_ObjForEachFanin ( pObj , pFanin , i ) Gia_ManInsertOne_rec ( pNtk , pNew , pFanin ) ; pObj -> pCopy = Abc_NtkDupObj ( pNtk , pObj , 0 ) ; Abc_ObjForEachFanin ( pObj , pFanin , i ) Abc_ObjAddFanin ( pObj , pFanin ) ; return pObj -> pCopy ; }
Function
Synopsis    [Inserts the result of mapping into logic hierarchy.]
Function Synopsis [ Inserts the result of mapping into logic hierarchy . ]