lemon/nauty_reader.h
changeset 359 0eec1736ff1d
parent 358 636fa2f39f10
child 440 88ed40ad0d4f
     1.1 --- a/lemon/nauty_reader.h	Tue Nov 04 21:14:57 2008 +0100
     1.2 +++ b/lemon/nauty_reader.h	Tue Nov 04 21:25:15 2008 +0100
     1.3 @@ -48,7 +48,7 @@
     1.4    ///\code
     1.5    /// int num = 0;
     1.6    /// SmartGraph graph;
     1.7 -  /// while (readNauty(graph, std::cin)) {
     1.8 +  /// while (readNautyGraph(graph, std::cin)) {
     1.9    ///   PlanarityChecking<SmartGraph> pc(graph);
    1.10    ///   if (pc.run()) ++num;
    1.11    /// }
    1.12 @@ -61,7 +61,7 @@
    1.13    /// ./geng -c 10 | ./num_of_planar_graphs
    1.14    ///\endcode
    1.15    template <typename Graph>
    1.16 -  std::istream& readNauty(Graph& graph, std::istream& is = std::cin) {
    1.17 +  std::istream& readNautyGraph(Graph& graph, std::istream& is = std::cin) {
    1.18      graph.clear();
    1.19  
    1.20      std::string line;