Returns one more than the maximum id assigned to any edge.
| 699 | |
| 700 | // Returns one more than the maximum id assigned to any edge. |
| 701 | int num_edge_ids() const { return edges_.size(); } |
| 702 | |
| 703 | // Returns the Edge associated with an id, or nullptr if no edge |
| 704 | // with that id (the node with that id was removed and the id has |