Ticket #55: rename_0eec1736ff1d.patch

lemon/nauty_reader.h

@@ -48 +48 @@
   ///\code
   /// int num = 0;
   /// SmartGraph graph;
-  /// while (readNauty(graph, std::cin)) {
+  /// while (readNautyGraph(graph, std::cin)) {
   ///   PlanarityChecking<SmartGraph> pc(graph);
   ///   if (pc.run()) ++num;
   /// }
@@ -61 +61 @@
   /// ./geng -c 10 | ./num_of_planar_graphs
   ///\endcode
   template <typename Graph>
-  std::istream& readNauty(Graph& graph, std::istream& is = std::cin) {
+  std::istream& readNautyGraph(Graph& graph, std::istream& is = std::cin) {
     graph.clear();
 
     std::string line;

tools/lemon-0.x-to-1.x.sh

@@ -90 +90 @@
         -e "s/\<StoreBoolMap\>/LoggerBoolMap/g"\
         -e "s/\<storeBoolMap\>/loggerBoolMap/g"\
         -e "s/\<BoundingBox\>/Box/g"\
+        -e "s/\<readNauty\>/readNautyGraph/g"\
     <$i > $TMP
     mv $TMP $i
 done