src/work/list_graph.hh
changeset 142 01d47457aff3
parent 134 e606071614f0
child 148 004fdf703abb
equal deleted inserted replaced
12:f0b1df21f069 13:a7c6da254cae
   303     }
   303     }
   304 
   304 
   305     bool valid(EdgeIt e) const { return e.valid(); }
   305     bool valid(EdgeIt e) const { return e.valid(); }
   306     bool valid(NodeIt n) const { return n.valid(); }
   306     bool valid(NodeIt n) const { return n.valid(); }
   307     
   307     
   308     template <typename It> It next(It it) const { 
   308     template <typename It> It getNext(It it) const { 
   309       It tmp(it); return goNext(tmp); }
   309       It tmp(it); return next(tmp); }
   310     template <typename It> It& goNext(It& it) const { return ++it; }
   310     template <typename It> It& next(It& it) const { return ++it; }
   311    
   311    
   312 
   312 
   313     /* for getting id's of graph objects */
   313     /* for getting id's of graph objects */
   314     /* these are important for the implementation of property vectors */
   314     /* these are important for the implementation of property vectors */
   315 
   315