# HG changeset patch
# User Peter Kovacs <kpeter@inf.elte.hu>
# Date 1225830315 -3600
# Node ID 0eec1736ff1d6c4ed5904121ec2d3b93bc1c7f9c
# Parent  636fa2f39f1017c4a7153b76b7037e19416d47ce
Rename readNauty() to readNautyGraph() (#55)

diff -r 636fa2f39f10 -r 0eec1736ff1d lemon/nauty_reader.h
--- a/lemon/nauty_reader.h	Tue Nov 04 21:14:57 2008 +0100
+++ b/lemon/nauty_reader.h	Tue Nov 04 21:25:15 2008 +0100
@@ -48,7 +48,7 @@
   ///\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,7 +61,7 @@
   /// ./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;
diff -r 636fa2f39f10 -r 0eec1736ff1d tools/lemon-0.x-to-1.x.sh
--- a/tools/lemon-0.x-to-1.x.sh	Tue Nov 04 21:14:57 2008 +0100
+++ b/tools/lemon-0.x-to-1.x.sh	Tue Nov 04 21:25:15 2008 +0100
@@ -90,6 +90,7 @@
         -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