Returns one more than the maximum id assigned to any node.
| 690 | |
| 691 | // Returns one more than the maximum id assigned to any node. |
| 692 | int num_node_ids() const { return nodes_.size(); } |
| 693 | |
| 694 | // Returns the node associated with an id, or nullptr if no node |
| 695 | // with that id (the node with that id was removed and the id has |