equal
deleted
inserted
replaced
174 /// Extender |
174 /// Extender |
175 |
175 |
176 using Parent::id; |
176 using Parent::id; |
177 |
177 |
178 int id(const Edge &e) const { |
178 int id(const Edge &e) const { |
179 return 2*Parent::id(e) + int(e.forward); |
179 return 2 * Parent::id(e) + int(e.forward); |
180 } |
180 } |
181 |
181 |
182 int maxEdgeId() const { |
182 int maxId(Edge = INVALID) const { |
183 return 2*Parent::maxEdgeId() + 1; |
183 return 2 * Parent::maxId(typename Parent::Edge()) + 1; |
184 } |
184 } |
185 int maxUndirEdgeId() const { |
185 int maxId(UndirEdge = INVALID) const { |
186 return Parent::maxEdgeId(); |
186 return Parent::maxId(typename Parent::Edge()); |
187 } |
187 } |
188 |
188 |
189 }; |
189 }; |
190 |
190 |
191 } |
191 } |