Returns the node associated with an id, or nullptr if no node with that id (the node with that id was removed and the id has not yet been re-used). *this owns the returned instance. REQUIRES: 0 <= id < num_node_ids().
| 696 | // not yet been re-used). *this owns the returned instance. |
| 697 | // REQUIRES: 0 <= id < num_node_ids(). |
| 698 | Node* FindNodeId(int id) const { return nodes_[id]; } |
| 699 | |
| 700 | // Returns one more than the maximum id assigned to any edge. |
| 701 | int num_edge_ids() const { return edges_.size(); } |
no outgoing calls