gravatar
kpeter (Peter Kovacs)
kpeter@inf.elte.hu
Rename readNauty() to readNautyGraph() (#55)
0 2 0
default
2 files changed with 3 insertions and 2 deletions:
↑ Collapse diff ↑
Ignore white space 2 line context
... ...
@@ -50,3 +50,3 @@
50 50
  /// SmartGraph graph;
51
  /// while (readNauty(graph, std::cin)) {
51
  /// while (readNautyGraph(graph, std::cin)) {
52 52
  ///   PlanarityChecking<SmartGraph> pc(graph);
... ...
@@ -63,3 +63,3 @@
63 63
  template <typename Graph>
64
  std::istream& readNauty(Graph& graph, std::istream& is = std::cin) {
64
  std::istream& readNautyGraph(Graph& graph, std::istream& is = std::cin) {
65 65
    graph.clear();
Ignore white space 2 line context
... ...
@@ -92,2 +92,3 @@
92 92
        -e "s/\<BoundingBox\>/Box/g"\
93
        -e "s/\<readNauty\>/readNautyGraph/g"\
93 94
    <$i > $TMP
0 comments (0 inline)