Changeset 438:0f2091856dab in lemon

Timestamp:

12/05/08 11:38:32 (16 years ago)

Author:

Alpar Juttner <alpar@…>

Branch:

default

Parents:

437:6a2a33ad261b (diff), 435:9afe81e4c543 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Phase:

public

Message:

Merge

Files:

• lemon/dfs.h (modified) (1 diff)
• lemon/dfs.h (modified) (1 diff)

lemon/dfs.h

@@ -1627 +1627 @@
     /// \pre Either \ref run(Node) "run()" or \ref init()
     /// must be called before using this function.
-    bool reached(Node v) { return (*_reached)[v]; }
+    bool reached(Node v) const { return (*_reached)[v]; }
 
     ///@}

lemon/dfs.h

@@ -1411 +1411 @@
           } else {
             _visitor->leave(s);
+            _visitor->stop(s);
           }
         }