# HG changeset patch
# User marci
# Date 1077016980 0
# Node ID cbd76005b9a77f24cec2e6c68683a0e480a59abc
# Parent  15362fafaf1a2148e99263529324cc7e651692ad
next, goNext

diff -r 15362fafaf1a -r cbd76005b9a7 src/work/list_graph.hh
--- a/src/work/list_graph.hh	Tue Feb 17 11:16:39 2004 +0000
+++ b/src/work/list_graph.hh	Tue Feb 17 11:23:00 2004 +0000
@@ -302,6 +302,14 @@
       return e; 
     }
 
+    bool valid(EdgeIt e) const { return e.valid(); }
+    bool valid(NodeIt n) const { return n.valid(); }
+    
+    template <typename It> It next(It it) const { 
+      It tmp(it); return goNext(it); }
+    template <typename It> It& goNext(It& it) const { return ++it; }
+   
+
     /* for getting id's of graph objects */
     /* these are important for the implementation of property vectors */