diff -r 7c4ba7daaf5f -r 2b6bffe0e7e8 lemon/bits/graph_extender.h --- a/lemon/bits/graph_extender.h Tue Dec 20 17:44:38 2011 +0100 +++ b/lemon/bits/graph_extender.h Tue Dec 20 18:15:14 2011 +0100 @@ -56,11 +56,11 @@ return Parent::maxArcId(); } - Node fromId(int id, Node) const { + static Node fromId(int id, Node) { return Parent::nodeFromId(id); } - Arc fromId(int id, Arc) const { + static Arc fromId(int id, Arc) { return Parent::arcFromId(id); } @@ -355,15 +355,15 @@ return Parent::maxEdgeId(); } - Node fromId(int id, Node) const { + static Node fromId(int id, Node) { return Parent::nodeFromId(id); } - Arc fromId(int id, Arc) const { + static Arc fromId(int id, Arc) { return Parent::arcFromId(id); } - Edge fromId(int id, Edge) const { + static Edge fromId(int id, Edge) { return Parent::edgeFromId(id); }