1.1 --- a/src/work/list_graph.hh	Tue Feb 17 11:16:39 2004 +0000
     1.2 +++ b/src/work/list_graph.hh	Tue Feb 17 11:23:00 2004 +0000
     1.3 @@ -302,6 +302,14 @@
     1.4        return e; 
     1.5      }
     1.6  
     1.7 +    bool valid(EdgeIt e) const { return e.valid(); }
     1.8 +    bool valid(NodeIt n) const { return n.valid(); }
     1.9 +    
    1.10 +    template <typename It> It next(It it) const { 
    1.11 +      It tmp(it); return goNext(it); }
    1.12 +    template <typename It> It& goNext(It& it) const { return ++it; }
    1.13 +   
    1.14 +
    1.15      /* for getting id's of graph objects */
    1.16      /* these are important for the implementation of property vectors */
    1.17