lemon/graph_utils.h
changeset 2027 119db4e6ab2c
parent 2020 332245399dc6
child 2029 e00114f165f5
equal deleted inserted replaced
46:da97c9d11ec8 47:7fcee9a7bb93
   840   ///
   840   ///
   841   /// Copy a graph to another graph.
   841   /// Copy a graph to another graph.
   842   /// The usage of the function:
   842   /// The usage of the function:
   843   /// 
   843   /// 
   844   ///\code
   844   ///\code
   845   /// copyGraph(trg, src).nodeRef(nr).edgeCrossRef(ecr);
   845   /// copyUGraph(trg, src).nodeRef(nr).edgeCrossRef(ecr);
   846   ///\endcode
   846   ///\endcode
   847   /// 
   847   /// 
   848   /// After the copy the \c nr map will contain the mapping from the
   848   /// After the copy the \c nr map will contain the mapping from the
   849   /// source graph's nodes to the target graph's nodes and the \c ecr will
   849   /// source graph's nodes to the target graph's nodes and the \c ecr will
   850   /// contain the mapping from the target graph's edges to the source's
   850   /// contain the mapping from the target graph's edges to the source's